A semantic perspective on belief change in a preferential non-monotonic framework

Casini, Giovanni; Fermé, Eduardo; Meyer, Thomas; Varzinczak, Ivan

Publication

A semantic perspective on belief change in a preferential non-monotonic framework

2018Conference object

dc.contributor.author	Casini, Giovanni
dc.contributor.author	Fermé, Eduardo
dc.contributor.author	Meyer, Thomas
dc.contributor.author	Varzinczak, Ivan
dc.date.accessioned	2023-01-31T15:57:40Z
dc.date.available	2023-01-31T15:57:40Z
dc.date.issued	2018
dc.description.abstract	Belief change and non-monotonic reasoning are usually viewed as two sides of the same coin, with results showing that one can formally be defined in terms of the other. In this paper we investigate the integration of the two formalisms by studying belief change for a (preferential) non-monotonic framework. We show that the standard AGM approach to be lief change can be transferred to a preferential non-monotonic framework in the sense that change operations can be defined on conditional knowledge bases. We take as a point of depar ture the results presented by Casini and Meyer (2017), and we develop and extend such results with characterisations based on semantics and entrenchment relations, showing how some of the constructions defined for propositional logic can be lifted to our preferential non-monotonic framework.	pt_PT
dc.description.version	info:eu-repo/semantics/publishedVersion	pt_PT
dc.identifier.citation	Casini, G., Ferme, E., Meyer, T., & Varzinczak, I. (2018). A semantic perspective on belief change in a preferential non-monotonic framework. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (pp. 220-229). AAAI Press.	pt_PT
dc.identifier.uri	http://hdl.handle.net/10400.13/4983
dc.language.iso	eng	pt_PT
dc.publisher	AAAI	pt_PT
dc.relation	NOVA Laboratory for Computer Science and Informatics
dc.rights.uri	http://creativecommons.org/licenses/by/4.0/	pt_PT
dc.subject	Belief change	pt_PT
dc.subject	Non-monotonic reasoning	pt_PT
dc.subject	Theory change	pt_PT
dc.subject	.	pt_PT
dc.subject	Faculdade de Ciências Exatas e da Engenharia	pt_PT
dc.title	A semantic perspective on belief change in a preferential non-monotonic framework	pt_PT
dc.type	conference object
dspace.entity.type	Publication
oaire.awardTitle	NOVA Laboratory for Computer Science and Informatics
oaire.awardURI	info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FCEC%2F04516%2F2013/PT
oaire.awardURI	info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F30990%2F2017/PT
oaire.citation.endPage	229	pt_PT
oaire.citation.startPage	220	pt_PT
oaire.citation.title	Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)	pt_PT
oaire.fundingStream	6817 - DCRRNI ID
oaire.fundingStream	3599-PPCDT
person.familyName	Fermé
person.givenName	Eduardo
person.identifier	https://scholar.google.com/citations?user=Qu6aCR8AAAAJ&hl
person.identifier.ciencia-id	C515-D92F-8F54
person.identifier.orcid	0000-0002-9618-2421
person.identifier.scopus-author-id	6507544015
project.funder.identifier	http://doi.org/10.13039/501100001871
project.funder.identifier	http://doi.org/10.13039/501100001871
project.funder.name	Fundação para a Ciência e a Tecnologia
project.funder.name	Fundação para a Ciência e a Tecnologia
rcaap.rights	openAccess	pt_PT
rcaap.type	conferenceObject	pt_PT
relation.isAuthorOfPublication	dbd2982b-b171-4458-b280-5bf0569ca5f2
relation.isAuthorOfPublication.latestForDiscovery	dbd2982b-b171-4458-b280-5bf0569ca5f2
relation.isProjectOfPublication	f9e53ffc-7786-4c3a-b9fc-424f5f88acb2
relation.isProjectOfPublication	9cf81ce7-2e2d-469d-ba33-9a70d1eb657d
relation.isProjectOfPublication.latestForDiscovery	9cf81ce7-2e2d-469d-ba33-9a70d1eb657d