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.
paper
Approximate reasoning; Flexible querying; Logic programming; OSF logic; Similarity-based retrieval;
English
11th Italian Information Retrieval Workshop, IIR 2021 - 13 September 2021 through 15 September 2021
2021
Anelli, VW; Di Noia, T; Ferro, N; Narducci, F
11th Italian Information Retrieval Workshop, IIR 2021
2021
2947
none
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/394902
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact