REASONING ABOUT ACTION .2. THE QUALIFICATION PROBLEM

被引:41
作者
GINSBERG, ML
SMITH, DE
机构
关键词
D O I
10.1016/0004-3702(88)90020-3
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:311 / 342
页数:32
相关论文
共 16 条
[1]  
FAGIN R, 1983, 2ND P ACM S PRINC DA, P352
[2]   STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING [J].
FIKES, RE ;
NILSSON, NJ .
ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) :189-208
[3]  
FINGER J, 1987, THESIS STANFORD U ST
[4]   REASONING ABOUT ACTION .1. A POSSIBLE WORLDS APPROACH [J].
GINSBERG, ML ;
SMITH, DE .
ARTIFICIAL INTELLIGENCE, 1988, 35 (02) :165-195
[5]   COUNTERFACTUALS [J].
GINSBERG, ML .
ARTIFICIAL INTELLIGENCE, 1986, 30 (01) :35-79
[6]  
GINSBERG ML, UNPUB POSSIBLE WORLD
[7]  
GINSBERG ML, 1987, 1987 P WORKSH FRAM P
[8]  
GREEN CC, 1969, MACHINE INTELLIGENCE, V4, P183
[9]  
Lewis David, 1973, Counterfactuals
[10]  
LIFSCHITZ V, 1987, 1987 P WORKSH FRAM P