A Compact Argumentation System for Agent System Specification

Authors:
Insu Song;Guido Governatori
Affiliations:
School of Information Technology & Electrical Engineering, The University of Queensland, Brisbane, QLD, 4072, Australia, e-mail: {insu,guido}@itee.uq.edu.au;School of Information Technology & Electrical Engineering, The University of Queensland, Brisbane, QLD, 4072, Australia, e-mail: {insu,guido}@itee.uq.edu.au
Venue:
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Year:
2006

Citing 16
Cited 1

Negation in logic programming

Journal of Logic Programming
Hierarchic autoepistemic theories for non-monotonic reasoning: preliminary report

Proceedings of the 2nd international workshop on Non-monotonic reasoning
An argumentation semantics for logic programming with explicit negation

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
An agent architecture for distributed medical care

ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning

Artificial Intelligence
A semantic decomposition of defeasible logics

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A System for Defeasible Argumentation, with Defeasible Priorities

FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Logic-based subsumption architecture

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
A logic programming framework for possibilistic argumentation with vague knowledge

UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
On the meta-logic of arguments

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Argumentation Semantics for Defeasible Logic

Journal of Logic and Computation
Designing agent chips

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Practical first-order argumentation

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2

Hardware implementation of temporal nonmonotonic logics

AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.