REASONING ABOUT PARTIALLY ORDERED EVENTS

被引:47
作者
DEAN, T
BODDY, M
机构
[1] Brown Univ, Providence, RI, USA, Brown Univ, Providence, RI, USA
关键词
The basic reasoning task we are concerned with can be stated as follows: starting with general knowledge about the cause-and-effect relationships of a given domain; and specific knowledge about a particular set of circumstances; infer what is true over certain intervals of time. The task involving events *This paper won the best paper award in the subfield Automated Reasoning and Planning at AAAI-87. **This work was supported in part by the National Science Foundation under grant IRI-8612644 and by an IBM faculty development award;
D O I
10.1016/0004-3702(88)90087-2
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:375 / 399
页数:25
相关论文
共 12 条
[1]  
ABITEBOUL S, 1987, CS8703 BROWN U DEP C
[2]   PLANNING FOR CONJUNCTIVE GOALS [J].
CHAPMAN, D .
ARTIFICIAL INTELLIGENCE, 1987, 32 (03) :333-377
[3]  
DEAN T, 1987, CS871 BROWN U DEP CO
[4]   TEMPORAL DATABASE-MANAGEMENT [J].
DEAN, TL ;
MCDERMOTT, DV .
ARTIFICIAL INTELLIGENCE, 1987, 32 (01) :1-55
[5]   STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING [J].
FIKES, RE ;
NILSSON, NJ .
ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) :189-208
[6]  
GAREY M, 1979, COMPUTING INTRACTABI
[7]  
LIFSCHITZ V, 1987, 1986 WORKSH REAS ACT, P1
[8]  
REITER R, 1983, 8311 U BRIT COL TECH
[9]  
SACERDOTI ED, 1977, STRUCTURE PLANS BEHA
[10]  
Shoham Yoav, 1988, REASONING CHANGE TIM