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 条

[11]

Lifschitz V., 1986, Proceedings AAAI-86: Fifth National Conference on Artificial Intelligence, P406

[12]

LIFSCHITZ V, 1985, 9TH P INT JOINT C AR

[13]

LIFSCHITZ V, 1987, READINGS NONMONOTONI, P337

[14]

LIFSCHITZ V, 1991, 2ND P INT C PRINC KN, P376

[15]

Lifschitz Vladimir, 1987, P IJCAI 87 MILAN, P966

[16]

LOUI R, 1987, GOGN SCI, V11

[17] APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMONSENSE KNOWLEDGE [J].

MCCARTHY, J .

ARTIFICIAL INTELLIGENCE, 1986, 28 (01) :89-116

[18]

McCarthy John, 1969, MACH INTELL, V4, P463, DOI DOI 10.1016/B978-0-934613-03-3.50033-7

[19]

MORGENSTERN L, 1988, P AAAI 88, P518

[20]

PEDNAULT EPD, 1989, 1ST P INT C PRINC KN, P324

← 1 2 3 →