Action Models for Conditionals

被引:1
作者
Lent, Jeremy [1 ]
Thomason, Richmond H. [1 ]
机构
[1] Univ Michigan, Dept Philosophy, Ann Arbor, MI 48109 USA
关键词
Conditionals; Actions; Frame problem; Causality; LOGIC;
D O I
10.1007/s10849-015-9213-8
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Possible worlds semantics for conditionals leave open the problem of how to construct models for realistic domains. In this paper, we show how to adapt logics of action and change such as John McCarthy's Situation Calculus to conditional logics. We illustrate the idea by presenting models for conditionals whose antecedents combine a declarative condition with a hypothetical action.
引用
收藏
页码:211 / 231
页数:21
相关论文
共 26 条
  • [1] Representing the Zoo World and the Traffic World in the language of the causal calculator
    Akman, V
    Erdogan, ST
    Lee, J
    Lifschitz, V
    Turner, H
    [J]. ARTIFICIAL INTELLIGENCE, 2004, 153 (1-2) : 105 - 140
  • [2] [Anonymous], 1981, Readings in artificial intelligence
  • [3] Barwise K. J., 1986, ON CONDITIONALS, P21
  • [4] Bobzien S., 2012, STANFORD ENCY PHILOS
  • [5] Carnap R., 1936, Philosophy of Science, V3, P419, DOI DOI 10.1086/286432
  • [6] Carnap Rudolf., 1937, Philosophy of Science, V3, P1
  • [7] Davis E., 1991, REPRESENTATIONS COMM
  • [8] FINE K, 1975, MIND, V84, P451
  • [9] Lifelong planning A
    Koenig, S
    Likhachev, M
    Furcy, D
    [J]. ARTIFICIAL INTELLIGENCE, 2004, 155 (1-2) : 93 - 146
  • [10] Goodman N., 1955, FACT FICTION FORECAS