An Integrated Modal Approach to Rational Agents

Abstract

In this paper we give a n o verview of work we h a ve done to provide a framework in which many aspects of rational agency are integrated. The various attitudes of a rational agent, viz. the informational as well as the motivational ones, are modelled in the framework by means of a variety of modal operators that are interpreted by means of possible worlds, as usual in modal logic. A main point here is that we incorporate all these modal operators into one model, so that in principle the various modal operators can be mixed to describe an agent's complex attitudes.

Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts

“…The framework is based on a new logic called Agent Dynamic Logic (ADL) that combines aspects of Computation Tree Logic (CTL), Propositional Dynamic Logic (PDL) and the BDI Logic of Rao and Georgeff (called here BDI-CTL). In combining modal and dynamic logics, ADL is related to the logic of van der Hoek et al [8], and similar to their approach, we use actions observe p to model belief update resulting from observations of basic propositions p. The term observe is chosen to emphasize that the agent is actively involved in making the observation, and does not simply receive information in a passive process of belief update.…”

Intelligent Agents: Issues and Logics

“…For example, with respect to the internal (`micro'-) level one has the well-known BDI theory of Rao & George 31], a logic to reason about the agent's beliefs, desires and intentions. Other logical theories for single agents include the approach of Cohen & Levesque ( 2]) 1 and the KARO logic ( 18]. BDI theory has given rise to an architecture based on the BDI notions, called the BDI architecture.…”

“…The KARO framework has been developed in a number of papers (e.g. 25,26,18,28]) as well as the thesis of Van Linder ( 24]). …”

“…e.g. 14, 24,18], but now on model/state pairs rather than just states). Likewise the function C is lifted to sets of complex actions ( 24,18]).…”

Toward a programming theory for rational agents

“…Intuitively, rational agents derive their choice of action from their knowledge and goals and these core concepts need to be incorporated into an agent programming theory. 1 These concepts are key concepts in any account of agency, as is also reflected in some of the best known agent logics [12,37,41]. Typically, these logics also include additional concepts such as commitment and intention, derived from the work of e.g.…”