A Compact Argumentation System for Agent System Specification

Insu Song; Guido Governatori

A Compact Argumentation System for Agent System Specification

Insu Song, Guido Governatori

Artificial Intelligence and Cyber Futures Institute

University of Queensland

Research output: Book chapter/Published conference paper › Conference paper › peer-review

Abstract

We present a non-monotonic logic tailored for specifying compact autonomous agent systems. The language is a consistent instantiation of a logic based argumentation system extended with Brooks' subsumption concept and varying degree of belief. Particulary, we present a practical implementation of the language by developing a meta-encoding method that translates logical specifications into compact general logic programs. The language allows n-ary predicate literals with the usual first-order term definitions. We show that the space complexity of the resulting general logic program is linear to the size of the original theory.

Original language	English
Title of host publication	STAIRS 2006 - Proceedings of the 3rd Starting AI Researchers' Symposium
Editors	Loris Penserini, Pavlos Peppas, Anna Perini
Publisher	IOS Press BV
Pages	26-37
Number of pages	12
ISBN (Electronic)	1586036459, 9781586036454
Publication status	Published - 2006
Event	3rd European Starting AI Researchers Symposium, STAIRS 2006 - Trento, Italy Duration: 23 May 2006 → …

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	142
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	3rd European Starting AI Researchers Symposium, STAIRS 2006
Country/Territory	Italy
City	Trento
Period	23/05/06 → …

Cite this

@inproceedings{06706ad4061747e9b274b2556ac2cac7,

title = "A Compact Argumentation System for Agent System Specification",

abstract = "We present a non-monotonic logic tailored for specifying compact autonomous agent systems. The language is a consistent instantiation of a logic based argumentation system extended with Brooks' subsumption concept and varying degree of belief. Particulary, we present a practical implementation of the language by developing a meta-encoding method that translates logical specifications into compact general logic programs. The language allows n-ary predicate literals with the usual first-order term definitions. We show that the space complexity of the resulting general logic program is linear to the size of the original theory.",

keywords = "Agent, Argumentation, Automated Reasoning",

author = "Insu Song and Guido Governatori",

year = "2006",

language = "English",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press BV",

pages = "26--37",

editor = "Loris Penserini and Pavlos Peppas and Anna Perini",

booktitle = "STAIRS 2006 - Proceedings of the 3rd Starting AI Researchers' Symposium",

address = "Netherlands",

}

Song, I & Governatori, G 2006, A Compact Argumentation System for Agent System Specification. in L Penserini, P Peppas & A Perini (eds), STAIRS 2006 - Proceedings of the 3rd Starting AI Researchers' Symposium. Frontiers in Artificial Intelligence and Applications, vol. 142, IOS Press BV, pp. 26-37, 3rd European Starting AI Researchers Symposium, STAIRS 2006, Trento, Italy, 23/05/06.

A Compact Argumentation System for Agent System Specification. / Song, Insu; Governatori, Guido.
STAIRS 2006 - Proceedings of the 3rd Starting AI Researchers' Symposium. ed. / Loris Penserini; Pavlos Peppas; Anna Perini. IOS Press BV, 2006. p. 26-37 (Frontiers in Artificial Intelligence and Applications; Vol. 142).

Research output: Book chapter/Published conference paper › Conference paper › peer-review

TY - GEN

T1 - A Compact Argumentation System for Agent System Specification

AU - Song, Insu

AU - Governatori, Guido

PY - 2006

Y1 - 2006

N2 - We present a non-monotonic logic tailored for specifying compact autonomous agent systems. The language is a consistent instantiation of a logic based argumentation system extended with Brooks' subsumption concept and varying degree of belief. Particulary, we present a practical implementation of the language by developing a meta-encoding method that translates logical specifications into compact general logic programs. The language allows n-ary predicate literals with the usual first-order term definitions. We show that the space complexity of the resulting general logic program is linear to the size of the original theory.

AB - We present a non-monotonic logic tailored for specifying compact autonomous agent systems. The language is a consistent instantiation of a logic based argumentation system extended with Brooks' subsumption concept and varying degree of belief. Particulary, we present a practical implementation of the language by developing a meta-encoding method that translates logical specifications into compact general logic programs. The language allows n-ary predicate literals with the usual first-order term definitions. We show that the space complexity of the resulting general logic program is linear to the size of the original theory.

KW - Agent

KW - Argumentation

KW - Automated Reasoning

UR - https://www.scopus.com/pages/publications/85139010018

UR - https://www.scopus.com/inward/citedby.url?scp=85139010018&partnerID=8YFLogxK

M3 - Conference paper

AN - SCOPUS:85139010018

T3 - Frontiers in Artificial Intelligence and Applications

SP - 26

EP - 37

BT - STAIRS 2006 - Proceedings of the 3rd Starting AI Researchers' Symposium

A2 - Penserini, Loris

A2 - Peppas, Pavlos

A2 - Perini, Anna

PB - IOS Press BV

T2 - 3rd European Starting AI Researchers Symposium, STAIRS 2006

Y2 - 23 May 2006

ER -

A Compact Argumentation System for Agent System Specification

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this