Logical Formalizations of Commonsense Reasoning: A Survey

被引：32

作者：

Davis, Ernest ^{[1
]}

机构：

[1] NYU, Dept Comp Sci, 251 Mercer St, New York, NY 10012 USA

来源：

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | 2017年 / 59卷

关键词：

TEMPORAL LOGIC; FORM; COMMUNICATION; RAMIFICATION; KNOWLEDGE; ALGORITHM; CALCULUS; BELIEF;

D O I：

10.1613/jair.5339

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a very difficult one. One approach that has been pursued since the earliest days of the field has been to encode commonsense knowledge as statements in a logic-based representation language and to implement commonsense reasoning as some form of logical inference. This paper surveys the use of logic-based representations of commonsense knowledge in artificial intelligence research.

引用

页码：651 / 723

页数：73

共 221 条

[1]

Aiello M, 2007, HANDBOOK OF SPATIAL LOGICS, P1, DOI 10.1007/978-1-4020-5587-4

[2] ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].

ALCHOURRON, CE ;

GARDENFORS, P ;

MAKINSON, D .

JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530

[3]

Allen J., 1983, COMMUN ACM, V23, P123

[4] Alternating-time temporal logic [J].

Alur, R ;

Henzinger, TA ;

Kupferman, O .

JOURNAL OF THE ACM, 2002, 49 (05) :672-713

[5]

[Anonymous], 2004, D HILBERT AXIOMATIZA

[6]

[Anonymous], 1990, Representations of Commonsense Knowledge

[7]

[Anonymous], 1995, Reasoning About Knowledge

[8]

[Anonymous], 2015, AAAI 15

[9]

[Anonymous], 2004, Knowledge representation and reasoning

[10]

[Anonymous], 1972, UNDERSTANDING NATURA

← 1 2 3 4 5 6 7 8 9 10 →