Pieza de software capaz de inferir consecuencias lógicas a partir de un conjunto de hechos o axiomas afirmados.
Un razonador semántico , un motor de razonamiento , un motor de reglas o simplemente un razonador , es una pieza de software capaz de inferir consecuencias lógicas a partir de un conjunto de hechos o axiomas afirmados . La noción de razonador semántico generaliza la de motor de inferencia , al proporcionar un conjunto más rico de mecanismos con los que trabajar. Las reglas de inferencia se especifican comúnmente mediante un lenguaje de ontología y, a menudo, un lenguaje de lógica de descripción . Muchos razonadores utilizan la lógica de predicados de primer orden para realizar el razonamiento; La inferencia comúnmente procede mediante encadenamiento hacia adelante y hacia atrás . También hay ejemplos de razonadores probabilísticos, incluidos sistemas de razonamiento no axiomáticos, [1] y redes lógicas probabilísticas . [2]
Aplicaciones notables
Razonadores semánticos notables y software relacionado:
De uso gratuito (código cerrado)
- Motor de inferencia Cyc , un motor de inferencia de encadenamiento hacia adelante y hacia atrás con numerosos módulos especializados para lógica de alto orden.
- KAON2 es una infraestructura para gestionar ontologías OWL-DL , SWRL y F-Logic .
Software gratuito (código abierto)
- Cwm , un razonador de encadenamiento directo utilizado para consultar, verificar, transformar y filtrar información. Su lenguaje principal es RDF, ampliado para incluir reglas, y utiliza serializaciones RDF/XML o N3 según sea necesario.
- Drools , un motor de reglas basado en inferencias de encadenamiento directo que utiliza una implementación mejorada del algoritmo Rete .
- Evrete, un motor de reglas Java de encadenamiento directo que utiliza el algoritmo Rete y es compatible con la API Java Rule Engine (JSR 94).
- D3web , una plataforma de sistemas basados en el conocimiento ( sistemas expertos ).
- Flora-2 , un sistema de razonamiento y representación del conocimiento basado en reglas y orientado a objetos.
- Jena , un marco de web semántica de código abierto para Java que incluye varios módulos de razonamiento semántico diferentes.
- OWLSharp, una biblioteca .NET liviana y amigable para realizar aplicaciones de Web Semántica inteligentes.
- NRules, un motor de reglas basado en inferencia de encadenamiento directo implementado en C# que utiliza una implementación mejorada del algoritmo Rete
- Prova , un motor de reglas de web semántica que admite la integración de datos a través de consultas SPARQL y sistemas de tipos (RDFS, ontologías OWL como sistema de tipos).
- DIP, Defeasible-Inference Platform (DIP) es un razonador de lenguaje de ontología web y un complemento de escritorio Protégé para representar y razonar con subsunción anulable. [3] Implementa un estilo de razonamiento de vinculación preferencial que se reduce a "vinculación clásica", es decir, sin la necesidad de modificar el procedimiento de decisión subyacente.
Aplicaciones que contienen razonadores
Razonador semántico para Internet de las cosas (código abierto)
El razonador semántico S-LOR (Reglas abiertas vinculadas basadas en sensores) S-LOR está bajo la licencia GNU GPLv3.
S-LOR (Reglas abiertas vinculadas basadas en sensores) es un motor de razonamiento basado en reglas y un enfoque para compartir y reutilizar reglas interoperables para deducir conocimientos significativos a partir de mediciones de sensores.
Ver también
Referencias
- ^ Wang, Pei. "Basado en la semántica de la experiencia para la inteligencia, informe técnico 96". www.cogsci.indiana.edu . CRCC . Consultado el 13 de abril de 2015 .
- ^ Goertzel, Ben; Iklé, Mateo; Goertzel, Izabela Freire; Heljakka, Ari (2008). Redes lógicas probabilísticas: un marco integral para inferencias inciertas . Medios de ciencia y negocios de Springer. pag. 42.ISBN 9780387768724.
- ^ Britz, K. y Varzinczak, I., (2018). Racionalidad y contexto en la subsunción derrotable. En Simposio internacional sobre fundamentos de los sistemas de información y conocimiento (págs. 114-132). Springer, Cham.
enlaces externos
- OWL 2 Reasoners incluidos en la página de inicio del Grupo de Trabajo SW del W3C
- Lenguaje de consulta SPARQL para RDF
- Marko Luther, Thorsten Liebig, Sebastian Böhm, Olaf Noppens: ¿Quién diablos es el padre de Bob? ESWC 2009: 66-80
- Jürgen Bock, Peter Haase, Qiu Ji, Raphael Volz. Evaluación comparativa de OWL Reasoners [ enlace muerto permanente ] . Espejo disponible. En ARea2008 - Taller sobre el avance del razonamiento en la Web: escalabilidad y sentido común (junio de 2008)
- Tom Gardiner, Ian Horrocks, Dmitry Tsarkov. Evaluación comparativa automatizada de razonadores lógicos de descripción. La descripción de Taller de Lógica 2006