Partial meet pseudo-contractions

Yuri David Santos, Vinícius Bitencourt Matos, Márcio Moretto Ribeiro, Renata Wassermann

    Research output: Contribution to journalArticleAcademicpeer-review

    7 Citations (Scopus)
    55 Downloads (Pure)


    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
    Early online date29-Aug-2018
    Publication statusPublished - Dec-2018


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

    Cite this