论文信息 - Using answer set programming to answer complex queries

Using answer set programming to answer complex queries

In this paper we discuss the applicability of the knowledge representation and reasoning language AnsProlog for the design and implementation of query answering systems. We consider a motivating example, and illustrate how AnsProlog can be used to represent defaults, causal relations, and other types of commonsense knowledge needed to properly answer non-trivial questions about the example’s domain.

[1] Yuliya Lierler,et al. Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs , 2004, LPNMR.

[2] John B. Lowe,et al. The Berkeley FrameNet Project , 1998, ACL.

[3] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[4] Raymond Reiter. On Closed World Data Bases , 1977, Logic and Data Bases.

[5] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[6] From Frames to Inference , 2002 .

[7] Hudson Turner,et al. Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[8] Gerald Pfeifer,et al. A Deductive System for Non-Monotonic Reasoning , 1997, LPNMR.

[9] Chitta Baral,et al. Reasoning agents in dynamic domains , 2000 .

[10] Daniel Gildea,et al. Automatic Labeling of Semantic Roles , 2000, ACL.

[11] Christiane Fellbaum,et al. Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.