Logics of time and computation
Logics of time and computation
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Multi-agent reasoning with belief contexts: the approach and a case study
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Descriptive dynamic logic and its application to reflective architectures
Future Generation Computer Systems - Special double issue: reflection and meta-level AI architectures
On agent-based software engineering
Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Agent Specification Using Multi-context Systems
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Reasoning about Intentions in Uncertain Domains
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Artificial Intelligence
Hidden uncertainty in the logical representation of desires
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Bipolar possibilistic representations
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Introducing Grades in Deontic Logics
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Formal Modelling of Emotions in BDI Agents
Computational Logic in Multi-Agent Systems
Reasoning with Levels of Modalities in BDI Logic
Agent Computing and Multi-Agent Systems
Extending the BDI architecture with commitments
Proceedings of the 2006 conference on Artificial Intelligence Research and Development
Validation and Experimentation of a Tourism Recommender Agent based on a Graded BDI Model
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Coherence-driven argumentation to norm consensus
Proceedings of the 12th International Conference on Artificial Intelligence and Law
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
g-BDI: A Graded Intensional Agent Model for Practical Reasoning
MDAI '09 Proceedings of the 6th International Conference on Modeling Decisions for Artificial Intelligence
A coherence based framework for institutional agents
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Preferences and assumption-based argumentation for conflict-free normative agents
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
An integrated possibilistic framework for goal generation in cognitive agents
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A BDI architecture for normative decision making
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Belief-Goal Relationships in Possibilistic Goal Generation
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A graded BDI agent model to represent and reason about preferences
Artificial Intelligence
Moving Target Search Using Theory of Mind
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Goal generation from possibilistic beliefs based on trust and distrust
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Open issues for normative multi-agent systems
AI Communications
Graded BDI models for agent architectures based on Łukasiewicz logic and propositional dynamic logic
WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
A syntactic possibilistic belief change operator: Theory and empirical study
Web Intelligence and Agent Systems
Hi-index | 0.00 |
In the recent past, an increasing number of multiagent systems (MAS) have been designed and implemented to engineer complex distributed systems. Several previous works have proposed theories and architectures to give these systems a formal support. Among them, one of the most widely used is the BDI agent architecture presented by Rao and Georgeff. We consider that in order to apply agents in real domains, it is important for the formal models to incorporate a model to represent and reason under uncertainty. With that aim we introduce in this paper a general model for graded BDI agents, and an architecture, based on multi-context systems, able to model these graded mental attitudes. This architecture serves as a blueprint to design different kinds of particular agents. We illustrate the design process by formalising a simple travel assistant agent.