Cyc

Cyc (de l'anglés encyclopedia) és un proyecte d'inteligència artificial que intenta ensamblar una ontologia comprensiva i una base de senyes de coneiximent general en la finalitat de permetre a les aplicacions d'inteligència artificial realisar raonaments del tipo humà.

El proyecte va ser iniciat en 1984 per Doug Lenat. El nom Cyc és una marca registrada de Cycorp Inc. en Austin, Texas, una companyia de Lenat dedicada al desenroll de Cyc. El proyecte original és software propietari, pero una chicoteta versió del proyecte ha segut lliberada baix una llicència de còdic obert i es coneix com OpenCyc.

Cyc conté una multitut de regles simples (com "l'aigua causa humitat" i "la humitat podrix el menjar"). Un ordenador pot concloure a partir del motor d'inferència de Cyc que l'aigua podrix el menjar (a lo manco en excés). La base de senyes conté aproximadament 100.000 conceptes i 1.000.000 de declaracions que comprenen asserció definides per humans, regles o idees del sentit comú. Estes estan escrites en llenguage CycL que està basat en càlcul de predicats i té una sintaxis similar a Lisp.

La construcció de Cyc continua sent Ingenieria del coneiximent, representant fets sobre el món manualment i implementat mecanismes d'inferència efectius sobre dit coneiximent. No obstant, l'objectiu del treball en Cycorp és donar al sistema Cyc la capacitat de comunicar-se en els usuaris finals en llenguage natural per a que el sistema puga continuar per sí solament en el procés de construcció del coneiximent.

Influència i recepció

Artícul principal → CycL.

Cyc ha segut descrit com un dels proyectes més ambiciosos i duradors de l'inteligència artificial simbòlica. El seu objectiu de representar formalment el coneiximent de sentit comú va influir en àrees com la representació del coneiximent, les ontologia i els sistemes de raonament automatizado.

El proyecte també va rebre crítiques dins de la comunitat científica degut a que gran part del seu coneiximent devia ser introduït manualment per ingeniers i experts, lo que plantejava dificultats per a escalar el sistema i permetre una adquisició autònoma de coneiximent.

A pesar d'estes llimitacions, Cyc és considerat un proyecte rellevant dins de l'història de l'inteligència artificial basada en coneiximent i un dels intents més destacats de modelar computacionalment el sentit comú humà.

Descripció de la base de senyes i terminologia

Artícul principal → CycL.

L'ingrés de senyes en Cyc es porta a terme per mig d'un procés que Lenat crida ensenyança per cirugia cerebral, el qual és portat a terme en el llenguage CycL. Dit procés consistix en descompondre una unitat d'informació en una série de característiques cridades slots que formen una espècie de plantilla per a eixe tipo d'informació, per a cada slots deu construir-se a la seua volta una atra unitat d'informació en les seues característiques, de manera que tot el coneiximent quede jerarquizado i categorizado per a que Cyc "comprenga" les relacions que existixen entre els conceptes i objectes ingressats.

Els noms de conceptes són coneguts en Cyc com a constants. Les constants escomencen en #$ i són sensibles a les mayúscules. Hi ha constants para:

• Ítems individuals, coneguts com a individus, tals com #$LinusTorvalds o #$Colòmbia.
• Coleccions tals com #$Tree-ThePlant (contenint tots els arbres) o #$EquivalenceRelation (contenint totes les relacions d'equivalència). Un membre d'una colecció és cridat una instància de la colecció.

• Funcions de veres que poden ser aplicades a un o més conceptes i retornen verdader o fals. Per eixemple #$siblings (germans) és la relació de germandat i és verdadera si els dos arguments són germans. Les funcions de veres poden ser dividides en conectoras llògiques (#$and, #$or, #$not, #$implies), quantificadors (#$forAll, #$thereExists, etc.) i predicats (com en l'eixemple de la germandat).
• Funcions, que produïxen nous térmens a partir dels térmens donats. Per eixemple #$FruitFn a la qual, quan se li proveïx un argument que descriu un tipo o colecció de plantes, retorna els fruts d'estes plantes. Per convenció, les funcions constants escomencen en mayúscules i terminen en "Fn".

Vore: CycL, inteligència artificial, llògica, WordNet, Web semàntica