On the Implementation of Global Abduction

Henning Christiansen

doi:10.1007/978-3-540-69619-3_13

On the Implementation of Global Abduction

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Abstract

Global Abduction (GA) is a recently proposed logical formalism for agent oriented programming which allows an agent to collect information about the world and update this in a nonmonotonic way when changes in the world are observed. A distinct feature of Global Abduction is that in case the agent needs to give up one plan, it may start a new one, or continue a suspended plan, while its beliefs learned about the world in the failed attempts persist. This paper describes an implementation of GA in the high-level language of Constraint Handling Rules (CHR). It appears to be a first attempt to a full implementation of GA, which also confirms CHR as a powerful meta-programming language for advanced reasoning. The construction gives rise to discussing important issues of the semantics and pragmatics of Global Abduction, leading to proposal for a specific procedural semantics and architecture that seem well-suited for real-time application.

Originalsprog	Engelsk
Titel	Computational logic in Multi-Agent Systems : 7th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-VIIHakodate, japan, May 2006Revised Selected and Invited papers
Redaktører	Katsumi Inoue, Ken Satoh, Francesca Toni
Antal sider	16
Vol/bind	4371
Forlag	Kluwer Academic Publishers
Publikationsdato	2007
Sider	226-245
DOI	https://doi.org/10.1007/978-3-540-69619-3_13
Status	Udgivet - 2007
Begivenhed	Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII) - Hakodate, Japan Varighed: 8 maj 2006 → 9 maj 2006 Konferencens nummer: 7

Konference

Konference	Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII)
Nummer	7
Land/Område	Japan
By	Hakodate
Periode	08/05/2006 → 09/05/2006

Navn	Lecture Notes in Computer Science
Vol/bind	4371
ISSN	0302-9743

Link til dokument

10.1007/978-3-540-69619-3_13

Citer dette

Christiansen, H. (2007). On the Implementation of Global Abduction. I K. Inoue, K. Satoh, & F. Toni (red.), Computational logic in Multi-Agent Systems: 7th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-VIIHakodate, japan, May 2006Revised Selected and Invited papers (Bind 4371, s. 226-245). Kluwer Academic Publishers. https://doi.org/10.1007/978-3-540-69619-3_13

Christiansen, Henning. / On the Implementation of Global Abduction. Computational logic in Multi-Agent Systems: 7th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-VIIHakodate, japan, May 2006Revised Selected and Invited papers. red. / Katsumi Inoue ; Ken Satoh ; Francesca Toni. Bind 4371 Kluwer Academic Publishers, 2007. s. 226-245 (Lecture Notes in Computer Science, Bind 4371).

@inproceedings{3919aba0b77211db974c000ea68e967b,

title = "On the Implementation of Global Abduction",

abstract = "Global Abduction (GA) is a recently proposed logical formalism for agent oriented programming which allows an agent to collect information about the world and update this in a nonmonotonic way when changes in the world are observed. A distinct feature of Global Abduction is that in case the agent needs to give up one plan, it may start a new one, or continue a suspended plan, while its beliefs learned about the world in the failed attempts persist. This paper describes an implementation of GA in the high-level language of Constraint Handling Rules (CHR). It appears to be a first attempt to a full implementation of GA, which also confirms CHR as a powerful meta-programming language for advanced reasoning. The construction gives rise to discussing important issues of the semantics and pragmatics of Global Abduction, leading to proposal for a specific procedural semantics and architecture that seem well-suited for real-time application.",

keywords = "multi-agent systems, abduction, Constraint Handling Rules",

author = "Henning Christiansen",

year = "2007",

doi = "10.1007/978-3-540-69619-3_13",

language = "English",

volume = "4371",

series = "Lecture Notes in Computer Science",

publisher = "Kluwer Academic Publishers",

pages = "226--245",

editor = "Katsumi Inoue and Ken Satoh and Francesca Toni",

booktitle = "Computational logic in Multi-Agent Systems",

note = "Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII) ; Conference date: 08-05-2006 Through 09-05-2006",

}

Christiansen, H 2007, On the Implementation of Global Abduction. i K Inoue, K Satoh & F Toni (red), Computational logic in Multi-Agent Systems: 7th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-VIIHakodate, japan, May 2006Revised Selected and Invited papers. bind 4371, Kluwer Academic Publishers, Lecture Notes in Computer Science, bind 4371, s. 226-245, Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII), Hakodate, Japan, 08/05/2006. https://doi.org/10.1007/978-3-540-69619-3_13

On the Implementation of Global Abduction. / Christiansen, Henning.
Computational logic in Multi-Agent Systems: 7th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-VIIHakodate, japan, May 2006Revised Selected and Invited papers. red. / Katsumi Inoue; Ken Satoh; Francesca Toni. Bind 4371 Kluwer Academic Publishers, 2007. s. 226-245 (Lecture Notes in Computer Science, Bind 4371).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - On the Implementation of Global Abduction

AU - Christiansen, Henning

N1 - Conference code: 7

PY - 2007

Y1 - 2007

N2 - Global Abduction (GA) is a recently proposed logical formalism for agent oriented programming which allows an agent to collect information about the world and update this in a nonmonotonic way when changes in the world are observed. A distinct feature of Global Abduction is that in case the agent needs to give up one plan, it may start a new one, or continue a suspended plan, while its beliefs learned about the world in the failed attempts persist. This paper describes an implementation of GA in the high-level language of Constraint Handling Rules (CHR). It appears to be a first attempt to a full implementation of GA, which also confirms CHR as a powerful meta-programming language for advanced reasoning. The construction gives rise to discussing important issues of the semantics and pragmatics of Global Abduction, leading to proposal for a specific procedural semantics and architecture that seem well-suited for real-time application.

AB - Global Abduction (GA) is a recently proposed logical formalism for agent oriented programming which allows an agent to collect information about the world and update this in a nonmonotonic way when changes in the world are observed. A distinct feature of Global Abduction is that in case the agent needs to give up one plan, it may start a new one, or continue a suspended plan, while its beliefs learned about the world in the failed attempts persist. This paper describes an implementation of GA in the high-level language of Constraint Handling Rules (CHR). It appears to be a first attempt to a full implementation of GA, which also confirms CHR as a powerful meta-programming language for advanced reasoning. The construction gives rise to discussing important issues of the semantics and pragmatics of Global Abduction, leading to proposal for a specific procedural semantics and architecture that seem well-suited for real-time application.

KW - multi-agent systems

KW - abduction

KW - Constraint Handling Rules

U2 - 10.1007/978-3-540-69619-3_13

DO - 10.1007/978-3-540-69619-3_13

M3 - Article in proceedings

VL - 4371

T3 - Lecture Notes in Computer Science

SP - 226

EP - 245

BT - Computational logic in Multi-Agent Systems

A2 - Inoue, Katsumi

A2 - Satoh, Ken

A2 - Toni, Francesca

PB - Kluwer Academic Publishers

T2 - Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII)

Y2 - 8 May 2006 through 9 May 2006

ER -

Christiansen H. On the Implementation of Global Abduction. I Inoue K, Satoh K, Toni F, red., Computational logic in Multi-Agent Systems: 7th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-VIIHakodate, japan, May 2006Revised Selected and Invited papers. Bind 4371. Kluwer Academic Publishers. 2007. s. 226-245. (Lecture Notes in Computer Science, Bind 4371). doi: 10.1007/978-3-540-69619-3_13