Actions Made Explicit in BDI

The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exists which support this architecture and the recent version is that of capability being added as an additional construct. In all these models the concept of action is seen in an endogenous manner. We argue that the result of an action performed by an agent is extremely important when dealing with composite actions and hence the need for an explicit representation of them. The capability factor is supported using a RES construct and it is shown how the components of a composite action is supported using these two. Further, we introduce an OPP (opportunity) operator which in alliance with result and capability provides a better semantics for practical reasoning in BDI

On Fibring Semantics for BDI Logics

This study examines BDI logics in the context of Gabbay's fibring semantics. We show that dovetailing (a special form of fibring) can be adopted as a semantic methodology to combine BDI logics. We develop a set of interaction axioms that can capture static as well as dynamic aspects of the mental states in BDI systems, using Catach's incestual schema G^[a, b, c, d]. Further we exemplify the constraints required on fibring function to capture the semantics of interactions among modalities. The advantages of having a fibred approach is discussed in the final section

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks

Defeasible Logic: Agency, Intention and Obligation

We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic

Hybrid Agents Based Architecture on Automated Dynamic Environments

This paper presents a hybrid agents based architecture that uses case-based reasoning and case-based planning systems as reasoning mechanism in deliberative BDI agents to manage daily tasks and hardware devices on dynamic environments. This architecture is also founded on Ambient Intelligence, joining a set of technologies, such as radio frequency identification, wireless networks and wireless control devices, which can be implemented on a wide diversity of environments

Hybrid Architecture for a Reasoning Planner Agent

This paper presents a hybrid architecture that facilitates the incur-poration of a case-based planning system as the reasoning motor for a deliberative agent. This architecture makes possible to solve a wide range of problems in terms of agents and multi-agent systems. The problems are resolved in terms of plans, using plans that have already been experienced

Complementarity of information sent via different bases

We discuss quantitatively the complementarity of information transmitted by a quantum system prepared in a basis state in one out of several different mutually unbiased bases (MUBs). We obtain upper bounds on the information available to a receiver who has no knowledge of which MUB was chosen by the sender. These upper bounds imply a complementarity of information encoded via different MUBs and ultimately ensure the security in quantum key distribution protocols.Comment: 9 pages, references adde

Una comunidad de construcción de conocimiento: el caso de la maestría en ingeniería de la UADY

Se desea estudiar la construcción de conocimiento en una comunidad epistémica, entendida como una comunidad de práctica (CoP) por medio del uso de conocimiento matemático. Se analiza el uso de las gráficas de variación y cambio en tesis, revistas de investigación y notas de clases de la Maestría en ingeniería de la Universidad Autónoma de Yucatán (UADY) en tres diferentes escenarios de interacción, a los cuales denominamos episodios: clases de la maestría, productos de investigación y con el asesor; en todos los escenarios las personas son expertos (profesores investigadores) y aprendices (alumnos en diferentes etapas) de la especialidad de ingeniería ambiental, construcción y estructuras. Se presentarán algunos avances referentes al método y cómo se inicia el análisis de la información para evidenciar la construcción de conocimiento, todo ello de acorde con la problemática

Running Agents in Mobile Devices

This paper presents a deliberative architecture based on the concept of CBP-BDI agent. A CBP-BDI agent is a BDI agent that incorporates a CBP reasoning engine. The work here presented focuses in the development of a multiagent system that has been constructed for the management of some aspects of a shopping mall, specially the interaction with clients, so the aim is to get the portability of a CBP-BDI agent to mobile devices. The system has been tested and this paper presents the results obtained