CycL

CycL er verufræðitungumál í gervigreind sem var sérstaklega þróað fyrir þekkingargagnagrunninn Cyc . Doug Lenat og Ramanathan V. Guha eru fyrstu þróunaraðilarnir.

Upprunalega útgáfan af CycL var rammatengt tungumál , en núverandi útgáfa hefur fjarlægst það. Það er yfirlýsingarmál sem byggir á forgangsrökfræði í fyrstu röð . Það inniheldur viðbætur fyrir modal rökfræði og æðri rökfræði .

CycL er notað í Cyc þekkingargagnagrunninum til að tákna vistaða þekkingu. Kóðinn, skrifaður í CycL, er fáanlegur sem opinn uppspretta í OpenCyc verkefninu til að auka notagildi hans til að styðja merkingarfræðilega vefinn .

Grunnhugmyndir

CycL er byggt á nokkrum grunnhugmyndum:

• Stöðvar eru notaðir til að vísa til hugtaka sem geymd eru í þekkingargrunni.
• Fastarnir eru dregnir saman í stigveldi sem myndar sérhæfingar og alhæfingar.
• Almennar reglur eru búnar til til að hjálpa til við að draga ályktanir um hugtökin.
• Sannleiksinnihald CycL setningar fer eftir samhenginu . Samhengið er kortlagt í CycL sem microtheories.

Stöðvar

Hugtakanöfnin eru kölluð fastar í CycL. Stöðvar byrja með forskeytinu „# $“ og eru hástafir. Það eru fastir fyrir:

• Einstaklingur : eiginnöfn eins og # $ BillClinton eða # $ Hamburg.
• Safn : Setur eins og # $ Tree-ThePlant, sem inniheldur öll tré eða #EquivalenceRelation, sem inniheldur öll jafnréttissambönd. Þáttur mengis er kallaður dæmi um mengið.
• TruthFunction : Aðgerðir sem skila sannleiksgildi. Þessar aðgerðir tákna tengsl milli hugtaka sem geta verið annaðhvort sönn eða ósönn. Samkvæmt skilgreiningu byrja aðgerðir í CycL með lágstöfum á eftir forskeytinu. Slíkar lotuaðgerðir er hægt að sameina í flóknar setningar með rökréttum aðgerðum (eins og # $ og, # $ eða, # $ ekki, # $ gefur til kynna o.s.frv.), Mælikvarða (eins og # $ forAll, # $ thereExists osfrv.) og aðrar spár.
• Virka : Aðgerðir sem búa til nýjar úr núverandi hugtökum. T.d. # $ FruitFn, sem skilar upphæð allra ávaxta sinna með plöntumagni sem rökum. Samkvæmt skilgreiningu byrja slíkar aðgerðir með hástöfum á eftir forskeytinu og enda með strengnum „Fn“.

Sérhæfingar og alhæfingar

Mikilvægustu og algengustu spádómarnir eru #isa og # $ genls. Sú fyrri (# $ isa) segir að tiltekið atriði sé dæmi um mengi sem einnig er gefið, en það seinna (# $ genls) segir að eitt sett sé undirmengi annars.

Yfirlýsingar um hugtök eru kallaðar setningar í CycL. Spádómar eru skrifaðir fyrir framan rök þeirra og öll tjáningin er sett innan sviga.

Dæmi:

( # $ isa # $ BillClinton # $ UnitedStatesPresident)

„Bill Clinton er einn af hópi Bandaríkjaforseta.

( # $ genls # $ Tree-ThePlant # $ Plant)

"Öll tré eru plöntur."

( # $ capitalCity # $ France # $ Paris)

"París er höfuðborg Frakklands."

( # $ disjointWith # $ Dog # $ Cat)

"Sett allra hunda og sett allra katta inniheldur enga þætti sameiginlegt."

reglur

Setningar geta einnig innihaldið breytur. Breytur byrja á forskeytinu „?“. Mikilvæg regla um # $ isa forsöguna er:

 (# $ gefur til kynna
   (# $ og
     (# $ isa? OBJECT? VIRKUN)
     (# $ genls? Hlutahlutföll? MAGNI))
   (# $ isa? OBJECT? QUANTITY))

með merkingunni "Ef? OBJEKT er þáttur mengisins? HLUTI og? HLUTI er undirmengi? MAGNI, þá er? HLUTI einnig þáttur í menginu? MAGNI."

Flóknara dæmi er regla sem setur fram fullyrðingar um heilan hóp eða flokk frekar en einstaklingsgildi:

( # $ sambandAllExists # $ líffræðileg móðir # $ ChordataPhylum # $ FemaleAnimal)

Þessi fullyrðing segir að fyrir hvern þátt í settinu # $ ChordataPhylum ( Chordatiere ) sé kvenkyns dýr ( # $ FemaleAnimal) sem sé móðir þess ( # $ líffræðileg móðir) eða, einfaldara sagt: Sérhver # $ ChordataPhylum á móður .

Míkrófræði

Þekkingargagnagrunninum er skipt í svokallaðar microtheories (Mt), sem innihalda fjölda hugtaka og fullyrðingar um þessi hugtök. Ólíkt þekkingargagnagrunninum í heild mega microtheories ekki innihalda mótsagnir.

Sérhver microtheory hefur nafn sem er eðlilegur fasti. Samkvæmt skilgreiningu enda þessi nöfn á strengnum „Mt“. Míkrófræði getur erft fullyrðingar frá undirliggjandi örsögum og eru því einnig skipulögð í eigin stigveldi.

Dæmi:

( # $ genlMt # $ GeometryMt # $ MathMt)

"Örkenningin um rúmfræði er grein í örkenningunni í stærðfræði og þekkir allar fullyrðingarnar úr henni."

bólga

• Þýtt úr ensku greininni með smávægilegum lagfæringum

Vefsíðutenglar

• CycL