Theories of intentions in the framework of situation calculus

Pilar Pozos Parra; Abhaya Nayak; Robert Demolombe

doi:10.1007/11493402_2

Theories of intentions in the framework of situation calculus

Pilar Pozos Parra^*, Abhaya Nayak, Robert Demolombe

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

7 Citations (Scopus)

Abstract

We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted to consider the new components. The intention theories take account of the BDI (Belief-Desire-Intention) architecture. In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative approach that introduces the notions of belief, goal and intention fluents together with their associated successor state axioms. Hence, under certain conditions, reasoning about the BDI change is computationally similar to reasoning about ordinary fluent change. This approach can be implemented using declarative programming.

Original language	English
Title of host publication	Declarative Agent Languages and Technologies II
Subtitle of host publication	Second InternationalWorkshop, DALT 2004 NewYork, NY, USA, July 19, 2004 Revised Selected Papers
Editors	João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
Place of Publication	Berlin; New York
Publisher	Springer, Springer Nature
Pages	19-34
Number of pages	16
Volume	3476 LNAI
ISBN (Print)	3540261729, 9783540261728
DOIs	https://doi.org/10.1007/11493402_2
Publication status	Published - Jul 2005
Event	2nd International Workshop on Declarative Agent Languages and Technologies II, DALT - 2004 - New York, United States Duration: 19 Jul 2004 → 19 Jul 2004

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3476 LNAI
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	2nd International Workshop on Declarative Agent Languages and Technologies II, DALT - 2004
Country/Territory	United States
City	New York
Period	19/07/04 → 19/07/04

Access to Document

10.1007/11493402_2

Cite this

Parra, P. P., Nayak, A., & Demolombe, R. (2005). Theories of intentions in the framework of situation calculus. In J. Leite, A. Omicini, P. Torroni, & P. Yolum (Eds.), Declarative Agent Languages and Technologies II: Second InternationalWorkshop, DALT 2004 NewYork, NY, USA, July 19, 2004 Revised Selected Papers (Vol. 3476 LNAI, pp. 19-34). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3476 LNAI). Springer, Springer Nature. https://doi.org/10.1007/11493402_2

Parra, Pilar Pozos ; Nayak, Abhaya ; Demolombe, Robert. / Theories of intentions in the framework of situation calculus. Declarative Agent Languages and Technologies II: Second InternationalWorkshop, DALT 2004 NewYork, NY, USA, July 19, 2004 Revised Selected Papers. editor / João Leite ; Andrea Omicini ; Paolo Torroni ; Pinar Yolum. Vol. 3476 LNAI Berlin; New York : Springer, Springer Nature, 2005. pp. 19-34 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{39f483bbdf814680b7007a491b711003,

title = "Theories of intentions in the framework of situation calculus",

abstract = "We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted to consider the new components. The intention theories take account of the BDI (Belief-Desire-Intention) architecture. In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative approach that introduces the notions of belief, goal and intention fluents together with their associated successor state axioms. Hence, under certain conditions, reasoning about the BDI change is computationally similar to reasoning about ordinary fluent change. This approach can be implemented using declarative programming.",

author = "Parra, {Pilar Pozos} and Abhaya Nayak and Robert Demolombe",

year = "2005",

month = jul,

doi = "10.1007/11493402_2",

language = "English",

isbn = "3540261729",

volume = "3476 LNAI",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "19--34",

editor = "Jo{\~a}o Leite and Andrea Omicini and Paolo Torroni and Pinar Yolum",

booktitle = "Declarative Agent Languages and Technologies II",

address = "United States",

note = "2nd International Workshop on Declarative Agent Languages and Technologies II, DALT - 2004 ; Conference date: 19-07-2004 Through 19-07-2004",

}

Parra, PP, Nayak, A & Demolombe, R 2005, Theories of intentions in the framework of situation calculus. in J Leite, A Omicini, P Torroni & P Yolum (eds), Declarative Agent Languages and Technologies II: Second InternationalWorkshop, DALT 2004 NewYork, NY, USA, July 19, 2004 Revised Selected Papers. vol. 3476 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3476 LNAI, Springer, Springer Nature, Berlin; New York, pp. 19-34, 2nd International Workshop on Declarative Agent Languages and Technologies II, DALT - 2004, New York, New York, United States, 19/07/04. https://doi.org/10.1007/11493402_2

Theories of intentions in the framework of situation calculus. / Parra, Pilar Pozos; Nayak, Abhaya; Demolombe, Robert.

Declarative Agent Languages and Technologies II: Second InternationalWorkshop, DALT 2004 NewYork, NY, USA, July 19, 2004 Revised Selected Papers. ed. / João Leite; Andrea Omicini; Paolo Torroni; Pinar Yolum. Vol. 3476 LNAI Berlin; New York : Springer, Springer Nature, 2005. p. 19-34 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3476 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Theories of intentions in the framework of situation calculus

AU - Parra, Pilar Pozos

AU - Nayak, Abhaya

AU - Demolombe, Robert

PY - 2005/7

Y1 - 2005/7

N2 - We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted to consider the new components. The intention theories take account of the BDI (Belief-Desire-Intention) architecture. In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative approach that introduces the notions of belief, goal and intention fluents together with their associated successor state axioms. Hence, under certain conditions, reasoning about the BDI change is computationally similar to reasoning about ordinary fluent change. This approach can be implemented using declarative programming.

AB - We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted to consider the new components. The intention theories take account of the BDI (Belief-Desire-Intention) architecture. In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative approach that introduces the notions of belief, goal and intention fluents together with their associated successor state axioms. Hence, under certain conditions, reasoning about the BDI change is computationally similar to reasoning about ordinary fluent change. This approach can be implemented using declarative programming.

UR - http://www.scopus.com/inward/record.url?scp=26844488276&partnerID=8YFLogxK

U2 - 10.1007/11493402_2

DO - 10.1007/11493402_2

M3 - Conference proceeding contribution

AN - SCOPUS:26844488276

SN - 3540261729

SN - 9783540261728

VL - 3476 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 19

EP - 34

BT - Declarative Agent Languages and Technologies II

A2 - Leite, João

A2 - Omicini, Andrea

A2 - Torroni, Paolo

A2 - Yolum, Pinar

PB - Springer, Springer Nature

CY - Berlin; New York

T2 - 2nd International Workshop on Declarative Agent Languages and Technologies II, DALT - 2004

Y2 - 19 July 2004 through 19 July 2004

ER -

Parra PP, Nayak A, Demolombe R. Theories of intentions in the framework of situation calculus. In Leite J, Omicini A, Torroni P, Yolum P, editors, Declarative Agent Languages and Technologies II: Second InternationalWorkshop, DALT 2004 NewYork, NY, USA, July 19, 2004 Revised Selected Papers. Vol. 3476 LNAI. Berlin; New York: Springer, Springer Nature. 2005. p. 19-34. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11493402_2

Theories of intentions in the framework of situation calculus

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Cite this