{"type":"ScholarlyArticle","title":"A Schema-Based Approach to Understanding Subjunctive Conditionals","authors":[{"name":"Wayne Wobcke","slug":"wayne-wobcke","given":"Wayne","family":"Wobcke","affiliation":"Dept. of Computer Science , University of Sydney , Sydney , 2006 , AUSTRALIA."}],"abstract":"We present an AI approach to subjunctive conditionals based on a possible-worlds version of situation semantics, arguing that the connection between the antecedent~ and consequent 'I' of a conditional 'ifwere the case, 'I' would be' is an informational relation between types of situations of the kind that can represented in a hierarchy. We present a sound and complete logic of conditionals based on Stalnaker's [1968] logic C2. We discuss methods of evaluating conditionals concerning object types and their properties using inheritance hierarchies, and those concerning actions and events using hierarchies of plans. In the latter case, we specify how to generate the hierarchy of situations from a collection of plan schemas. Our theory explains the traditional 'paradoxes' of conditionals (failure of strengthening the antecedent, failure of transitivity, failure of contraposition) as arising naturally from the fact that our hierarchies use defaults and exceptions.","doi":null,"url":"https://ijcai.org/proceedings/1989/233","pdf":"https://ijcai.org/proceedings/1989/0233.pdf","markdown":"https://ijcai.org/proceedings/1989/233.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/233","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Speech and Natural Language","track":"Speech and Natural Language","number":233,"pages":{"first":1461,"last":1465},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Barwise, J. [1985] 'The Situation in l..ogic-11: Conditionals and Conditional Information.' Technical Report CSLI- 85-21, Center for the Study of Language and Informa- tion, Stanford University.","title":"The Situation in l..ogic-11: Conditionals and Conditional Information","authors":"J Barwise","year":"1985","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Barwise, J. & Perry, J. [1983] Situations and Attitudes. MIT Press, Cambridge, MA.","title":"Situations and Attitudes","authors":"J Barwise, J Perry","year":"1983","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Ginsberg, M.L. [1986] 'Counterfactuals.' Artificial Intelli- gence, 30,35-79.","title":"Counterfactuals","authors":"M L Ginsberg","year":"1986","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Hanson, N.R. [1961] 'Causality.' in Beauchamp, T.L. (Ed.) [1974] Philosophical Problems of Causation. Dicken- son, Encino, CA.","title":"Causality","authors":"N R Hanson","year":"1961","venue":"Philosophical Problems of Causation","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Lewis, O.K. [1973] Counterfactuals. Blackwell, Oxford","title":"Counterfactuals","authors":"O K Lewis","year":"1973","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Mackie, J.L. [1965] 'Causes and Conditions.' in Sosa, E. (Ed.) [1975] Causation and Conditionals. Oxford University Press, Oxford.","title":"Causes and Conditions","authors":"J L Mackie","year":"1965","venue":"Causation and Conditionals","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Schank, R.C. & Abelson, R.P. [1977] Scripts, Plans, Goals and Understanding. Lawrence Erlbaum Associates, Hillsdale, NJ.","title":"Scripts, Plans, Goals and Understanding","authors":"R C Schank, R P Abelson","year":"1977","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Stalnaker, R.C. [1968] 'A Theory of Conditionals.' in Sosa, E. (Ed.) [1975] Causation and Conditionals. Oxford University Press, Oxford.","title":"A Theory of Conditionals","authors":"R C Stalnaker","year":"1968","venue":"Causation and Conditionals","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Stalnaker, R.C. & Thomason, R.H. [1970] 'A Semantic Analysis of Conditional Logic.' Theoria, 36, 23-42.","title":"A Semantic Analysis of Conditional Logic","authors":"R C Stalnaker, R H Thomason","year":"1970","venue":"Theoria","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"van Fraassen, B.C. (1966) 'Singular Terms, Truth-value Gaps, and Free Logic.' Journal of Philosophy, 63, 481- 495.","title":"Singular Terms, Truth-value Gaps, and Free Logic","authors":"B C Van Fraassen","year":"1966","venue":"Journal of Philosophy","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Wobcke, W.R. [1988a] 'A Theory of Conditionals in Situa- tion Semantics.' Technical Report CSCM-32, Centre for Cognitive Studies, University of Essex.","title":"A Theory of Conditionals in Situation Semantics","authors":"W R Wobcke","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Wobcke, W.R. [1988b] 'A Logical Theory of Plan Recogni- tion.' Proceedings AAAI-88 Workshop on Plan Recog- nition. (extended version appears as Technical Report CSCM-31, Centre for Cognitive Studies, University of Essex).","title":"A Logical Theory of Plan Recognition","authors":"W R Wobcke","year":"1988","venue":"Proceedings AAAI-88 Workshop on Plan Recognition","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Wobcke, W .R. [1988c] 'A Global Theory of Inheritance.' Proceedings ECA/-88, 214-219. (extended version appears as Technical Report CSCM-33, Centre for Cog- nitive Studies, University of Essex).","title":"A Global Theory of Inheritance","authors":"W R Wobcke","year":"1988","venue":"Proceedings ECA/-88","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}