How to construct remainder sets for paraconsistent revisions: preliminary report

Testa, Rafael; Fermé, Eduardo; Garapa, Marco; Reis, Maurício

http://hdl.handle.net/10400.13/4981

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
How_to_construct_Remainder_Sets_for_Para.pdf		122.02 KB	Adobe PDF	Download

Send Feedback

Authors

Abstract(s)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision op eration should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those dis tinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors.

Keywords

Belief Revision operation Paraconsistent revisions . Faculdade de Ciências Exatas e da Engenharia

URI

http://hdl.handle.net/10400.13/4981

Citation

Testa, R., Fermé, E., Garapa, M., & Reis, M. (2018). How to construct remainder sets for paraconsistent revisions: preliminary report. 17 th Iinternational Workshop on Non-Monotonic Reasoning 2018.