Publication

Partial meet pseudo-contractions

David Santos, Y., Bitencourt Matos, V., Moretto Ribeiro, M. & Wassermann, R., Dec-2018, In : International Journal of Approximate Reasoning. 103, p. 11-27 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Copy link to clipboard

Documents

  • Partial meet pseudo-contractions

    Final publisher's version, 613 KB, PDF document

    Request copy

DOI

In the AGM paradigm for belief revision, epistemic states are represented by logically closed sets of sentences, the so-called belief sets. An alternative approach uses belief bases, arbitrary sets of sentences. Both approaches have their problems when it comes to contraction operations. Belief bases are more expressive, but, at the same time, they present a serious syntax dependence.

Between those two extremes lie a whole gamut of operations called pseudo-contractions, some of which may be interesting alternatives to the classical ones, providing a good balance between syntax dependence and expressivity.

In this paper we explore some very natural and general constructions for pseudo-contractions, showing some of their properties and giving their axiomatic characterizations. We also illustrate possible practical scenarios where they can be employed.
Original languageEnglish
Pages (from-to)11-27
Number of pages17
JournalInternational Journal of Approximate Reasoning
Volume103
Early online date29-Aug-2018
Publication statusPublished - Dec-2018

    Keywords

  • Belief revision, Limited reasoning, Ontologies, Pseudo-contractions, LOGIC, RECOVERY, KERNEL

ID: 66473200