Artificial Intelligence
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
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
The description logic handbook
Handbook on Ontologies (International Handbooks on Information Systems)
Handbook on Ontologies (International Handbooks on Information Systems)
The Grid 2: Blueprint for a New Computing Infrastructure
The Grid 2: Blueprint for a New Computing Infrastructure
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Ontological Feedback in Multiagent Systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Intelligent Agents Meet the Semantic Web in Smart Spaces
IEEE Internet Computing
Belief revision for AgentSpeak agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
Declarative Agent Languages and Technologies VI
Belief Revision in a Fact-Rule Agent's Belief Base
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
On the formal semantics of speech-act based communication in an agent-oriented programming language
Journal of Artificial Intelligence Research
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Modularity and compositionality in Jason
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Virtual knowledge communities for semantic agents
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Description Logic Based BDI Implementation for Goal-Directed Semantic Agents
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Automating belief revision for agentspeak
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Semi-automatic construction of domain ontology for agent reasoning
Personal and Ubiquitous Computing
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services
Web Intelligence and Agent Systems
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services
Web Intelligence and Agent Systems
Hi-index | 0.00 |
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this vision is also affecting important trends in computer science such as grid-based and ubiquitous computing. In this paper, we formally define a version of the BDI agent-oriented programming language AgentSpeak based on description logic rather than predicate logic. In this approach, the belief base of an agent contains the definition of complex concepts, besides specific factual knowledge. We illustrate the approach using examples based on the well-known smart meeting-room scenario. The advantages of combining AgentSpeak with description logics are: (i) queries to the belief base are more expressive as their results do not rely only on explicit knowledge but can be inferred from the ontology; (ii) the notion of belief update is refined given that (ontological) consistency of a belief addition can be checked; (iii) retrieving a plan for handling an event is more flexible as it is not based solely on unification but on the subsumption relation between concepts; and (iv) agents may share knowledge by using ontology languages such as OWL. Extending agent programming languages with description logics can have a significant impact on the development of multi-agent systems for the semantic web.