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.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - CycL (de)
- CycL (eo)
- CycL (en)
- CycL (es)
|
| 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)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has 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)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is Wikipage disambiguates
of | |
| is programming language
of | |
| is programming language
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)