Rule-based agents in temporalised defeasible logic

Authors:
Guido Governatori;Vineet Padmanabhan;Antonino Rotolo
Affiliations:
School of ITEE, The University of Queensland, Australia;School of ITEE, The University of Queensland, Australia;CIRSFID, University of Bologna, Bologna, Italy
Venue:
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Year:
2006

Citing 9
Cited 5

AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Programming agent deliberation: an approach illustrated using the 3APL language

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Semantics of declarative goals in agent programming

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Temporalised normative positions in defeasible logic

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Norm Modifications in Defeasible Logic

Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Preferences of agents in defeasible logic

AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Programming cognitive agents in defeasible logic

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Variants of temporal defeasible logics for modelling norm modifications

Proceedings of the 11th international conference on Artificial intelligence and law
Contextual Agent Deliberation in Defeasible Logic

Agent Computing and Multi-Agent Systems
Temporal extensions to defeasible logic

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Characterising deadlines in temporal modal defeasible logic

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
A model of normative power

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper provides a framework based on temporal defeasible logic to reason about deliberative rule-based cognitive agents. Compared to previous works in this area our framework has the advantage that it can reason about temporal rules. We show that for rule-based cognitive agents deliberation is more than just deriving conclusions in terms of their mental components. Our paper is an extension of [5,6] in the area of cognitive agent programming.