منابع مشابه
Gwendolen: A BDI Language for Verifiable Agents
We describe the Gwendolen BDI (Belief, Desires and Intentions) agent programming language. Gwendolen is implemented in the Agent Infrastructure Layer (AIL), a collection of Java classes intended for use in model checking agent programs in a variety of languages. The Gwendolen language was developed to test key features of the AIL and its integration with the model checker, JPF, and also to prov...
متن کاملBDI reasoning with normative considerations
Systems of autonomous and self-interested agents interacting to achieve individual and collective goals may exhibit undesirable or unexpected behaviour if left unconstrained. Norms have been widely proposed as a means of defining and enforcing societal constraints by using the deontic concepts of obligations, permissions and prohibitions to describe what must, may and should not be done, respec...
متن کاملReasoning about preferences in BDI agent systems
BDI agents often have to make decisions about which plan is used to achieve a goal, and in which order goals are to be achieved. In this paper we describe how to incorporate preferences (based on the LPP language) into the BDI execution model.
متن کاملReasoning about abductive inferences in BDI agents
The capability of a computational system to deal with unexpected, changing situations and limited perception of the environment is becoming more a more relevant, in oder to make systems flexible and more reliable. Multi-agent Systems offer a computing paradigm where properties such as autonomy, adaptability or flexibility are basic in the construction of agent-based solutions. However most of c...
متن کاملReasoning about constitutive norms in BDI agents
Software agents can be members of dierent institutions along their life; they might even belong to dierent institutions simultaneously. For these reasons, agents need capabilities that allow them to determine the repercussion that their actions would have within the dierent institutions. This association between the physical word, in which agents' interactions and actions take place, and the in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.319.9