CycL (original) (raw)
CycL estas logika formala apriora lingvo kies sintakso derivas el unua-ranga predikata kalkulo (la ). Por eksprimi la komunan sensan konon, tamen, ĝi malproksimiĝis el formala logiko. La vortprovizo de CycL konsistas de logikaj terminoj. La aro de terminoj estas divideblaj en konstantaj, neatomikigaj (NATj), varieblaj kaj kelkaj aliaj tipoj de objektoj. Terminoj estas kombinataj en signifplenaj CycLaj , kiuj estas uzataj por fari asertojn en kon-bazo. Tre ŝajne, la lingvo ne estas por homa uzo kiel helplingvo.
| Property | Value |
|---|---|
| dbo:abstract | CycL estas logika formala apriora lingvo kies sintakso derivas el unua-ranga predikata kalkulo (la ). Por eksprimi la komunan sensan konon, tamen, ĝi malproksimiĝis el formala logiko. La vortprovizo de CycL konsistas de logikaj terminoj. La aro de terminoj estas divideblaj en konstantaj, neatomikigaj (NATj), varieblaj kaj kelkaj aliaj tipoj de objektoj. Terminoj estas kombinataj en signifplenaj CycLaj , kiuj estas uzataj por fari asertojn en kon-bazo. Tre ŝajne, la lingvo ne estas por homa uzo kiel helplingvo. (eo) CycL in computer science and artificial intelligence is an ontology language used by Doug Lenat's Cyc artificial intelligence project. Ramanathan V. Guha was instrumental in the design of early versions of the language. There is a close variant of CycL known as MELD. The original version of CycL was a frame language, but the modern version is not. Rather, it is a declarative language based on classical first-order logic, with extensions for modal operators and higher order quantification. CycL is used to represent the knowledge stored in the Cyc Knowledge Base, available from Cycorp. The source code written in CycL released with the OpenCyc system is licensed as open source, to increase its usefulness in supporting the semantic web. (en) CycL ist eine Ontologiesprache in der künstlichen Intelligenz, die speziell für die Wissensdatenbank Cyc entwickelt wurde. Doug Lenat und sind die ersten Entwickler. Die ursprüngliche Version von CycL war eine rahmenbasierte Sprache, von der sich die aktuelle Version jedoch entfernt hat. Sie ist eine Deklarationssprache, die auf der Prädikatenlogik erster Stufe beruht. Sie enthält Erweiterungen für Modallogik und Prädikatenlogik höherer Stufe. CycL wird in der Cyc-Wissensdatenbank verwendet, um das gespeicherte Wissen darzustellen. Der Quellcode, geschrieben in CycL, steht im Projekt OpenCyc als Open Source zur Verfügung, um die Verwendbarkeit zur Unterstützung des semantischen Webs zu erhöhen. (de) CycL En ciencias de la computación e inteligencia artificial, CycL es un lenguaje ontológico usado por el proyecto de inteligencia artificial de Doug Lenat conocido como Cyc. La participación de fue decisiva en el diseño de este lenguaje. Hay una variante cerrada de CycL conocida como MELD. Es un lenguaje está basado en cálculo de predicados que tiene una sintaxis similar a Lisp. CycL se utiliza para representar el conocimiento almacenado en la Base de datos de conocimiento general conocida como Cyc, disponible en Cycorp Inc.Existe una versión de CycL con licencia de código abierto conocida como , cuyo fin es servir de apoyo a la web semántica. (es) |
| dbo:wikiPageID | 87136 (xsd:integer) |
| dbo:wikiPageLength | 5758 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1101682827 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:List_of_constructed_languages dbr:Modal_logic dbr:Inference dbc:Declarative_programming_languages dbc:Logic_programming_languages dbr:Computer_science dbr:Cyc dbr:Equivalence_relation dbr:First-order_logic dbr:Frame_language dbc:Knowledge_representation_languages dbr:Artificial_intelligence dbr:Chordate dbr:Higher-order_logic dbc:Ontology_languages dbr:Ontology_language dbr:Ramanathan_V._Guha dbr:Semantic_web dbr:List_of_notable_artificial_intelligence_projects dbr:Doug_Lenat dbr:Declarative_language dbr:Cycorp |
| dbp:wikiPageUsesTemplate | dbt:For dbt:More_citations_needed dbt:Reflist |
| dct:subject | dbc:Declarative_programming_languages dbc:Logic_programming_languages dbc:Knowledge_representation_languages dbc:Ontology_languages |
| gold:hypernym | dbr:Language |
| rdf:type | dbo:Language yago:WikicatOntologyLanguages yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Communication100033020 yago:Language106282651 yago:ProgrammingLanguage106898352 yago:WikicatKnowledgeRepresentationLanguages dbo:ProgrammingLanguage |
| rdfs:comment | CycL estas logika formala apriora lingvo kies sintakso derivas el unua-ranga predikata kalkulo (la ). Por eksprimi la komunan sensan konon, tamen, ĝi malproksimiĝis el formala logiko. La vortprovizo de CycL konsistas de logikaj terminoj. La aro de terminoj estas divideblaj en konstantaj, neatomikigaj (NATj), varieblaj kaj kelkaj aliaj tipoj de objektoj. Terminoj estas kombinataj en signifplenaj CycLaj , kiuj estas uzataj por fari asertojn en kon-bazo. Tre ŝajne, la lingvo ne estas por homa uzo kiel helplingvo. (eo) CycL ist eine Ontologiesprache in der künstlichen Intelligenz, die speziell für die Wissensdatenbank Cyc entwickelt wurde. Doug Lenat und sind die ersten Entwickler. Die ursprüngliche Version von CycL war eine rahmenbasierte Sprache, von der sich die aktuelle Version jedoch entfernt hat. Sie ist eine Deklarationssprache, die auf der Prädikatenlogik erster Stufe beruht. Sie enthält Erweiterungen für Modallogik und Prädikatenlogik höherer Stufe. (de) CycL in computer science and artificial intelligence is an ontology language used by Doug Lenat's Cyc artificial intelligence project. Ramanathan V. Guha was instrumental in the design of early versions of the language. There is a close variant of CycL known as MELD. The original version of CycL was a frame language, but the modern version is not. Rather, it is a declarative language based on classical first-order logic, with extensions for modal operators and higher order quantification. (en) CycL En ciencias de la computación e inteligencia artificial, CycL es un lenguaje ontológico usado por el proyecto de inteligencia artificial de Doug Lenat conocido como Cyc. La participación de fue decisiva en el diseño de este lenguaje. Hay una variante cerrada de CycL conocida como MELD. Es un lenguaje está basado en cálculo de predicados que tiene una sintaxis similar a Lisp. (es) |
| rdfs:label | CycL (de) CycL (eo) CycL (en) CycL (es) |
| owl:sameAs | freebase:CycL yago-res:CycL http://sw.cyc.com/concept/Mx4rvViqDZwpEbGdrcN5Y29ycA wikidata:CycL dbpedia-de:CycL dbpedia-eo:CycL dbpedia-es:CycL https://global.dbpedia.org/id/3be8d |
| prov:wasDerivedFrom | wikipedia-en:CycL?oldid=1101682827&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:CycL |
| is dbo:programmingLanguage of | dbr:Cyc |
| is dbo:wikiPageDisambiguates of | dbr:CYCL |
| is dbo:wikiPageRedirects of | dbr:CycL_language dbr:Cycl |
| is dbo:wikiPageWikiLink of | dbr:Ontology_engineering dbr:Cyc dbr:Knowledge_representation_and_reasoning dbr:Ontology_(information_science) dbr:Ontology_language dbr:Ramanathan_V._Guha dbr:CYCL dbr:MELD dbr:Meta_Content_Framework dbr:Sigil_(computer_programming) dbr:CycL_language dbr:Cycl |
| is dbp:programmingLanguage of | dbr:Cyc |
| is foaf:primaryTopic of | wikipedia-en:CycL |