Situation Calculus as Answer Set Programming

被引：0

作者：

Lee, Joohyung ^{[1
]}

Palla, Ravi ^{[1
]}

机构：

[1] Arizona State Univ, Sch Comp Informat & Decis Syst Engn, Tempe, AZ 85287 USA

来源：

PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10) | 2010年

基金：

美国国家科学基金会;

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We show how the situation calculus can be reformulated in terms of the first-order stable model semantics. A further transformation into answer set programs allows us to use an answer set solver to perform propositional reasoning about the situation calculus. We also provide an answer set programming style encoding method for Reiter's basic action theories, which tells us how the solution to the frame problem in answer set programming is related to the solution in the situation calculus.

引用

页码：309 / 314

页数：6

共 50 条

[1] Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Lee, Joohyung
Palla, Ravi
[J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2012, 43 : 571 - 620
[2] Circumscriptive Event Calculus as Answer Set Programming
Kim, Tae-Won
Lee, Joohyung
Palla, Ravi
[J]. 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 823 - 829
[3] Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
Katzouris, Nikos
Paliouras, Georgios
Artikis, Alexander
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023, 23 (02) : 362 - 386
[4] A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Baryannis, George
Tachmazidis, Ilias
Batsakis, Sotiris
Antoniou, Grigoris
Alviano, Mario
Sellis, Timos
Tsai, Pei-Wei
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (3-4) : 355 - 371
[5] An answer set programming-based implementation of epistemic probabilistic event calculus
D'Asaro, Fabio Aurelio
Bikakis, Antonis
Dickens, Luke
Miller, Rob
[J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2024, 165
[6] Answer Set Programming
Marek, Victor W.
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 432 - 434
[7] Answer Set Programming
Schaub, Torsten
[J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
[8] Answer Set Programming
Janhunen, Tomi
[J]. KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 125 - 131
[9] Answer Sets and the Language of Answer Set Programming
Lifschitz, Vladimir
[J]. AI MAGAZINE, 2016, 37 (03) : 7 - 11
[10] Hybrid Answer Set Programming
Brik, Alex
Remmel, Jeffrey
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (01) : 134 - 163

← 1 2 3 4 5 →