Know - How for Motivated BDI Agents ( Extended

نویسندگان

  • Matthias Thimm
  • Patrick Krümpelmann
چکیده

The BDI model is well accepted as an architecture for representing and realizing rational agents. The beliefs in this model are focused on the representation of beliefs about the world and other agents and are widely independent from the agents intentions. We argue that also the representation of know-how, which captures the beliefs about actions and procedures, has to be taken into account when modeling rational agents. Using the notion of know-how as introduced by Singh we formalize and implement a concrete and usable agent architecture that supports and benefits from this representation of procedural beliefs in multiple ways. It also supports the representation of motivations that influence the agent’s behavior. We thus enable the agent to reason about its planning capabilities in the same way as it can reason about any other of its beliefs by extending a BDI-based agent architecture to allow the representation of procedural beliefs explicitly as part of the agent’s logical beliefs which again influences and enhances the agent’s behavior.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Belief operations for motivated BDI agents

The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other agents, or to adjust to changes in the environment, the agent has to carry out belief change operations while taking metalogical information on time and reliabilities into account. In this paper, we describe a framewo...

متن کامل

Know-how for motivated BDI agents

The BDI model is well accepted as an architecture for representing and realizing rational agents. The beliefs in this model are focused on the representation of beliefs about the world and other agents and are widely independent from the agents intentions. We argue that also the representation of know-how, which captures the beliefs about actions and procedures, has to be taken into account whe...

متن کامل

Practical Reasoning with Procedural Knowledge (A LOGIC OF BDI AGENTS WITH KNOW-HOW)

In this paper, we present a new logic for specifying the behaviour of multi-agent systems. In this logic, agents are viewed as BDI systems, in that their state is characterised in terms of beliefs, desires, and intentions: the semantics of the BDI component of the logic are based on the well-known system of Rao and Georgeff. In addition, agents have available to them a library of plans, represe...

متن کامل

An Extension of BDICTL with Functional Dependencies and Components

This paper discusses the formal specification of properties that determine the behavior of component based BDI agents, i.e. classical BDI agents in which the mental attitudes are conditional and represented by interconnected components. Some properties, such as realism and commitment strategies, have already been discussed in the BDI literature and can be formally specified by for example Rao a...

متن کامل

A Logic of Bdi Agents with Procedural Knowledge

In this paper, we present a new logic for specifying the behaviour of multi-agent systems. In this logic, agents are viewed as BDI systems, in that their state is characterised in terms of beliefs, desires, and intentions: the semantics of the BDI component of the logic are based on the wellknown system of Rao and Georgeff. In addition, agents have available to them a library of plans, represen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009