PROVABLY CORRECT THEORIES OF ACTION

被引：16

作者：

LIN, FZ ^{[1
]}

SHOHAM, Y ^{[1
]}

机构：

[1] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305

来源：

JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY | 1995年 / 42卷 / 02期

关键词：

CONCURRENT ACTIONS; THE FRAME PROBLEM; REASONING ABOUT ACTIONS; TEMPORAL REASONING;

D O I：

10.1145/201019.201021

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We investigate logical formalization of the effects of actions in the situation calculus. We propose a formal criterion against which to evaluate theories of deterministic actions. We show how the criterion provides us a formal foundation upon which to tackle the frame problem, as well as its variant in the context of concurrent actions. Our main technical contributions are in formulating a wide class of monotonic causal theories that satisfy the criterion, and showing that each such theory can be reformulated succinctly in circumscription.

引用

页码：293 / 320

页数：28

共 28 条

[1] NONMONOTONIC REASONING IN THE FRAMEWORK OF SITUATION CALCULUS [J].

BAKER, AB .

ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) :5-23

[2]

BAKER AB, 1989, 11TH P INT JOINT C A, P906

[3]

Clark K. L., 1978, Logic and data bases, P293

[4]

GELFOND M, 1991, SPR AAAI S LOG FORM, P59

[5]

GEORGEFF MP, 1986, 5TH P NAT C ART INT, P70

[6] NONMONOTONIC LOGIC AND TEMPORAL PROJECTION [J].

HANKS, S ;

MCDERMOTT, D .

ARTIFICIAL INTELLIGENCE, 1987, 33 (03) :379-412

[7]

HAUGH BA, 1987, 6TH P NAT C ART INT, P218

[8]

KAUTZ H, 1986, 5TH P NAT C ART INT

[9] MIRACLES IN FORMAL-THEORIES OF ACTION [J].

LIFSCHITZ, V ;

RABINOV, A .

ARTIFICIAL INTELLIGENCE, 1989, 38 (02) :225-237

[10] FRAMES IN THE SPACE OF SITUATIONS [J].

LIFSCHITZ, V .

ARTIFICIAL INTELLIGENCE, 1990, 46 (03) :365-376

← 1 2 3 →