📑 Table of Contents▼

Um raciocinador semântico, mecanismo de raciocínio, mecanismo de regras ou simplesmente um raciocinador, é um software capaz de inferir consequências lógicas a partir de um conjunto de fatos ou axiomas afirmados. A noção de raciocinador semântico generaliza a de um mecanismo de inferência, fornecendo um conjunto mais rico de mecanismos para trabalhar. As regras de inferência são comumente especificadas por meio de uma linguagem de ontologia e, frequentemente, de uma linguagem de lógica de descrição. Muitos raciocinadores usam lógica de primeira ordem para realizar o raciocínio; a inferência comumente ocorre por encadeamento progressivo e encadeamento regressivo. Há também exemplos de raciocinadores probabilísticos, incluindo sistemas de raciocínio não axiomáticos,[1] e redes de lógica probabilística.[2]

Aplicações

editar

Raciocinadores semânticos notáveis e software relacionado:

Gratuitos para uso (código fechado)

editar
  • Mecanismo de inferência do Cyc, um mecanismo de inferência com encadeamento progressivo e regressivo com numerosos módulos especializados para lógica de ordem superior.
  • KAON2, uma infraestrutura para gerenciar ontologias OWL-DL, SWRL e F-Logic.

Software livre (código aberto)

editar
  • Cwm, um raciocinador de encadeamento progressivo usado para consultar, verificar, transformar e filtrar informações. Sua linguagem principal é RDF, estendida para incluir regras, e usa serializações RDF/XML ou N3 conforme necessário.
  • Drools, um mecanismo de regras baseado em inferência por encadeamento progressivo que usa uma implementação aprimorada do algoritmo Rete.
  • Evrete, um mecanismo de regras Java de encadeamento progressivo que usa o algoritmo Rete e é compatível com a Java Rule Engine API (JSR 94).
  • EYE, um mecanismo de raciocínio que realiza encadeamento progressivo e regressivo ao longo de caminhos Euler, suportando a Pilha de tecnologias da Web Semântica e implementando Notation3.
  • D3web, uma plataforma para sistemas baseados em conhecimento (sistemas especialistas).
  • Flora-2, um sistema orientado a objetos, baseado em regras, para representação de conhecimento e raciocínio.
  • Jena, um framework de código aberto para web semântica em Java que inclui vários módulos diferentes de raciocínio semântico.
  • OWLSharp, uma biblioteca .NET leve e amigável para criar aplicações de Web Semântica inteligentes.
  • NRules, um mecanismo de regras baseado em inferência por encadeamento progressivo implementado em C# que usa uma implementação aprimorada do algoritmo Rete.
  • Prova, um mecanismo de regras para web semântica que suporta integração de dados via consultas SPARQL e sistemas de tipos (RDFS, ontologias OWL como sistema de tipos).
  • DIP, Plataforma de Inferência Derrotável (DIP) é um raciocinador Web Ontology Language e plugin de desktop para Protégé para representar e raciocinar com subsunção derrotável.[3] Ele implementa um estilo de raciocínio de consequência preferencial que se reduz à "consequência clássica", ou seja, sem necessidade de modificar o procedimento de decisão subjacente.

Raciocinador Semântico para Internet das Coisas (código aberto)

editar

S-LOR (Sensor-based Linked Open Rules) raciocinador semântico S-LOR está sob licença GNU GPLv3.

S-LOR (Sensor-based Linked Open Rules) é um mecanismo de raciocínio baseado em regras e uma abordagem para compartilhar e reutilizar regras interoperáveis a fim de deduzir conhecimento significativo a partir de medições de sensores.

Ver também

editar

Referências

editar
  1. ↑ Wang, Pei. «Grounded on Experience Semantics for intelligence, Tech report 96». www.cogsci.indiana.edu. CRCC. Consultado em 13 de Abril de 2015 
  2. ↑ Goertzel, Ben; Iklé, Matthew; Goertzel, Izabela Freire; Heljakka, Ari (2008). Probabilistic Logic Networks: A Comprehensive Framework for Uncertain Inference. [S.l.]: Springer Science & Business Media. p. 42. ISBN 978-0-387-76872-4 
  3. ↑ Britz, K. and Varzinczak, I., (2018). Rationality and context in defeasible subsumption. In International Symposium on Foundations of Information and Knowledge Systems (pp. 114-132). Springer, Cham.

Ligações externas

editar