Logic programming languages based on first-order terms (FOTs) have been extended with a similarity relation on functor symbols in order to perform approximate reasoning, which may allow flexible querying and retrieval from a knowledge base. More flexibility is also provided by the terms of Order-Sorted Feature (OSF) logic, which relax a few syntactic restrictions of FOTs. Moreover, OSF term unification takes into account a subsumption ordering on sort symbols, which makes computations more efficient. This document presents the current efforts by the authors in defining similarity-based reasoning with OSF logic: the goal is to achieve a more flexible, but still efficient, processing of queries.
Milanese, G., Pasi, G. (2021). Similarity-based reasoning and retrieval with order-sorted feature logic. In 11th Italian Information Retrieval Workshop, IIR 2021. CEUR-WS.
Similarity-based reasoning and retrieval with order-sorted feature logic
Milanese, GC;Pasi, G
2021
Abstract
Logic programming languages based on first-order terms (FOTs) have been extended with a similarity relation on functor symbols in order to perform approximate reasoning, which may allow flexible querying and retrieval from a knowledge base. More flexibility is also provided by the terms of Order-Sorted Feature (OSF) logic, which relax a few syntactic restrictions of FOTs. Moreover, OSF term unification takes into account a subsumption ordering on sort symbols, which makes computations more efficient. This document presents the current efforts by the authors in defining similarity-based reasoning with OSF logic: the goal is to achieve a more flexible, but still efficient, processing of queries.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.