Picking up the best goal: an analytical study in defeasible logic

Authors:
Guido Governatori;Francesco Olivieri;Antonino Rotolo;Simone Scannapieco;Matteo Cristani
Affiliations:
Queensland Research Laboratory, NICTA, Australia,Institute for Integrated and Intelligent Systems, Griffith University, Australia;Queensland Research Laboratory, NICTA, Australia,Department of Computer Science, University of Verona, Italy,Institute for Integrated and Intelligent Systems, Griffith University, Australia;CIRSFID and DSG, University of Bologna, Italy;Queensland Research Laboratory, NICTA, Australia,Department of Computer Science, University of Verona, Italy,Institute for Integrated and Intelligent Systems, Griffith University, Australia;Department of Computer Science, University of Verona, Italy
Venue:
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Year:
2013

Citing 11
Cited 0

Intention is choice with commitment

Artificial Intelligence
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
Propositional defeasible logic has linear complexity

Theory and Practice of Logic Programming
Goal types in agent programming

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
BIO logical agents: Norms, beliefs, intentions in defeasible logic

Autonomous Agents and Multi-Agent Systems
Goals in conflict: semantic foundations of goals in agent programming

Autonomous Agents and Multi-Agent Systems
The Making of SPINdle

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
What are the necessity rules in defeasible reasoning?

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Programming cognitive agents in defeasible logic

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Reasoning and proofing services for semantic web agents

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Revising conflicting intention sets in BDI agents

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we analyse different notions of the concept of goal starting from the idea of sequences of "alternative acceptable outcomes". We study the relationships between goals and concepts like agent's beliefs, norms, and desires, and we propose a formalisation using Defeasible Logic that will be able to provide a computationally feasible approach. The resulting system captures various nuances of the notion of goal against different normative domains, for which the right decision is not only context-dependent, but it must be chosen from a pool of alternatives as wide as possible.