{"type":"ScholarlyArticle","title":"Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)","authors":[{"name":"Maurício D. L. Reis","slug":"mauricio-d-l-reis","given":"Maurício D. L.","family":"Reis","affiliation":"Universidade da Madeira and CIMA -Centro de Investigac ¸ão em Matemática e Aplicac ¸ões"},{"name":"Eduardo Fermé","slug":"eduardo-ferme","given":"Eduardo","family":"Fermé","affiliation":"b Universidade da Madeira and NOVA Laboratory for Computer Science and Informatics (NOVA LINCS)"},{"name":"Pavlos Peppas","slug":"pavlos-peppas","given":"Pavlos","family":"Peppas","affiliation":"c University of Patras and QCIS , Faculty of Engineering and IT , University of Technology Sydney"}],"abstract":"In this paper we show that, contrary to what is the case in what concerns contractions by a single sentence, there is not a system of spheres-based construction of multiple contractions which generates each and every transitively relational partial meet multiple contraction.\r\nFurthermore, we propose two system of spheres-based constructions of multiple contractions which generate (only) transitively relational partial meet multiple contractions.","doi":"10.24963/ijcai.2017/719","url":"https://ijcai.org/proceedings/2017/719","pdf":"https://ijcai.org/proceedings/2017/0719.pdf","markdown":"https://ijcai.org/proceedings/2017/719.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/719","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Journal track","track":"Journal track","number":719,"pages":{"first":5045,"last":5049},"keywords":["Knowledge Representation, Reasoning, and Logic: Belief Change","Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief"],"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.","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":"D. Reidel Publishing Company, 1981.","title":null,"authors":"D","year":"1981","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Alchourrón and Makinson, 1982] Carlos Alchourrón and David Makinson. On the logic of theory change: Con- traction functions and their associated revision functions. Theoria, 48:14-37, 1982.","title":"Carlos Alchourrón and David Makinson. On the logic of theory change: Contraction functions and their associated revision functions","authors":"Makinson Alchourrón","year":"1982","venue":"Theoria","doi":null,"url":null,"internal_url":null},{"position":4,"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":5,"raw":"[Fermé and Reis, 2012] Eduardo Fermé and Maurício D. L. Reis. System of spheres-based multiple contractions. Journal of Philosophical Logic, 41:29-52, 2012.","title":"System of spheres-based multiple contractions","authors":"Reis ; ] Fermé, Eduardo Fermé, D L Maurício, Reis","year":"2012","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Fermé and Reis, 2013] Eduardo Fermé and Maurício D. L. Reis. Epistemic entrenchment-based multiple contrac- tions. The Review of Symbolic Logic, 6:460-487, 9 2013.","title":"Epistemic entrenchment-based multiple contractions","authors":"Reis ; ] Fermé, Eduardo Fermé, D L Maurício, Reis","year":"2013","venue":"The Review of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Fuhrmann and Hansson, 1994] André Fuhrmann and Sven Ove Hansson. A survey of multiple contraction. Journal of Logic, Language and Information, 3:39-74, 1994.","title":"A survey of multiple contraction","authors":"Hansson Fuhrmann, André Fuhrmann, Sven Ove Hansson","year":"1994","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Grove, 1988] Adam Grove. Two modellings for theory change. Journal of Philosophical Logic, 17:157-170, 1988.","title":"Adam Grove. Two modellings for theory change","authors":"Grove","year":"1988","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Hansson, 1989] Sven Ove Hansson. New operators for the- ory change. Theoria, 55:114-132, 1989.","title":"New operators for theory change","authors":"Sven Ove Hansson, Hansson","year":"1989","venue":"Theoria","doi":null,"url":null,"internal_url":null},{"position":10,"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":11,"raw":"[Hansson, 1999] Sven Ove Hansson. A Textbook of Belief Dynamics. Theory Change and Database Updating, vol- ume 11 of Applied Logic Series. Kluwer Academic Pub- lishers, Dordrecht, 1999.","title":"A Textbook of Belief Dynamics","authors":"Sven Ove, Hansson","year":"1999","venue":"Theory Change and Database Updating","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Niederée, 1991] Reinhard Niederée. Multiple contraction: A further case against Gärdenfors' principle of recovery. In A. Fuhrmann and M. Morreau, editors, The Logic of Theory Change, pages 322-334, Berlin, 1991. Springer- Verlag.","title":"Multiple contraction: A further case against Gärdenfors' principle of recovery","authors":"Reinhard Niederée","year":"1991","venue":"The Logic of Theory Change","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Peppas, 2012] Pavlos Peppas. Comparative possibility in set contraction. Journal of Philosophical Logic, 41(1):53-75, 2012.","title":"Comparative possibility in set contraction","authors":"Pavlos Peppas","year":"2012","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Reis and Fermé, 2012] Maurício D. L. Reis and Eduardo Fermé. Possible worlds semantics for partial meet multi- ple contraction. Journal of Philosophical Logic, 41:7-28, 2012.","title":"Possible worlds semantics for partial meet multiple contraction","authors":"D L Maurício, Eduardo Reis, Fermé","year":"2012","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Reis et al., 2016a] Maurício D. L. Reis, Pavlos Peppas, and Eduardo Fermé. Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment- based) multiple contractions. Annals of Mathematics and Artificial Intelligence, 78:181-203, 12 2016.","title":"Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchmentbased) multiple contractions","authors":"Reis","year":"2016","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Reis et al., 2016b] Maurício D.L. Reis, Eduardo Fermé, and Pavlos Peppas. Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result. Artificial Intelligence, 233:122- 141, 2016.","title":"Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result","authors":"Reis","year":"2016","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Reis, 2011] Maurício D. L. Reis. On Theory Multiple Con- traction. PhD thesis, Universidade da Madeira, May 2011. http://hdl.handle.net/10400.13/255.","title":"On Theory Multiple Contraction","authors":"D L Maurício, Reis","year":"2011","venue":null,"doi":null,"url":"http://hdl.handle.net/10400.13/255","internal_url":null},{"position":18,"raw":"[Zhang and Foo, 2001] Dongmo Zhang and Norman Foo. Infinitary belief revision. Journal of Philosophical Logic, 30(6):525-570, December 2001.","title":"Dongmo Zhang and Norman Foo","authors":"Foo Zhang","year":"2001","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}