{"type":"ScholarlyArticle","title":"Preference-Based Semantics for Nonmonotonic Logics","authors":[{"name":"Frans Voorbraak","slug":"frans-voorbraak","given":"Frans","family":"Voorbraak","affiliation":"Department of Philosophy Utrecht University P.O. Box 80126 3508 TC Utrecht The Netherlands"}],"abstract":"A variant is proposed of the preference-based semantics for nonmonotonic logics that was originally considered by Shoham [1987; 1988]. In this variant it is not assumed that preferences between standard models are aggregated into one preference order. This allows the capturing of all main nonmonotonic formalisms, including Default Logic of Reiter [1980]. The preferential models introduced in this paper are motivated from an epistemic point of view, and are therefore called epistemic preference models. The consequence operations induced by epistemic preference models are characterized. Further, the view is defended that the rationality of cumulative monotonicity does not imply that nonmonotonic logics have to be cumulative, but only that a rational agent should not believe a set of default rules that induces a noncumulative consequence operation.","doi":null,"url":"https://ijcai.org/proceedings/1993/82","pdf":"https://ijcai.org/proceedings/1993/0082.pdf","markdown":"https://ijcai.org/proceedings/1993/82.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/82","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":82,"pages":{"first":584,"last":590},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Besnard, 1989] P. Besnard, An Introduction to Default Logic Springer, Berlin, 1989.","title":"An Introduction to Default Logic Springer","authors":"P Besnard","year":"1989","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Brewka, 1990] G. Brewka, Cumulative Default Logic: in defense of nonmonotonic inference rules. Artificial Intelligence 50:183-205, 1990.","title":"Cumulative Default Logic: in defense of nonmonotonic inference rules","authors":"G Brewka","year":"1990","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Dix and Makinson, 1992] J. Dix and D. Makinson, The relationship between KLM and MAK models for nonmonotonic inference operations, Journal of Logic, Language and Information 1:131-140,1992.","title":"The relationship between KLM and MAK models for nonmonotonic inference operations","authors":"J Dix, D Makinson","year":"1992","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Etherington, 1988] D. Etherington, Reasoning with Incomplete Information. Pitman, London, 1988.","title":"Reasoning with Incomplete Information","authors":"D Etherington","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Gabbay, 1985] D. Gabbay, Theoretical foundations for non- monotonic reasoning in expert systems. In Logics and Models of Concurrent Systems, pages 439-457, K.R. Apt (ed.), Springer, Berlin, 1985.","title":"Theoretical foundations for nonmonotonic reasoning in expert systems","authors":"D Gabbay","year":"1985","venue":"Logics and Models of Concurrent Systems","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Gardenfors, 1988] P. Gardenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge Mass., 1988. Halpern and Moses, 1985]","title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","authors":"P Gardenfors","year":"1985","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Y. Halpern and Y. Moses, Towards a theory of knowledge and ignorance: preliminary report. In Logics and Models of Concurrent Systems, pages 459-476, K.R. Apt (ed.), Springer, Berlin, 1985.","title":"Towards a theory of knowledge and ignorance: preliminary report","authors":"Y Halpern, Y Moses","year":"1985","venue":"Logics and Models of Concurrent Systems","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Kraus eta/., 1990] S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logic. Artificial Intelligence 44 :167-207, 1990.","title":"Nonmonotonic reasoning, preferential models and cumulative logic","authors":"S Kraus, D Lehmann, M Magidor","year":"1990","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Levesque, 1990] H.J. Levesque, All I know: A study in autoepistemic logic. Artificial Intelligence 42:263-309, 1990.","title":"All I know: A study in autoepistemic logic","authors":"H J Levesque","year":"1990","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Lin and Shoham, 1992] F. Lin andY. Shoham, A logic of knowledge and justified assumptions. Artificial Intelligence 57:271-289, 1992.","title":"A logic of knowledge and justified assumptions","authors":"F, Lin Andy Shoham","year":"1992","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Makinson, 1989] D. Makinson, General Theory of Cumulative Inference. In Non-Monotonic Reasoning, pages 1-18, M. Reinfrank eta/. (eds.). Springer, Berlin, 1989.","title":"General Theory of Cumulative Inference","authors":"D Makinson","year":"1989","venue":"Non-Monotonic Reasoning","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[McCarthy, 1980] J. McCarthy, Circumscription-a form of nonmonotonic reasoning. Artificial Intelligence 13:27-39, 1980.","title":"Circumscription-a form of nonmonotonic reasoning","authors":"J Mccarthy","year":"1980","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[McDermott, 1982] D. McDermott, Nonmonotonic logic II: nonmonotonic modal theories. Journal of the ACM 29:33-57, 1982","title":"Nonmonotonic logic II: nonmonotonic modal theories","authors":"D Mcdermott","year":"1982","venue":"Journal of the ACM","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Reiter, 1980] R. Reiter, A logic for default reasoning . Artificial Intelligence 13:81-132, 1980.","title":"A logic for default reasoning","authors":"R Reiter","year":"1980","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Savage, 1972] L.J. Savage, The Foundations of Statistics Dover, New York, 1972 (2nd ed.; 1st ed. John Wiley, 1954)","title":"The Foundations of Statistics Dover","authors":"L J Savage","year":"1954","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Shoham, 1987] Y . Shoham, A semantical approach to nonmonotonic logics, in: M. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos CA, 1987) 227-250.","title":"A semantical approach to nonmonotonic logics","authors":"Y Shoham","year":"1987","venue":"Readings in Nonmonotonic Reasoning","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Shoham, 1988] Y. Shoham, Reasoning about Change . MIT Press, Cambridge MA, 1988.","title":"Reasoning about Change","authors":"Y Shoham","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Shvarts, 1990] G. Shvarts, Autoepistemic modal logic. In Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Fourth Conference,, pages 97-109, R. Parikh (ed.), San Mateo CA, Morgan Kaufmann.","title":"Autoepistemic modal logic","authors":"G Shvarts","year":null,"venue":"Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Fourth Conference","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Voorbraak, 1991] F. Voorbraak, A preferential model semantics for default logic. In Symbolic and Quantitative Approaches to Uncertainty, pages 344-351, R. Kruse and P. Siegel (eds.), Springer, Berlin, 1991.","title":"A preferential model semantics for default logic","authors":"F Voorbraak","year":"1991","venue":"Symbolic and Quantitative Approaches to Uncertainty","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Voorbraak, 1992] F. V oorbraak, Generalized Kripke models for epistemic logic. In Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Fourth Conference, pages 214-228, Y. Moses (ed.), Morgan Kaufmann, San Mateo CA ,1992 [Voorbraak, 1993]","title":"Generalized Kripke models for epistemic logic","authors":"F V Oorbraak","year":"1992","venue":"Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Fourth Conference","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"F. Voorbraak,Preference-based semantics for nonmonotonic logics. Logic Group Preprint Series, Dept. of Philosophy, Utrecht University.","title":"Preference-based semantics for nonmonotonic logics","authors":"F Voorbraak","year":null,"venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}