Cyc

Cyc er en kunstig intelligens projekt, der forsøger at samle en omfattende ontologi og en database over generel viden med henblik på at gøre det muligt for kunstig intelligens applikationer udføre begrundelsen for den menneskelige type.

Projektet blev indledt i 1984 af Doug Lenat. Navnet Cyc er et varemærke tilhørende Cycorp Inc. i Austin, Texas, et selskab dedikeret til udviklingen af ​​Lenat Cyc mærke. Det oprindelige projekt er proprietær software, men en lille udgave af udkastet er blevet frigivet under en open source licens og er kendt som OpenCyc.

Cyc indeholder et væld af enkle regler. En computer kan konkludere fra Cyc inferens motor, vandet rådner maden. Databasen indeholder ca. 100.000 begreber og udsagn, som indebærer 1.000.000 påstande defineret af mennesker, regler eller fornuftige ideer. Disse er skrevet i et sprog, CYCL der er baseret på prædikat kalkyle og har en syntaks ligner Lisp.

Bygning forbliver Cyc viden engineering, der repræsenterer fakta om verden manuelt og gennemført effektive mekanismer for følgeslutning på denne viden. Formålet med arbejdet er imidlertid at give Cycorp Cyc systemet evnen til at kommunikere med slutbrugere i naturligt sprog for selve systemet kan fortsætte med processen af ​​viden konstruktion.

Beskrivelse og terminologi-database

Den Cyc dataindtastning sker ved en proces kaldet undervisning Lenat hjernekirurgi, som udføres på det sprog CYCL. Denne proces er at bryde en enhed af oplysninger i en række funktioner, der kaldes slots, der danner en slags skabelon for denne type oplysninger for hver slot skal bygges til at vende en anden enhed af oplysninger med deres karakteristika, således at alle viden forbliver hierarkisk og kategoriseret til Cyc "forstår" relationer mellem begreber og genstande indtastet.

Concept navne i Cyc er kendt som konstanter. Den konstante starter med # $ og små bogstaver. Der er konstanter for:

  • Individuelle, kendt poster som enkeltpersoner, såsom # $ # $ LinusTorvalds eller Colombia.
  • Samlinger såsom # $ Tree-ThePlant eller # $ EquivalenceRelation. Et medlem af en samling kaldes en forekomst af samlingen.
  • Truth funktioner, der kan anvendes til en eller flere begreber og returnere sandt eller falsk. For eksempel # $ søskende er forholdet af broderskab og sandt, hvis de to er brødre argumenos. Sandheden funktioner kan opdeles i logiske stik, kvantorer og prædikater.
  • Funktioner, der producerer nye vilkår fra begreberne. For eksempel # $ FruitFn at der, når det giver et argument, der beskriver en type eller samling af planter, returnerer frugterne af disse planter. Konventionelt begynder konstante funktioner med store bogstaver og ende med "Fn".

Se: CYCL, kunstig intelligens, logik, WordNet, semantisk web

Forrige artikel Computerprogram
Næste artikel Carmen Kurtz