{"type":"ScholarlyArticle","title":"Shielded Base Contraction (Extended Abstract)","authors":[{"name":"Marco Garapa","slug":"marco-garapa","given":"Marco","family":"Garapa","affiliation":"Faculdade de Ciências Exatas e da Engenharia , Universidade da Madeira; CIMA -Centro de Investigac ¸ão em Matemática e Aplicac ¸ões"},{"name":"Eduardo Fermé","slug":"eduardo-ferme","given":"Eduardo","family":"Fermé","affiliation":"Faculdade de Ciências Exatas e da Engenharia , Universidade da Madeira; NOVA Laboratory for Computer Science and Informatics (NOVA LINCS)"},{"name":"Maurício D. L. Reis","slug":"mauricio-d-l-reis","given":"Maurício D. L.","family":"Reis","affiliation":"Faculdade de Ciências Exatas e da Engenharia , Universidade da Madeira; CIMA -Centro de Investigac ¸ão em Matemática e Aplicac ¸ões"}],"abstract":"In this paper we study a kind of non-prioritized contraction operator on belief bases -known as shielded base contractions. We propose twenty different classes of shielded base contractions and obtain axiomatic characterizations for each one of them. Additionally we thoroughly investigate the interrelations (in the sense of inclusion) among all those classes.","doi":"10.24963/ijcai.2019/889","url":"https://ijcai.org/proceedings/2019/889","pdf":"https://ijcai.org/proceedings/2019/0889.pdf","markdown":"https://ijcai.org/proceedings/2019/889.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/889","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Journal track","track":"Journal track","number":889,"pages":{"first":6367,"last":6371},"keywords":["Knowledge Representation and Reasoning: Reasoning about Knowlege and Belief","Knowledge Representation and Reasoning: Belief Change"],"videos":[],"references":[{"position":1,"raw":"[Alchourrón and Makinson, 1981] Carlos Alchourrón and David Makinson. Hierarchies of regulations and their logic. In Risto Hilpinen, editor, New Studies in Deon- tic Logic: Norms, Actions, and the Foundations of Ethics, pages 125-148, 1981.","title":"Carlos Alchourrón and David Makinson. Hierarchies of regulations and their logic","authors":"Makinson Alchourrón","year":"1981","venue":"New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alchourrón et al., 1985] Carlos Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.","title":"On the logic of theory change: Partial meet contraction and revision functions","authors":"Carlos Alchourrón, Peter Gärdenfors, David Makinson","year":"1985","venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Fermé and Hansson, 2001] Eduardo Fermé and Sven Ove Hansson. Shielded contraction. In H.Rott and M-A Williams, editors, Frontiers in Belief Revision, Applied Logic Series, pages 85-107. Kluwer Academic Publish- ers, 2001.","title":"Shielded contraction","authors":"Hansson Fermé, Eduardo Fermé, Sven Ove Hansson","year":"2001","venue":"Frontiers in Belief Revision, Applied Logic Series","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Fermé and Hansson, 2011] Eduardo Fermé and Sven Ove Hansson. AGM 25 years: Twenty-five years of research in belief change. Journal of Philosophical Logic, 40:295- 331, 2011.","title":"AGM 25 years: Twenty-five years of research in belief change","authors":"Hansson Fermé, Eduardo Fermé, Sven Ove Hansson","year":"2011","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Fermé and Hansson, 2018] Eduardo Fermé and Sven Ove Hansson. Belief Change: Introduction and Overview. Springer Briefs in Computer Science Series. Springer, 2018.","title":"Belief Change: Introduction and Overview","authors":"Hansson Fermé, Eduardo Fermé, Sven Ove Hansson","year":"2018","venue":"Springer Briefs in Computer Science Series","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Fermé et al., 2003] Eduardo Fermé, Juan Mikalef, and Jorge Taboada. Credibility-limited functions for belief bases. Journal of Logic and Computation, 13:1:99-110, 2003.","title":"Credibility-limited functions for belief bases","authors":"Fermé","year":"2003","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Fermé et al., 2008] Eduardo Fermé, Martín Krevneris, and Maurício Reis. An axiomatic characterization of ensconcement-based contraction. Journal of Logic and Computation, 18(5):739-753, 2008.","title":"An axiomatic characterization of ensconcement-based contraction","authors":"Fermé","year":"2008","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Garapa et al., 2018] Marco Garapa, Eduardo Fermé, and Maurício D.L. Reis. Shielded base contraction. Artificial Intelligence, 259:186 -216, 2018.","title":"Shielded base contraction","authors":"Marco Garapa, Eduardo Fermé, D L Maurício, Reis","year":"2018","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Hansson, 1991] Sven Ove Hansson. Belief Base Dynamics. PhD thesis, Uppsala University, 1991.","title":"Belief Base Dynamics","authors":"Sven Ove, Hansson","year":"1991","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Hansson, 1994] Sven Ove Hansson. Kernel contraction. Journal of Symbolic Logic, 59:845-859, 1994.","title":"Kernel contraction","authors":"Sven Ove, Hansson","year":"1994","venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Hansson, 1999] Sven Ove Hansson. A Textbook of Belief Dynamics. Theory Change and Database Updating. Ap- plied Logic Series. Kluwer Academic Publishers, Dor- drecht, 1999.","title":"A Textbook of Belief Dynamics. Theory Change and Database Updating","authors":"Sven Ove, Hansson","year":"1999","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Rott, 1992] Hans Rott. Preferential belief change using gen- eralized epistemic entrenchment. Journal of Logic, Lan- guage and Information, 1:45-78, 1992.","title":"Preferential belief change using generalized epistemic entrenchment","authors":"Hans Rott, Rott","year":"1992","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}