{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:27:40Z","timestamp":1760171260027},"reference-count":51,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2022,3,11]],"date-time":"2022-03-11T00:00:00Z","timestamp":1646956800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,20]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Recently, belief change within the framework of fragments of propositional logic has gained attention. In the context of revision, it has been proposed to refine existing operators so that they operate within propositional fragments and that the result of revision remains in the fragment under consideration. Later, this notion of refinement was generalized to belief change operators. Whereas refinement allowed one to define concrete rational operators adapted to propositional fragments in the context of revision and update, it has to be specified for contraction and erasure. We propose a specific notion of refinement for contraction and erasure operators, called reasonable refinement. This allows us to provide refined contraction and erasure operators that satisfy the basic postulates. We study the logical properties of reasonable refinement of two model-based contraction operators and two model-based erasure operators. Our approach is not limited to the Horn fragment but applicable to many fragments of propositional logic, like Krom and affine fragments.<\/jats:p>","DOI":"10.1093\/logcom\/exac005","type":"journal-article","created":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T20:14:57Z","timestamp":1643314497000},"page":"1436-1468","source":"Crossref","is-referenced-by-count":1,"title":["Belief contraction and erasure in fragments of propositional logic"],"prefix":"10.1093","volume":"32","author":[{"given":"Nadia","family":"Creignou","sequence":"first","affiliation":[{"name":"Aix Marseille Univ , Universit\u00e9 de Toulon, CNRS, LIS, 13009 Marseille, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ra\u00cfda","family":"Ktari","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Sfax , ISIMS, OLID-Lab LR 19ES21, Sfax, Tunisie"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[{"name":"Aix Marseille Univ , Universit\u00e9 de Toulon, CNRS, LIS, 13009 Marseille, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,3,11]]},"reference":[{"key":"2022102505283400900_ref1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: Partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"2022102505283400900_ref2","first-page":"31","article-title":"On the link between partial meet, kernel, and infra contraction and its application to Horn logic","volume":"42","author":"Booth","year":"2011","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2022102505283400900_ref3","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/S0004-3702(97)00066-0","article-title":"A unified model of qualitative belief change: A dynamical systems perspective","volume":"98","author":"Boutilier","year":"1998","journal-title":"Artificial Intelligence"},{"key":"2022102505283400900_ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(00)00010-2","article-title":"Semantical and computational aspects of Horn approximations","volume":"119","author":"Cadoli","year":"2000","journal-title":"Artificial Intelligence"},{"key":"2022102505283400900_ref5","first-page":"428","article-title":"Contraction in propositional logic","volume-title":"Int. J. Approx. Reason.","author":"Caridroit","year":"2017"},{"key":"2022102505283400900_ref6","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/j.jcss.2013.08.002","article-title":"Belief revision within fragments of propositional logic","volume":"80","author":"Creignou","year":"2014","journal-title":"Journal of Computer and System Sciences"},{"key":"2022102505283400900_ref7","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/2898436","article-title":"Belief merging within fragments of propositional logic","volume":"17","author":"Creignou","year":"2016","journal-title":"ACM Transactions on Computational Logic"},{"key":"2022102505283400900_ref8","article-title":"Do hard sat-related reasoning tasks become easier in the Krom fragment?","volume":"14","author":"Creignou","year":"2018","journal-title":"Logical Methods in Computer Science"},{"key":"2022102505283400900_ref9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-540-92800-3_2","article-title":"Boolean constraint satisfaction problems: When does post\u2019s lattice help?","volume-title":"Complexity of Constraints","author":"Creignou","year":"2008"},{"key":"2022102505283400900_ref10","first-page":"390","article-title":"Belief contraction within fragments of propositional logic","volume-title":"Proceedings of ECAI\u201916","author":"Creignou","year":"2016"},{"key":"2022102505283400900_ref11","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1613\/jair.5541","article-title":"Belief update within propositional fragments","volume":"61","author":"Creignou","year":"2018","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2022102505283400900_ref12","first-page":"449","article-title":"Investigations into theory of knowledge base revision","volume-title":"Proceedings of AAAI\u201988","author":"Dalal","year":"1988"},{"key":"2022102505283400900_ref13","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1093\/logcom\/4.5.797","article-title":"A unified view of belief revision and update","volume":"4","author":"del Val","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"2022102505283400900_ref14","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1613\/jair.4031","article-title":"Horn clause contraction functions","volume":"48","author":"Delgrande","year":"2013","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2022102505283400900_ref15","first-page":"156","article-title":"Horn clause belief change: Contraction functions","volume-title":"Proceedings of KR\u201908","author":"Delgrande","year":"2008"},{"key":"2022102505283400900_ref16","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1613\/jair.2539","article-title":"Compositional belief update","volume":"32","author":"Delgrande","year":"2014","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2022102505283400900_ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2014.08.006","article-title":"Belief revision in Horn theories","volume":"218","author":"Delgrande","year":"2015","journal-title":"Artificial Intelligence"},{"key":"2022102505283400900_ref18","first-page":"95","article-title":"The PMA and relativizing minimal change for action update","volume":"44","author":"Doherty","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"2022102505283400900_ref19","first-page":"620","article-title":"Belief revision and updates in numerical formalisms: An overview, with new results for the possibilistic framework","volume-title":"Proc. IJCAI","author":"Dubois","year":"1993"},{"key":"2022102505283400900_ref20","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","article-title":"On the complexity of propositional knowledge base revision, updates, and counterfactuals","volume":"57","author":"Eiter","year":"1992","journal-title":"Artificial Intelligence"},{"key":"2022102505283400900_ref21","first-page":"171","article-title":"Generalizing the AGM postulates: Preliminary results and applications","volume-title":"Proceedings of NMR\u201904","author":"Flouris","year":"2004"},{"key":"2022102505283400900_ref22","first-page":"1273","article-title":"Introducing actions into qualitative simulation","volume-title":"Proceedings International Joint Conferences on Artificial Intelligence Organization (IJCAI)","author":"Forbus","year":"1989"},{"key":"2022102505283400900_ref23","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1613\/jair.506","article-title":"Modeling belief in dynamic systems, part II: Revision and update","volume":"10","author":"Friedman","year":"1999","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2022102505283400900_ref24","first-page":"175","article-title":"Theory contraction through base contraction","volume":"20","author":"Fuhrmann","year":"1991","journal-title":"Studia Logica"},{"key":"2022102505283400900_ref25","first-page":"203","article-title":"An epistemic approach to conditionals","volume":"18","author":"G\u00e4rdenfors","year":"1981","journal-title":"Americal Philosophical Quarterly"},{"key":"2022102505283400900_ref26","volume-title":"Knowledge in Flux","author":"G\u00e4rdenfors","year":"1988"},{"key":"2022102505283400900_ref27","first-page":"83","article-title":"Revisions of knowledge systems using epistemic entrenchment","volume-title":"Proceedings of TARK\u201988","author":"G\u00e4rdenfors","year":"1988"},{"key":"2022102505283400900_ref28","doi-asserted-by":"crossref","first-page":"845","DOI":"10.2307\/2275912","article-title":"Kernel contraction","volume":"59","author":"Hansson","year":"1994","journal-title":"Journal of Symbolic Logic"},{"key":"2022102505283400900_ref29","first-page":"462","article-title":"Rational conceptual change","volume-title":"PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association, Volume 2: Symposia and Invited Papers","author":"Harper","year":"1977"},{"key":"2022102505283400900_ref30","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0004-3702(99)00072-7","article-title":"Propositional belief base update and minimal change","volume":"115","author":"Herzig","year":"1999","journal-title":"Artificial Intelligence"},{"key":"2022102505283400900_ref31","doi-asserted-by":"crossref","first-page":"14","DOI":"10.2307\/2268661","article-title":"On sentences which are true of direct unions of algebras","volume":"16","author":"Horn","year":"1951","journal-title":"Journal of Symbolic Logic"},{"key":"2022102505283400900_ref32","first-page":"1413","article-title":"A unified view of propositional knowledge base updates","volume-title":"Proceedings of IJCAI\u201989","author":"Katsuno","year":"1989"},{"key":"2022102505283400900_ref33","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","article-title":"Propositional knowledge base revision and minimal change","volume":"52","author":"Katsuno","year":"1991","journal-title":"Artificial Intelligence"},{"key":"2022102505283400900_ref34","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1017\/CBO9780511526664.007","article-title":"On the difference between updating a knowledge base and revising it","volume-title":"Belief Revision","author":"Katsuno","year":"1992"},{"key":"2022102505283400900_ref35","volume-title":"Changement de Croyances Dans des Fragments de la Logique Propositionnelle","author":"Ktari","year":"2016"},{"key":"2022102505283400900_ref36","first-page":"2517","article-title":"Belief update revisited","volume-title":"Proc. IJCAI","author":"Lang","year":"2007"},{"key":"2022102505283400900_ref37","first-page":"466","article-title":"Horn complements: Towards Horn-to-Horn belief revision","volume-title":"Proceedings of AAAI\u201908","author":"Langlois","year":"2008"},{"key":"2022102505283400900_ref38","first-page":"423","article-title":"Subjunctives, dispositions of chances","volume-title":"Synthese","author":"Levi","year":"1977"},{"key":"2022102505283400900_ref39","first-page":"341","article-title":"Base revision operations and schemes: Semantics, representation and complexity","volume-title":"Proceedings of ECAI\u201994","author":"Nebel","year":"1994"},{"key":"2022102505283400900_ref40","first-page":"1","article-title":"The two-valued iterative systems of mathematical logic","volume":"5","author":"Post","year":"1941","journal-title":"Annals of Mathematical Studies"},{"key":"2022102505283400900_ref41","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1093\/logcom\/exr040","article-title":"Prime implicates and relevant belief revision","volume":"23","author":"Van De Putte","year":"2013","journal-title":"Journal of Logic and Computation"},{"key":"2022102505283400900_ref42","first-page":"45","article-title":"Belief contraction in the context of the general theory of rational choice","volume":"1","author":"Rott","year":"1992","journal-title":"Journal of Logic, Language and Information"},{"key":"2022102505283400900_ref43","first-page":"455","article-title":"Nonmonotonic reasoning by minimal belief revision","volume-title":"Proceedings of FGCS\u201988","author":"Satoh","year":"1988"},{"key":"2022102505283400900_ref44","first-page":"89","article-title":"Reasoning about action using a possible models approach","volume-title":"Proc. AAAI","author":"Winslett","year":"1988"},{"key":"2022102505283400900_ref45","first-page":"859","article-title":"Sometimes updates are circumscription","volume-title":"Proceedings International Joint Conferences on Artificial Intelligence Organization (IJCAI)","author":"Winslett","year":"1989"},{"key":"2022102505283400900_ref46","first-page":"268","article-title":"Language splitting and relevance-based belief change in Horn logic","volume-title":"Proceedings of AAAI\u201911","author":"Wu","year":"2011"},{"key":"2022102505283400900_ref47","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1111\/0824-7935.00104","article-title":"Updates with disjunctive information: From syntactical and semantical perspectives","volume":"16","author":"Zhang","year":"2000","journal-title":"Computational Intelligence"},{"key":"2022102505283400900_ref48","first-page":"169","article-title":"Model based Horn contraction","volume-title":"Proceedings of KR\u201912","author":"Zhuang","year":"2012"},{"key":"2022102505283400900_ref49","first-page":"1132","article-title":"Transitively relational partial meet Horn contraction","volume-title":"Proceedings of IJCAI\u201911","author":"Zhuang","year":"2011"},{"key":"2022102505283400900_ref50","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1613\/jair.4430","article-title":"Entrenchment-based Horn contraction","volume":"51","author":"Zhuang","year":"2014","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2022102505283400900_ref51","article-title":"Definability of Horn revision from Horn contraction","volume-title":"Proceedings of IJCAI\u201913","author":"Zhuang","year":"2013"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/7\/1436\/46616047\/exac005.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/7\/1436\/46616047\/exac005.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T05:55:02Z","timestamp":1666677302000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/32\/7\/1436\/6546615"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,11]]},"references-count":51,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2022,3,11]]},"published-print":{"date-parts":[[2022,10,20]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac005","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,10]]},"published":{"date-parts":[[2022,3,11]]}}}