ResearchCyc

ResearchCyc

Cyc /ˈsaɪk/ (vom englischen encyclopedia) ist eine Wissensdatenbank des Alltagswissen. Sie wird seit 1984 weiterentwickelt, um Anwendungen der Künstlichen Intelligenz das logische Schlussfolgern über Sachverhalte des „Gesunden Menschenverstandes“ zu ermöglichen. Dabei werden alle Inhalte als logische Aussagen in der Ontologiesprache CycL formuliert, die auf der Prädikatenlogik aufbaut. Zusätzlich enthält Cyc eine Inferenzmaschine zum Schlussfolgern über die gespeicherten Zusammenhänge und Plausibilitätskontrollen.

Cyc besteht aus einer Menge von einfachen Regeln (zum Beispiel, dass Wasser nass ist). Beispielsweise kann ein Programm mit Hilfe der Cyc-Ontologie aus der Aussage, dass Peter im Meer schwimmt und dass das Meer größtenteils aus Wasser besteht, schlussfolgern, dass die betreffende Person nass ist.

In Cyc versucht man als ersten Schritt, alle Gegenstände auf dieser Welt durch eindeutige Objekte zu beschreiben. Im nächsten Schritt werden die Zusammenhänge zwischen diesen Objekten genau spezifiziert, z.B. "ein Automobil besitzt vier Räder." Allerdings sind die Inhalte von Cyc nur auf die englische Sprache und auf den amerikanischen Kulturraum zugeschnitten.

Seit 1995 wird Cyc von Cycorp, Inc. herausgegeben. OpenCyc ist die Open-Source-Variante von Cyc. (Die Schlussfolgerungs-Funktionseinheit ist jedoch noch nicht 100% Open Source.) Für wissenschaftliche Zwecke wird eine Variante namens ResearchCyc herausgegeben.

Siehe auch

Literatur

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • ResearchCyc — …   Википедия

  • Cyc — Эта статья  о проекте по созданию базы знаний. О городе в Тунисе см. Сус. Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Cyc (написано латиницей,… …   Википедия

  • Cyc — For other uses, see CYC (disambiguation). Cyc Developer(s) Cycorp Written in Lisp, CycL Type Ontology and Inference engine Cyc is an artificial intelligence project that attempts to assemble …   Wikipedia

  • CYC (projet) — Cyc est un projet d’intelligence artificielle (« IA ») qui cherche à développer une ontologie globale et une base de données de la connaissance générale, dans le but de permettre à des applications d’intelligence artificielle de… …   Wikipédia en Français

  • Cyc (projet) — Cyc est un projet d’intelligence artificielle (« IA ») qui cherche à développer une ontologie globale et une base de connaissance générale, dans le but de permettre à des applications d’intelligence artificielle de raisonner d’une… …   Wikipédia en Français

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • Ontology (information science) — In computer science and information science, an ontology formally represents knowledge as a set of concepts within a domain, and the relationships between those concepts. It can be used to reason about the entities within that domain and may be… …   Wikipedia

  • Upper ontology (information science) — In information science, an upper ontology (top level ontology, or foundation ontology) is an attempt to create an ontology which describes very general concepts that are the same across all domains. The aim is very broad semantic interoperability …   Wikipedia

  • Large Scale Concept Ontology for Multimedia — The Large Scale Concept Ontology for Multimedia (LSCOM) project was a series of workshops held from April 2004 to September 2006 [Naphade, et al , Large Scale Concept Ontology for Multimedia: VACE Workshop Report, ] for the purpose of defining a… …   Wikipedia

  • Cyc — /ˈsaɪk/ (vom englischen encyclopedia) ist eine maschinenauswertbare Wissensdatenbank des Alltagswissens. Sie wird seit 1984 weiterentwickelt, um Anwendungen der künstlichen Intelligenz das logische Schlussfolgern über Sachverhalte des „gesunden… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”