Goal change in the situation calculus

被引：3

作者：

Shapiro, Steven ^{[1
]}

Lesperance, Yves

Levesque, Hector J.

机构：

[1] Univ Toronto, Dept Mech & Ind Engn, Toronto, ON M5S 3G8, Canada

[2] York Univ, Dept Comp Sci & Engn, N York, ON M3J 1P3, Canada

[3] Univ Toronto, Dept Comp Sci, Toronto, ON M5S 3G4, Canada

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2007年 / 17卷 / 05期

关键词：

belief change; goal change; theories of action; situation calculus;

D O I：

10.1093/logcom/exm050

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Although there has been much discussion of belief change (e.g. [4, 21]), goal change has not received much attention. In this paper, we propose a method for goal change in the framework of Reiters; [12] theory of action in the situation calculus [8, 10], and investigate its properties. We extend the framework developed by Shapiro et al. [17] and Shapiro and Lesprance [16], where goals and goal expansion were modelled, but goal contraction was not.

引用

页码：983 / 1018

页数：36

共 50 条

[1] Iterated belief change in the situation calculus
Shapiro, Steven
Pagnucco, Maurice
Lesperance, Yves
Levesque, Hector J.
[J]. ARTIFICIAL INTELLIGENCE, 2011, 175 (01) : 165 - 192
[2] Implementing Belief Change in the Situation Calculus and an Application
Pagnucco, Maurice
Rajaratnam, David
Strass, Hannes
Thielscher, Michael
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 439 - 451
[3] Obligation change in dependence logic and situation calculus
Demolombe, R
Herzig, A
[J]. DEONTIC LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, 3065 : 57 - 73
[4] From belief change to obligation change in the Situation Calculus.
Demolombe, R
[J]. ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 991 - 992
[5] Iterated belief change and exogenous actions in the situation calculus
Shapiro, S
Pagnucco, M
[J]. ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 878 - 882
[6] Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus
Klassen, Toryn Q.
McIlraith, Sheila A.
Levesque, Hector J.
[J]. SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 257 - 266
[7] Reconciling the event calculus with the situation calculus
Kowalski, R
Sadri, F
[J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 39 - 58
[8] Inductive situation calculus
Denecker, Marc
Ternovska, Eugenia
[J]. ARTIFICIAL INTELLIGENCE, 2007, 171 (5-6) : 332 - 360
[9] Probabilistic situation calculus
Mateus, P
Pacheco, A
Pinto, J
Sernadas, A
Sernadas, C
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2001, 32 (1-4) : 393 - 431
[10] Probabilistic Situation Calculus
Paulo Mateus
António Pacheco
Javier Pinto
Amílcar Sernadas
Cristina Sernadas
[J]. Annals of Mathematics and Artificial Intelligence, 2001, 32 : 393 - 431

← 1 2 3 4 5 →