Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A rational reconstruction of nonmonotonic truth maintenance systems (research note)
Artificial Intelligence
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Building problem solvers
AGENTS '97 Proceedings of the first international conference on Autonomous agents
ACM Computing Surveys (CSUR)
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
Argument-based applications to knowledge engineering
The Knowledge Engineering Review
Argumentation Machines: New Frontiers in Argument and Computation
Argumentation Machines: New Frontiers in Argument and Computation
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Argumentation-based negotiation
The Knowledge Engineering Review
A logic programming framework for possibilistic argumentation with vague knowledge
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Extending the BDI architecture with commitments
Proceedings of the 2006 conference on Artificial Intelligence Research and Development
Managing requirement volatility in an ontology-driven clinical LIMS using category theory
International Journal of Telemedicine and Applications - Special issue on electronic health
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
The Knowledge Engineering Review
Incremental biomedical ontology change management through learning agents
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
Dynamics of argumentation systems: A division-based method
Artificial Intelligence
A heuristics-based pruning technique for argumentation trees
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
t-DeLP: a temporal extension of the defeasible logic programming argumentative framework
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Partial semantics of argumentation
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An argument-based multi-agent system for information integration
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
An argumentation-based approach to cooperative multi-source epistemic conflict resolution
MATES'12 Proceedings of the 10th German conference on Multiagent System Technologies
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Using argument strength for building dialectical bonsai
Annals of Mathematics and Artificial Intelligence
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New perceptions modify this agent's current knowledge about the world, and consequently its beliefs about it also change. Such a revision and update process should be performed efficiently by the agent, particularly in the context of real-time constraints. In the last decade argumentation has evolved as a successful approach to formalize defeasible, commonsense reasoning, gaining wide acceptance in the MAS community by providing tools for designing and implementing features, which characterize reasoning capabilities in rational agents. In this paper we present a new argument-based formalism specifically designed for representing knowledge and beliefs of agents in dynamic environments, called Observation-based Defeasible Logic Programming (ODeLP). A simple but effective perception mechanism allows an ODeLP-based agent to model new incoming perceptions, and modify the agent's knowledge about the world accordingly. In addition, in order to improve the reactive capabilities of ODeLP-based agents, the process of computing beliefs in a changing environment is made computationally attractive by integrating a "dialectical database" with the agent's program, providing pre-compiled information about previous inferences. We present algorithms for managing dialectical databases as well as examples of their use in the context of real-world problems.