5 papers
Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction
Hannes Gaißer, Dominik Klumpp, Jandson S. Ribeiro
We study the computational aspects of epistemic preference relations in non-classical logics, particularly linear temporal logic (LTL). Epistemic preferences form the backbone of b…
Model Change for Description Logic Concepts
Ana Ozaki, Jandson S. Ribeiro
We consider the problem of modifying a description logic concept in light of models represented as pointed interpretations. We call this setting model change, and distinguish three…
Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
Dominik Klumpp, Jandson S. Ribeiro
Despite significant efforts towards extending the AGM paradigm of belief change beyond finitary logics, the computational aspects of AGM have remained almost untouched. We investig…
Finite Based Contraction and Expansion via Models
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of for…
Revising Ontologies via Models: The ALC-formula Case
Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of unde…