Mecanism de raționament semantic

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită la 9 iunie 2021; verificările necesită 2 modificări .

Raționătorul semantic , motorul de raționament semantic sau motorul de reguli este o piesă de  software capabilă să tragă concluzii logice dintr - un set de cunoștințe sau axiome de bază formalizate corespunzător . Conceptul de raționator semantic generalizează conceptul de motor de inferență , oferind un set mai bogat de mecanisme cu care să lucrați. Reguli de ieșire   sunt de obicei definite folosind limbajul ontologiei și adesea limbajele logicii descriptive . Mulți raționatori semantici folosesc logica de ordinul întâi pentru a efectua raționament; concluzia apare de obicei prin lanțuri directe și înapoi de raționament. Există, de asemenea, exemple de mecanisme de raționament probabilistic, inclusiv sistemul de raționament non-axiomatic al lui Pei Wang [ 1] și rețele logice probabilistice [ 2 ] . 

Forme ale mecanismului semantic al raționamentului

Utilizare

O nouă zonă de utilizare a raționamentului semantic este web-ul semantic , unde bazele de cunoștințe pot fi exprimate în diferite limbaje calculabile, dintre care OWL este cel mai expresiv . Capacitățile gânditorului sunt strict dependente de limbajul folosit pentru a forma baza de cunoștințe.

Raționamentele semantice existente și software-ul asociat sunt enumerate mai jos.

Lista mecanismelor de raționament semantic

Software comercial
  • Bossam (software), un motor de reguli bazat pe RETE cu suport încorporat pentru analizarea ontologiilor OWL, a regulilor SWRL și a regulilor RuleML.
  • RacerPro
  • OntoBroker este un motor de inferență de raționament natural peste F-Logic, ObjectLogic, RIF și OWL. ( motor de inferență listat W3C )
Software gratuit (sursă închisă)
  • Motor de inferență ciclică , motor de inferență înainte și înapoi cu numeroase module specializate pentru logica de ordin superior. ( ResearchCyc ) ( OpenCyc Arhivat 26 februarie 2011 la Wayback Machine )
  • KAON2  este un cadru pentru gestionarea ontologiilor OWL-DL, SWRL și F-Logic.
  • Internet Business Logic (software) este un dezvoltator inteligent de aplicații pentru utilizatorii finali. Construiește și rulează automat interogări SQL complexe de rețea . Explică rezultatele în limba engleză la nivelul utilizatorului final.
Software gratuit (open source)
  • Cwm , un motor de raționament cu înlănțuire înainte folosit pentru a interoga, valida, transforma și filtra informații. Limbajul său principal este RDF, extins pentru a include reguli și utilizează serializări RDF/XML sau N3 atunci când este necesar. ( CWM , licență software W3C)
  • Drools , un motor de reguli bazat pe principii de transformare directă care utilizează o implementare extinsă a algoritmului Rete . ( Drools , licență Apache 2.0)
  • OpenRules , un sistem de management al soluțiilor și regulilor de afaceri open source. Împreună cu motorul de reguli secvenţiale include un motor de inferenţă care utilizează programarea cu constrângeri ( OpenRules )
  • FaCT++ Reasoner , un argument bazat pe tabel pentru descrierile logicii expresive (DL), care acoperă OWL și OWL 2, dar fără suport pentru constrângeri cheie și unele tipuri de date. Scris în C++. (LGPL)
  • Flora-2 , un sistem de raționament și reprezentare a cunoștințelor orientat pe obiecte, bazat pe reguli. ( Flora-2 , Apache 2.0)
  • Gandalf , un motor de reguli de decizie open source în PHP (GPL).
  • Prova , un motor de reguli web semantic care acceptă integrarea datelor folosind interogări și tipuri SPARQL (RDFS, ontologii OWL ca sisteme de tip). ( Prova , GNU GPL v2, versiune comercială disponibilă)
  • Peleți , raționator OWL 2 DL (AGPL, opțiune comercială disponibilă)
  • HermiT , OWL 2 DL argumentator (LGPL)
  • ELK , OWL 2 EL raționator (Apache 2)
  • CEL , OWL 2 EL rezonator (Apache 2)
  • jcel , OWL 2 EL rezonator (LGPL/Apache 2)
  • RACER , OWL 2 DL reasoner (BSD-3)
  • Jena , un cadru web semantic open source pentru Java care include o serie de module logice semantice diferite. ( Apache Jena , Apache License 2.0)
  • RDFSharp , un cadru web semantic open source pentru .NET care include o extensie semantică care implementează RDFS/OWL-DL/logica regulilor personalizate. ( RDFSharp , licență Apache 2.0)
Aplicații care conțin gânditori semantici
  • SemanticMiner include gânditorul semantic OntoBroker pentru a efectua căutări semantice bazate pe ontologie. [unu]
  • SemanticGuide  este un sistem expert bazat pe OntoBroker. [2]
  • Apache Marmotta include un gânditor semantic bazat pe reguli în magazinul său de fapte KiWi.
  • dot15926 Editor-Ontology , un cadru de management dezvoltat inițial pentru dezvoltarea standardului de ontologie ISO 15926 . Vă permite să scrieți reguli Python și să efectuați analize de date bazate pe șabloane. Suporta extensii.

Vezi și

Note

  1. ^ Wang, Pei Grounded on Experience Semantics for intelligence, Raport tehnic 96 . http://www.cogsci.indiana.edu/ . CRCC. Consultat la 13 aprilie 2015. Arhivat din original pe 23 septembrie 2015.
  2. ↑ Goertzel, Ben; Ikle, Matei; Goertzel, Isabela Freire; Heljakka, Ari. Rețele logice probabilistice: un cadru cuprinzător pentru  inferența incertă . - Springer Science & Business Media , 2008. - P. 42. - ISBN 9780387768724 .

Link -uri

 web semantic
Bazele
Subsecțiuni
Aplicații
subiecte asemănătoare
Standarde
  • Istoric : HTML semantic vechi simplu
  • DAML+ULEI