Rozumowanie semantyczne - Semantic reasoner

„Rozsądnik” przekierowuje tutaj. W przypadku innych zastosowań zobacz Reasoner (ujednoznacznienie) .

Semantyczny logiczne , rozumując silnik , silnik reguł , lub po prostu logiczne , jest to oprogramowanie w stanie wywnioskować logiczne konsekwencje ze zbioru dochodzonych faktów lub aksjomatów . Pojęcie wnioskowania semantycznego uogólnia pojęcie silnika wnioskowania , zapewniając bogatszy zestaw mechanizmów do pracy. Te reguły wnioskowania są powszechnie określono za pomocą języka ontologii , a często opis logika języka. Wielu rozumujących używa logiki predykatów pierwszego rzędu do prowadzenia rozumowania; wnioskowanie zwykle odbywa się poprzez łańcuchowanie w przód i łańcuchowanie wsteczne . Istnieją również przykłady probabilistycznych systemów wnioskowania , w tym nieaksjomatycznych systemów wnioskowania i probabilistycznych sieci logicznych .

Wybitne aplikacje

Wybitne mechanizmy wnioskowania semantycznego i powiązane oprogramowanie:

Darmowy w użyciu (zamknięte źródło)

  • Aparat wnioskowania Cyc , aparat wnioskowania z łańcuchem w przód i wstecz z licznymi wyspecjalizowanymi modułami dla logiki wysokiego rzędu.
  • KAON2 to infrastruktura do zarządzania ontologiami OWL-DL , SWRL i F-Logic .

Darmowe oprogramowanie (open source)

  • Cwm , mechanizm wnioskowania z łańcuchem w przód używany do odpytywania, sprawdzania, przekształcania i filtrowania informacji. Jego podstawowym językiem jest RDF, rozszerzony o reguły i używa serializacji RDF/XML lub N3 zgodnie z wymaganiami.
  • Drools , mechanizm reguł oparty na wnioskowaniu w przód, który wykorzystuje ulepszoną implementację algorytmu Rete .
  • Evrete , mechanizm reguł Java z łańcuchem do przodu, który wykorzystuje algorytm Rete i jest zgodny z interfejsem Java Rule Engine API (JSR 94).
  • Flora-2 , obiektowy, oparty na regułach system reprezentacji wiedzy i wnioskowania.
  • Jena , framework sieci semantycznej typu open source dla Javy, który zawiera wiele różnych modułów rozumowania semantycznego.
  • Prova , silnik reguł sieci semantycznej, który obsługuje integrację danych za pomocą zapytań SPARQL i systemów typów (RDFS, ontologie OWL jako system typów).
  • DIP , Defeasible-Inference Platform (DIP) to program do wnioskowania w języku Web Ontology Language i wtyczka komputerowa Protégé_ (oprogramowania) do reprezentowania i wnioskowania z możliwym do usunięcia założeniem. Implementuje preferencyjny styl rozumowania, który sprowadza się do „klasycznej implikacji”, tj. bez konieczności modyfikowania podstawowej procedury decyzyjnej.

Aplikacje zawierające argumenty


Semantic Reasoner for Internet of Things (open-source)

S-LOR (Sensor-based Linked Open Rules) semantyczny mechanizm wnioskowania S-LOR jest objęty licencją GNU GPLv3.  

S-LOR (Sensor-based Linked Open Rules) to mechanizm wnioskowania oparty na regułach i podejście do udostępniania i ponownego wykorzystywania interoperacyjnych reguł w celu wywnioskowania znaczącej wiedzy z pomiarów czujników.

Zobacz też

Bibliografia

Zewnętrzne linki