This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.
8969.2 Environment Centered Analysis and Design of Coordination Mechanisms - Decker (1995)(Correct)
Environment Centered Analysis and Design of Coordination Mechanisms
May 1995
KEITH S. DECKER
B.S., Carnegie Mellon University
M.S., Rensselaer Polytechnic Institute
Ph.D., University of Massachusetts... / focus has always been so called BDI' Beliefs Desires and Intentions br M are named subsets of the agents beliefs Gamma that represent
6037.3 Abductive Interpretation And Reinterpretation Of Natural Language.. - McRoy (1993)(Correct)
To decide how to respond to an utterance, a speaker must interpret what others have
said and why they have said it. Speakers rely on their expectations to decide whether
they have understood each othe... / when speakers differ in their beliefs about what has been said or why.
5207.5 Speech Acts for Dialogue Agents - Traum (1999)(Correct)
this paper by the U.S. Army Research Office under contract/grant number
DAAH 04 95 10628 and the U.S. National Science Foundation under grant IRI9311988.
Some of the work described above was develop... / the extra elements required beyond a BDI-theory of agency. Foundational br of the speaker's actual attitudes belief desire etc.with the attitudes
4221.5 Teleology In Aristotle And Contemporary Philosophy Of Biology: An.. - Cameron (2000)(Correct)
this article unless otherwise noted.
129 unknown
TELEOLOGY IN ARISTOTLE AND CONTEMPORARY PHILOSOPHY OF BIOLOGY:
AN ACCOUNT OF THE NATURE OF LIFE
RICHARD J. CAMERON
B.A. St. Olaf College, 19... / to over-ride common sense beliefs while at other times br partially motivated by the desire to generate a large enough sample
3489.2 Modelling rational inquiry in non-ideal agents - Moreno(Correct)
The construction of rational agents is one of the goals that has been pursued in Artificial Intelligence (AI). In most of the architectures that have been proposed for this kind of agents, its behavio... / PRS proposed in GeIn the BDI Belief-Desire-Intention br behaviour is guided by its set of beliefs. In our work rational agents
3130.9 Conflict Resolution in Collaborative Planning Dialogues - Chu-Carroll (1999)(Correct)
In a collaborative planning environment in which the agents are autonomous and heterogeneous, it is
inevitable that discrepancies in the agents' beliefs result in conflicts during the planning proces... / that discrepancies in the agents' beliefs result in conflicts during the
2937.7 Formalising Abilities and Opportunities of Agents - van Linder, van der Hoek, Meyer (1998)(Correct)
We present a formal system to reason about and specify the behavior of multiple intelligent artificial agents. Essentially, each agent can perform certain actions, and it may possess a variety of info... / which is inspired by the well-known BDI-architecture special br common-sense concepts as knowledge belief and ability. Since most people do
2924.5 Controlling Cooperative Problem Solving in Industrial Multi-Agent.. - Jennings (1995)(Correct)
One reason why Distributed AI (DAI) technology has been deployed in relatively few real-size applications
is that it lacks a clear and implementable model of cooperative problem solving which specifie... / power and complete knowledge of the beliefs goals actions and interactions br data to make a diagnosis desired result could not be attained
2907.1 Specification And Implementation Of A Belief-Desire-Joint-Intention.. - Jennings (1993)(Correct)
Systems composed of multiple interacting problem solvers are becoming increasingly pervasive and have
been championed in some quarters as the basis of the next generation of intelligent information sy... / Intelligence Multi-Agent Systems BDI Architecture Joint Intentions br And Implementation Of A Belief-Desirejoint Intention
2843.4 The Dynamics of Default Reasoning - van Linder, van der Hoek, Meyer (1994)(Correct)
In this paper we look at default reasoning from a dynamic, agent-oriented, point of view. Using the KARO-architecture that we previously defined ([15, 16, 24, 25]), we introduce actions that model the... / is chosen in analogy with the BDI-architectures of Rao Georgeff br formula is included in the agent's beliefs. We define the ability and
2724.9 Foundations of Knowledge Representation and Reasoning - Lakemeyer, Nebel (1994)(Correct)
this paper is not by itself a paper on computational
complexity analysis of commonsense reasoning, it makes use of computational
complexity results [ Gottlob, 1992 ] that show that the three main form... / range of mental attitudes like beliefs desires goals or intentions. br most research in KR has been the desire to equip artifacts with
2644.0 Formal Models and Decision Procedures for Multi-Agent Systems - Rao, Georgeff (1995)(Correct)
The study of computational agents capable of rational behaviour has received a great
deal of attention in recent years. A number of theoretical formalizations for such multiagent
systems have been pro... / family of multi-modal branching-time BDI logics with a semantics that is
2640.0 The Repair of Speech Act Misunderstandings By Abductive Inference - Susan Mcroy (1995)(Correct)
this paper, we have concentrated on the repair of mis-understanding. Our colleagues
Heeman and Edmonds have looked at the repair of non-understanding. The difference
between the two situations is that... / can easily come to have different beliefs about the meaning or discourse
2626.1 How to avoid knowing it all - Moreno (1997)(Correct)
Beliefs have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they s... / Modelling rational agents within a BDIarchitecture Proceedings of br amoreno etse.urv.es Abstract Beliefs have been formally modelled in
2623.0 Temporal Belief Logics for Modelling Distributed Artificial.. - Wooldridge (1995)(Correct)
In this article, we look at formal methods for reasoning about multi-agent systems,
with particular emphasis on the twin problems of specifying and verifying
such systems. We begin by critically revi... / CHAPTER Temporal Belief Logics for Modelling Distributed br intentional notions belief desire and so on. If it is accepted
2519.6 Seeing is Believing - And so are Hearing and Jumping - van Linder, van der Hoek, Meyer (1995)(Correct)
In this paper a formal framework is proposed in which various informative actions are combined, corresponding to the different ways in which rational agents can acquire information. In order to solve ... / Modeling rational agents within a BDIarchitecture. In J. Allen R. br actions we use a general belief revision action which satisfies
2447.5 Dynamic belief analysis - Moreno (1997)(Correct)
The process of rational inquiry can be defined as the evolution of the beliefs of a rational agent as a consequence of its internal inference procedures or its interaction with the environment. These ... / Modeling rational agents within a BDI-architecture Proceedings of br Dynamic belief analysis Antonio Moreno
2329.5 The Role of Cognitive Modeling in Achieving Communicative Intentions - Walker, Rambow (1994)(Correct)
A discourse planner for (task-oriented) dialogue must be able to make choices about whether relevant, but optional information (for example, the "satellites" in an RST-based planner) should be communi... / increases H's strength of belief desire or intention. Each br H's strength of belief desire or intention. Each
2195.7 TÆMS: A Framework for Environment Centered Analysis & Design of.. - Decker(Correct)
This paper shows how the distributions of objective parameters such as "the
number of VLM methods seen by the maximally loaded agent" ( unknown Chapter 16
TÆMS: A Framework for Environment
Centered An... / based on what are variously termed beliefs desires intentions and goals br what are variously termed beliefs desires intentions and goals see
2100.6 Quantitative Modeling of Complex Environments - Decker (1994)(Correct)
There are many formal approaches to specifying how the mental state of an agent entails the particular
actions it will perform. These approaches put the agent at the center of analysis. For some quest... / state of agents termed variously beliefs desires goals intentions br TMS framework is rooted in the desire to produce general theories in AI
2090.8 A Survey of Agent-Oriented Methodologies - Iglesias, Garijo, Gonzalez (1999)(Correct)
This article introduces the current agent-oriented methodologies. It discusseswhat approacheshave been followed (mainly extending existing objectoriented and knowledge engineering methodologies), th... / Modelling Technique for Systems of BDI agents MASB and br a state in the agent based on its beliefs desires intentions
2025.7 Agents that reason and negotiate by arguing - Parsons, Sierra, Jennings (1998)(Correct)
The need for negotiation in multi-agent systems stems from the requirement
for agents to solve the problems posed by their interdependence upon one another.
Negotiation provides a solution to these ... / widely used Belief-Desire-Intention BDI agent model are specified br of architectures namely those for belief-desire-intention agents
1984.7 Conflict Detection and Resolution in Collaborative Planning - Chu-Carroll, Carberry(Correct)
In multi-agent collaborative planning, since each agent is autonomous
and heterogeneous, it is inevitable that conflicts arise among the agents during the
planning process. A collaborative agent, ho... / both proposed actions and proposed beliefs and of initiating collaborative
1982.4 Agent-Oriented Programming in Linear Logic - Amin (1999)(Correct)
This thesis investigates how a linear logic programming language, such as Lygon, can be
used in the implementation of agent-oriented programs. Agent-oriented programming is a recent
computational fr... / . . . dMARS A BDI approach . br This technology is built on the belief that a computer system should be
1925.3 Active Databases and Agent Systems - A Comparison - Bailey, Georgeff, Kemp, Kinny.. (1995)(Correct)
This paper examines Active Databases and Agent Systems, comparing their purpose, structure, functionality, and implementation. Our presentation is aimed primarily at an audience familiar with active d... / the Belief Desire Intention BDI architecture br considerable maturity the Belief Desire Intention BDI
1854.1 On the Role of BDI Modelling for Integrated Control and Coordinated.. - Ferguson (1995)(Correct)
This paper describes an architecture for controlling and coordinating autonomous
agents, building on previous work addressing reactive and deliberative control methods.
The proposed multi-layered hybr... / BDI Modelling for Coordinated Behavior br behaviors and hypothesize their beliefs desires and intentions at the
1813.3 A Methodology and Modelling Technique for Systems of BDI Agents - Kinny, Georgeff, Rao (1996)(Correct)
The construction of large-scale embedded software systems demands the use of design
methodologies and modelling techniques that support abstraction, inheritance, modularity,
and other mechanisms for r... / Modelling Technique for Systems of BDI Agents January Technical br systems of agents based upon the Belief-Desire-Intention BDI paradigm.
1812.2 BDI Agents: From Theory to Practice - Rao, Georgeff (1995)(Correct)
The study of computational agents capable of rational behaviour has received a great deal of attention in recent years. Theoretical formalizations of such agents and their implementations have proceed... / BDI Agents From Theory to Practice br type of rational agent a Belief-Desire-Intention BDI agent. The
1811.7 Reasoned Assumptions and Rational Psychology - Doyle (1994)(Correct)
Logical epistemology unduly sways theories of thinking that formulate problems of nonmonotonic reasoning as issues of nondeductive operations on logically phrased beliefs, because the fundamental conc... / operations on logically phrased beliefs because the fundamental br knowledge and actions by the desire to make plausible commonsense
1732.9 Cooperation Mechanisms in a Multi-Agent Distributed Environment - Ambroszkiewicz, Matyja, Penczek (1998)(Correct)
In the paper we present our work on design and
analysis of agent cooperation in distributed systems. The work
is not completed yet, so that some parts of it, especially the
formal framework, should ... / systems are represented by BDI-automata i.e.asynchronous br equipped with mental attitudes like belief desire and intentions. These
1728.7 Two tentative models of rational action - Filho (1994)(Correct)
There are two possible reasons why one would want to postulate different operators for beliefs, goals, intentions and desires in possible worlds semantics: first, those operators would find natural ch... / postulate different operators for beliefs goals intentions and desires in
1724.8 Artificial Agents and Logic Programming - Wagner (1997)(Correct)
Artificial agents represent a new paradigm in software engineering and Artificial Intelligence. As complex software-controlled systems they are capable of flexible autonomous behavior in dynamic and... / The Belief-Desire-Intention BDI model of agents usually br of mental components such as beliefs capabilities choices and
1714.4 Social Plans: A Preliminary Report - Rao, Georgeff, Sonenberg (1992)(Correct)
The formalization of multi-agent autonomous systems requires a rich ontology for
capturing a variety of collective behaviours and a powerful semantics for distinguishing
between collective agents havi... / are called Belief-Desire-Intention BDI architectures Bratman et al. br the notion of intention are called Belief-Desire-Intention BDI
1705.0 Conversational Games, Belief Revision and Bayesian Networks - Pulman (1996)(Correct)
The paper uses a simple and abstract characterization of dialogue in terms of mental state changes of dialogue participants to raise three fundamental questions for any theory of dialogue. It goes on ... / with them and change them The BDI tradition Insofar as the current br Conversational Games Belief Revision and Bayesian Networks
1682.0 Limited Logical Belief Analysis - Moreno (1996)(Correct)
The process of rational inquiry can be defined as the evolution of the beliefs of a
rational agent as a consequence of its internal inference procedures and its interaction
with the environment. These... / Limited Logical Belief Analysis Antonio Moreno
1672.1 Influencing: A Strategy for Goal Adoption in BDI Agents - Mohanty, Patra, Naik(Correct)
In recent years, computing systems based on
Belief-Desire-Intention (BDI) paradigm have received
considerable attention in the area of Agent
Technology. This paradigm has been proposed to
model human ... / A Strategy for Goal Adoption in BDI Agents Hrushikesha Mohanty br computing systems based on Belief-Desire-Intention BDI paradigm
1642.3 A Tableau-Based Proof Method for Temporal Logics of Knowledge and.. - Wooldridge, Dixon, Fisher (1998)(Correct)
In this paper we define two logics, KLn and BLn , and present
tableau-based decision procedures for both. KLn is a temporal logic of knowledge.
Thus, in addition to the usual connectives of linear d... / for the belief desire intention BDI logics of Rao and Georgeff in br Temporal Logics of Knowledge and Belief Michael Wooldridge
1636.9 Goal Creation in Motivated Agents - Norman, Long (1995)(Correct)
Goal creation is an important consideration for an agent that is required
to behave autonomously in a real-world domain. This paper describes an
agent that is directed, not by a conjunction of top l... / in belief desire and intention BDI architectures It is br they are created in response to beliefs about the current state of the
1630.6 Means-End Plan Recognition - Towards a Theory of Reactive Recognition - Rao (1994)(Correct)
This paper draws its inspiration from current work in reactive planning to guide plan
recognition using "plans as recipes". The plan recognition process guided by such a
library of plans is called mea... / and recognition and embed them into a BDI-interpreter elsewhere br with the mental attitudes of belief desire and intention leads to a
1630.4 Computationally Grounded Theories of Agency - Wooldridge (2000)(Correct)
In this paper, I motivate, define, and illustrate the notion
of computationally grounded theories of agency. A theory
of agency is said to be computationally grounded if we can
give the theory an inte... / for example or Rao and Georgeff's BDI logic How might we go br Georgeff's work on formalising the beliefdesire intention paradigm
1626.6 Computational Models of Grounding in Collaborative Systems - Traum(Correct)
In this paper, I present in detail two models of grounding,
Clark and Schaefer's contribution model, and the grounding
acts model from my previous work. Description of each
model is accompanied with d... / similar notions such as mutual belief or a shared conception have br Levesque a talked about the desire for mutual belief as a motivation
1600.3 Response Generation in Collaborative Negotiation - Jennifer Chu-Carroll (1995)(Correct)
In collaborative planning activities, since the
agents are autonomous and heterogeneous, it
is inevitable that conflicts arise in their beliefs
during the planning process. In cases where
such conflic... / that conflicts arise in their beliefs during the planning process. In
1575.2 Mental States Recognition from Communication - Dragoni, Giorgini (2000)(Correct)
Effective and useful communication requires the agents' being able to foresee the effects of their
utterances over the addressee's mental state. However, referring to the classical Speech Act Theory,
... / mental states intentionally or not. BDI agents - are supposed br Topics logics of knowledge beliefs desire and intention
1554.2 A Reactive-Deliberative Model of Dialogue Agency - Traum (1996)(Correct)
For an agent to engage in substantive dialogues with other agents,
there are several complexities which go beyond the scope of standard models
of rational agency. In particular, an agent must reason... / presented here was based on the BDI model introduced in br with social attitudes of mutual belief obligation and multi-agent plan
1543.0 Response Generation in Collaborative Dialogue Interactions - Chu-Carroll(Correct)
In collaborative planning dialogues, since the agents
have different beliefs about the domain and about one
another, it is inevitable that conflicts arise among them
during the planning process. In or... / since the agents have different beliefs about the domain and about one
1528.4 An Ontology for Aristotelian Teleology. - Cameron(Correct)
Unless otherwise specified I use 'teleology' and its cognates to indicate a sui generis irreducible real causal factor in
the structure of the world.
2
David Charles (1988, esp. pp. 38-9) explains h... / this dissertation. a. the belief that the world is a nice place. br -everything the emergentist desires -only at the micro-level.
1505.4 A Unified View of Plans as Recipes - Rao (1997)(Correct)
Plans as recipes or abstract structures, as well as plans as mental attitudes that guide an
agent in its planning process has been enthusiastically embraced by both philosophers and AI
practitioners. ... / called Belief-Desire-Intention BDI agents. This dual view of plans br a class of rational agents called Belief-Desire-Intention BDI agents.
1494.2 Conversational Agency: The Trains-93 Dialogue Manager - Traum (1996)(Correct)
Designing an agent to participate in natural conversation
requires more than just adapting a standard agent
model to perceive and produce language. In particular,
the model must be augmented with soci... / One popular formulation is the BDI model which include Beliefs br social attitudes including mutual belief shared plans and obligations
1486.9 Decision Support For Practical Reasoning: a theoretical and.. - Girle, Hitchcock, McBurney, Verheij(Correct)
CONTENTS
1. Introduction
2. Practical Reasoning
3. Argument Schemes and Defeasibility
4. Decision Calculi
5. Reasoning under Resource Constraints
6. Moral Considerations
7. Deliberation Dialogue
8. In... / within the Belief-Desires-Intention BDI paradigm. Within the latter br such questions as whether a belief-desireintention model is the
1480.3 An'alisis din'amico de las creencias - Moreno, al. (1995)(Correct)
El modelo de los mundos posibles y su sem'antica de Kripke asociada dan una sem'antica intuitiva para las l'ogicas dox'asticas, pero parecen llevar inevitablemente a modelizar agentes l'ogicamente omn... / framework for logics of explicit belief Computational Intelligence
1446.0 Towards Multi-Swarm Problem Solving in Networks - White, Pagurek (1998)(Correct)
This paper describes how multiple interacting swarms of
adaptive mobile agents can be used to solve problems in
networks. The paper introduces a new architectural
description for an agent that is chem... / the Belief-DesireIntention BDI model However we freely br contrast to agents supporting the Belief-DesireIntention BDI model
1445.5 Dynamic Belief Modeling - Moreno (1995)(Correct)
The possible worlds model and its associated Kripkean semantics provide an intuitive semantics to epistemic logics, but they seem to commit us to model agents which are logically omniscient and perfec... / Dynamic belief modeling Antonio Moreno Ton
1423.8 Toward a Formalization of Elaboration Tolerance: Adding and Deleting.. - Amir(Correct)
When creating a knowledge base, a knowledge engineer faces design and modeling choices. The decisions taken may later affect the evolution of the knowledge base. Indeed, when new knowledge needs to be... / are syntactic for relations to Belief Revision see section This br Tolerance and shows how the desire for Elaboration Tolerance
1353.8 AgentSpeak(L): BDI Agents speak out in a logical computable language - Rao (1996)(Correct)
Belief-Desire-Intention (BDI) agents have been investigated by many researchers from
both a theoretical specification perspective and a practical design perspective. However,
there still remains a lar... / AgentSpeak L BDI Agents speak out in a logical br Netherlands . Abstract Belief-Desire-Intention BDI agents have
1343.6 Unifying Control In A Layered Agent Architecture - Fischer, Müller, Pischel (1994)(Correct)
In this paper, we set up a unifying perspective of the individual control
layers of the architecture InteRRaP for autonomous interacting agents.
InteRRaP is a pragmatic approach to designing complex ... / driven by the former reason are BDI style architectures br and from its mental model belief revision and abstraction
1315.9 Quantitative Modeling of Complex Computational Task Environments - Decker, Lesser (1993)(Correct)
There are many formal approaches to specifying how the mental state of an agent
entails that it perform particular actions. These approaches put the agent at the center
of analysis. For some questio... / state of agents termed variously beliefs desires goals intentions br TMS framework is rooted in the desire to produce general theories in AI
1314.0 Towards Automating the Evolution of Linguistic Competence in.. - Gmytrasiewicz, Gopal (2000)(Correct)
The goal of this research is to understand and automate the mechanisms by which language can emerge among artificial, knowledge-based and rational agents. We use the paradigm of rationality defined by... / of belief desire and intention BDI it postulates that the intention br can be related to terms of belief desire and intention BDI it
1293.5 The Ok Bdi Architecture - Kumar (1995)(Correct)
The design of a belief-desire-intention (BDI) architecture is presented. The architecture is defined using a unified object-based knowledge representation formalism, called the OK formalism, and a uni... / The Ok Bdi Architecture Deepak Kumar br Abstract The design of a belief-desire-intention BDI
1276.6 A Model-Theoretic Approach to the Verification of Agent-Oriented.. - Rao, Georgeff(Correct)
The study of situated systems that are capable of reactive and goal-directed behaviour has received increased attention in recent years. One approach to the design of such systems is based upon agent-... / of these architectures called a BDI architecture is based on attitudes br is based on attitudes of belief desire and intention. The
1265.1 Formal Specification Using Agents Conceptualization - Coriat (1994)(Correct)
This paper tries to bridge the gap from agent conceptualization to formal
specification in the field of requirement engineering. The IAM
(Intentionnal Agent Method) approach aims to integrate the agen... / related intentions such as belief desire commitment and br related intentions such as belief desire commitment and capability. Agent
1236.9 A Logical Framework for Multi-Agent Systems and Joint Attitudes - Cavedon, Tidhar (1995)(Correct)
We present a logical framework for reasoning about multi-agent systems. This framework
uses Giunchiglia et al.'s notion of a logical context to define a methodology for
the modular specification of ag... / specification of agent behaviours via BDI theories-i.e.theories of br BDI theories-i.e.theories of belief desire and intention. We
1234.9 Modeling Rational Agents within a BDI-Architecture - Rao, Georgeff (1991)(Correct)
Intentions, an integral part of the mental state of an agent, play an important role
in determining the behavior of rational agents as they seek to attain their goals. In this
paper, a formalization o... / Modeling Rational Agents within a BDI-Architecture February br equal status with the notions of belief and desire and cannot be reduced
1206.9 Multi-Agent Mental-State Recognition and its Application to.. - Rao, Murray (1994)(Correct)
Recognizing the mental-state, i.e., the beliefs, desires, plans, and intentions, of other
agents situated in the environment is an important part of intelligent activity. Doing
this with limited resou... / an existing Belief-Desire-Intention BDI interpreter used for br the mental-state i.e.the beliefs desires plans and intentions
1177.4 Modeling And Simulation Of Mobile Agents - Uhrmacher, Tyschler, Tyschler (2000)(Correct)
Agent-oriented software implies the realization of software components, which
are mobile, autonomous, and solve problems by creating new software components
during run-time, moving between locations, ... / e.g desires intentions and beliefs The belief of an agent br of deliberative agents e.g desires intentions and beliefs
1163.4 Toward a Model Theory of Actions: How Agents do it in Branching Time - Singh (1998)(Correct)
A clear understanding and formalization of actions is essential to computing, and especially so to reasoning about and constructing intelligent agents. Several approaches have been proposed over the y... / belief-desireintention BDI architectures for agents and br natural language understanding belief-desireintention BDI
1162.0 Computational Logic and Multi-Agent Systems: a Roadmap - Sadri, Toni (1999)(Correct)
Agent-based computing is an emerging computing paradigm that has
proved extremely successful in dealing with a number of problems arising
from new technological developments and applications. In thi... / logic-based formalism notably the BDI approach and Agent In br Agents can also revise their beliefs in reaction to new input.
1150.6 Semantical Considerations on Intention Dynamics for BDI Agents - Singh (1997)(Correct)
The BDI paradigm is a powerful means for constructing intelligent agents in terms of their beliefs, desires, and i ntentions. For this paradigm to bear its full potential, it must incorporate consider... / on Intention Dynamics for BDI Agents Munindar P. Singh br agents in terms of their beliefs desires and i ntentions.
1148.8 Combinations of Modal Logics - Bennett, Dixon, Fisher, Hustadt, al. (2000)(Correct)
this paper we will consider the combination of modal (including temporal) logics,
identifying leading edge research that we, and others, have carried out. Such combined
systems have a wide variety of ... / have been developed such as the BDI Rao and Georgeff and KARO br its own abilities knowledge and beliefs. It should also have a
1144.8 A Formal Specification of dMARS - d'Inverno, Kinny, Luck, Wooldridge (1997)(Correct)
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the sp... / the belief-desire-intention BDI model of practical reasoning that br agents research community the belief-desire-intention BDI model of
1136.6 Vulnerability Testing of Software System Using Fault Injection - Du, Mathur (1998)(Correct)
We describe an approach for testing a software system for possible security flaws. Traditionally, security testing is done using penetration analysis and formal methods. Based on the observation that ... / relies on an empirically supported belief that the environment plays a br development are motivated by the desire to make the product secure and
1130.6 Towards A Formal Theory of Repair in Plan Execution and Plan.. - Traum, Allen (1994)(Correct)
We present a situation theoretic formalization of plan execution
which allows for an abstract characterization of the role an action performance
plays in the execution of a plan, including characteriz... / We choose a model similar to the BDI model of Bratman et al. br Pollack in terms of beliefs and intentions that an agent has
1123.5 Semantics for an Agent Communication Language - Labrou, Finin (1996)(Correct)
We address the issue of semantics for an agent communication
language. In particular, the semantics of Knowledge Query Manipulation
Language (KQML) is investigated. KQML is a language and
protocol ... / use propositional attitudes like belief knowledge desire etc. br like belief knowledge desire etc. this intentional
1120.1 Argument in multi-agent systems - Norman (2000)(Correct)
Multi-agent systems research is concerned both with the modelling of human and animal societies and with the development of principles for the design of practical distributed information management sy... / multi-agent systems research the BDI model' has been widely br of these agents. An agent may have beliefs desires intentions and it may
1106.4 Using multi-context systems to engineer executable agents - Sabater, Sierra, Parsons, Jennings (1999)(Correct)
In the area of agent-based computing there are many proposals for
specific system architectures, and a number of proposals for general approaches
to building agents. As yet, however, there are com... / to simplify the construction of a BDI agent. Both of the above br structure component the agent's beliefs say can be represented as a
1096.5 Skills and Capabilities in Real-Time Team Formation - Tidhar, Rao, Ljungberg, Kinny.. (1992)(Correct)
A rational agent can be viewed as a system embedded in the real world, continuously
receiving perceptual input from the real world and responding by taking actions that
affect the world. Such rational... / Modeling rational agents within a BDI-architecture. In J. Allen R. br mental attitudes such as mutual beliefs joint goals and joint
1093.0 Collective Motivational Attitudes In Cooperative Problem Solving - Dunin-Keplicz, Verbrugge (1999)(Correct)
In this paper we investigate the role of collective commitments in groups of agents involved in Cooperative Problem Solving (CPS). Collective intentions and collective commitmens are formalized in the... / belief-desire-intention systems. BDIagents are characterised by a br team members together with mutual beliefs about them. During social plan
1085.6 On supporting rational behavior in real-time multi-agent domains - Ferguson(Correct)
This paper presents a number of behavioral and architectural design components suitable for controlling rational, autonomous, resource-bounded agents in a class of real-time multi-agent domains. A num... / Belief-Desire-Intention BDI models of world entities br layer M for constructing Belief-Desire-Intention BDI models of
1077.3 Knowledge-Level - Ossowski, García-Serrano (1982)(Correct)
Co-ordination is one of the central research issues in Distributed Artificial Intelligence. Most of the efforts in designing co-ordination mechanisms set out from an agent-centred point of view: the... / This leads to the so-called BDI-architectures belief desire br individual actor with its local beliefs and reasoning capabilities as the
1075.0 Formalisms for Multi-Agent Systems - d'Inverno, Fisher, Lomuscio, Luck.. (1997)(Correct)
This report is the result of a panel discussion at the First UK Workshop on Foundations of Multi-Agent Systems (FoMAS '96). All members of the panel are authors, listed alphabetically. as knowledge re... / for much related work and the BDI belief-desire-intention theories br reasoning about knowledge and belief intention desire know-how and
1067.1 Modelling Rational Agents in a Dynamic Environment: Putting Humpty.. - Dignum, van Linder (1996)(Correct)
In this paper we propose a formal framework to model rational agents. We distinguish four levels where aspects of agency are situated, viz. the informational, action, motivational and social level. On... / by Cohen Levesque and the BDI-architecture of Rao Georgeff br concepts like knowledge and belief of agents opportunities for and
1059.6 Modelling and Design of Multi-Agent Systems - Kinny, al. (1996)(Correct)
Agent technologies are now being applied to the development of large-scale commercial
and industrial software systems. Such systems are complex, involving hundreds, perhaps
thousands of agents, and th... / can be extended to apply to BDI agent systems. OO techniques have br of agents based upon a particular Belief-DesireIntention architecture but
1049.7 Information-Passing and Belief Revision in Multi-Agent Systems - van Eijk, de Boer, van der Hoek.. (1998)(Correct)
We de ne a programming language for multi-agent systems in which agents interact with a common environment and cooperate by exchanging their individual beliefs on the environment. In handling the in... / of the contribution of Schild on BDI logics in this volume lies in br Information-Passing and Belief Revision in Multi-Agent Systems
1049.3 Uso di piani di problem-solving nel riconoscimento di piani e.. - Ardissono (1996)(Correct)
In questo articolo si discute il ruolo dei piani di problem-solving nell'interpretazione dei dialoghi in linguaggio naturale. Per "piano di problem-solving" si intende una descrizione dichiarativa dei... / di un'architettura di agente BDI per costruire un sistema br etc. GLi agenti BDI Belief Desire Intention agents sono
1044.7 The Belief-Desire-Intention Model of Agency - Georgeff, Pell, Pollack, Tambe.. (1999)(Correct)
Introduction
Within the ATAL community, the belief-desire-intention (BDI) model has come to be
possibly the best known and best studied model of practical reasoning agents. There are
several reasons ... / the belief-desire-intention BDI model has come to be possibly the br The Belief-Desire-Intention Model of Agency
1042.3 The BDIM Agent Toolkit Design - Busetta, Ramamohanarao(Correct)
The BDIM (Belief, Desire, Intention, Message) Agent Toolkit is a collection of Java
classes designed to enable rapid prototyping of new architectures for BDI agents. Its
cornerstone is a Java package,... / The BDIM Agent Toolkit Design Paolo
1031.7 Representing and Executing Social Plans - Ljungberg, Rao, Tidhar, Kinny.. (1992)(Correct)
Individual agents situated in dynamic environments must balance the need to react to
new situations against their commitment to some current activity. When teams of agents
engage in collaborative acti... / are called Belief-Desire-Intention BDI architectures Bratman et al. br can be characterized as having beliefs about the real world goals or
1028.7 Plans And Resource-Bounded Practical Reasoning - Bratman, Israel, Pollack (1988)(Correct)
An architecture for a rational agent must allow for means-end reasoning, for the weighing of competing alternatives, and for interactions between these two forms of reasoning. Such an architecture mus... / as a belief desire intention BDI architecture it includes fairly br which is a function of the agent's beliefs and desires. For an idealized
1023.6 Modelling rational BDI-agents within the framework of asynchronous.. - Ambroszkiewicz, Penczek(Correct)
Stanis/law Ambroszkiewicz and Wojciech Penczek
Institute of Computer Science, Polish Academy of Sciences
email: penczek, sambrosz@ipipan.waw.pl
Abstract
A new model for multi-agent systems is intr... / Modelling rational BDI-agents within the framework of br mental attitudes like perception belief desire and intentions. Rational
1023.4 Learning Models of Other Agents Using Influence Diagrams - Suryadi, Gmytrasiewicz (1999)(Correct)
We adopt decision theory as a descriptive paradigm to
model rational agents. We use influence diagrams as a modeling
representation of agents, which is used to interact with
them and to predict their ... / of belief desire and intention BDI architecture a payoff matrix br capabilities preferences or beliefs. The modified model is then
1004.6 Politeness and speech acts - Ardissono, Boella, Lesmo(Correct)
In this paper, we propose a logical description of the mechanisms
which cause a speech act to be impolite, and of how the indirect
expressions may prevent speakers from offending their partners. We
sp... / formal framework to recognize the beliefs underlying them and the way how br to achieve their own goals and the desire to avoid infringing their
997.9 Intentions and Rational Commitment - Rao, Georgeff (1993)(Correct)
Intentions, an integral part of the mental state of an agent, play an important role in determining the behaviour of rational agents as they seek to attain their goals. In this paper, a formalization ... / present an alternative formalism for BDI-architectures. There are three br possible-worlds semantics for beliefs goals and intentions upon
997.1 Alarms: An implementation of motivated agency - Norman, Long (1996)(Correct)
Autonomous agents in the real world must be capable of asynchronous
goal generation. However, one consequence of this ability is that the agent may
generate a substantial number of goals, but only a... / to belief desire and intention BDI architectures and the unique br motivated agency is compared to belief desire and intention BDI
985.6 Norm Governed Agents In CSCW - Kecheng Liu (1997)(Correct)
Information systems are organisations in which signs are
created, processed and consumed for social and economic
purposes. In order to fulfil the organisational goals and
objectives, members within an... / to be capable of expressing beliefs desires and intentions. br be capable of expressing beliefs desires and intentions. However key
985.3 Agent Programming in 3APL - Hindriks, de Boer, van der Hoek..(Correct)
An intriguing and relatively new metaphor in the programming community
is that of an intelligent agent. The idea is to view programs
as intelligent agents acting on our behalf. By using the metaphor... / on agents. First formal logics like BDI-logic or the KARO-framework br have a mental state consisting of beliefs and goals. The computational
976.2 Modelling Internal Dynamic Behaviour of BDI Agents - Brazier, Dunin-Keplicz, Treur..(Correct)
A generic model for the internal dynamic behaviour of BDI agents is proposed.
This model, a refinement of a generic agent model, explicitly specifies beliefs and
motivational attitudes such as desires... / Internal Dynamic Behaviour of BDI Agents Frances Brazier a br agent model explicitly specifies beliefs and motivational attitudes such
972.8 An Architecture for Mobile BDI Agents - Busetta, Ramamohanarao (1997)(Correct)
BDI (Belief, Desire, Intention) is a mature and commonly adopted architecture
for Intelligent Agents. BDI Agents are autonomous entities able to work in
teams and react to changing environmental condi... / An Architecture for Mobile BDI Agents Paolo Busetta Kotagiri br Australia Abstract BDI Belief Desire Intention is a mature
968.6 A Computational Model For Declarative Recognition And Imperative.. - Weiser(Correct)
Sita is a novel agent language for modeling intelligent behaviour in dynamic environments. The central modeling principle is the distinction of recognition and action as the two complementary basic sk... / Probably the best known is the BDI Belief Desire Intention br the best known is the BDI Belief Desire Intention approach
957.7 A Logic of BDI Agents with Procedural Knowledge - Wooldridge (1996)(Correct)
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,
de... / A Logic Of Bdi Agents With Procedural br is characterised in terms of beliefs desires and intentions
955.6 Deliberation and Intentions - Rao, Georgeff (1991)(Correct)
Deliberation plays an important role in the design of rational agents embedded in
the real-world. In particular, deliberation leads to the formation of intentions, i.e.,
plans of action that the agent... / by the belief-desire-intention BDI architecture Bratman et al. br representing and reasoning about beliefs goals intentions time
939.9 Spatial Agents Implemented in a Logical Expressible Language - Stolzenburg, Obst, Murray, Bremer (2000)(Correct)
In this paper, we present a multi-layered architecture for spatial and temporal
agents. The focus is laid on the declarativity of the approach, which makes
agent scripts expressive and well understand... / the use of a Belief-Desire-Intention BDI architecture see e.g. Burkhard br Also widespread is the use of a Belief-Desire-Intention BDI
925.5 Decision Procedures for Propositional Belief-Desire-Intention Logics - Rao (1993)(Correct)
The study of situated systems that are capable of reactive and goal-directed behaviour has received increased attention in recent years. One approach to the design of such systems is based upon agent-... / of beliefs desires and intentions BDI discuss their soundness and br Procedures for Propositional Belief-Desire-Intention Logics
917.9 Towards Agent Oriented Application Frameworks - Brugali, Sycara (1998)(Correct)
ing with credit is permitted. To copy otherwise, to republish, to post on
servers, to redistribute to lists, or to use any component of this work in other works, requires prior
specific permission and... / provides a Belief-DesireIntention BDI agent architecture which br the RETSINA framework provides a Belief-DesireIntention BDI agent
917.7 Piani per un'architettura di agente BDI - Ardissono, al(Correct)
mportarsi diventi lo strumento da "lui" utilizzato per analizzare il comportamento di un proprio "simile". Nell'ambito specifico degli agenti cooperativi, ricostruire i belief e le intenzioni del part... / Piani per un'architettura di agente BDI Liliana Ardissono Guido Boella br agenti cooperativi ricostruire i belief e le intenzioni del partner e
911.1 Rapid Concurrent Software Engineering in Competitive Situations - Hannebauer, Wendler.. (1999)(Correct)
This article is an experience report on the evolutionary
development process of AT Humboldt, a multi
agent system which has become World Champion 1997
and Vice World Champion 1998 of RoboCup simulator... / mean. The BeliefDesire Intention BDI architecture founded on Cognitive br to implement the golden mean. The BeliefDesire Intention BDI
889.2 Updating Mental States from Communication - A.F.Dragoni, al (2000)(Correct)
In order to perform effective communication agents must be able to foresee
the effects of their utterances on the addressee's mental state. In this paper we investigate
on the update of the mental... / vs. the costs of communication. BDI agents namely agents able to have br pre-compiled knowledge about the beliefs intentions abilities and
878.1 Modeling Mobile Agents - Uhrmacher, Tyschler, Tyschler (1998)(Correct)
Agent-oriented software implies the realization of
software components, which are mobile, autonomous,
and solve problems by creating new software components
during run-time, moving between locations, ... / e.g desires intentions and beliefs. In the context of modeling br of deliberative agents e.g desires intentions and beliefs. In the
878.1 Reasoning about Other Agents: Philosophy, Theory, and Implementation. - Gmytrasiewicz, Durfee(Correct)
Drawing on on our work in the area of Distributed Artificial Intelligence, we propose
the rudiments of a view of multiagent reasoning that relates current philosophical
intuitions, theoretical foundat... / are logics of knowledge and belief which in addressing the br have emerged what we really desire is to formulate a unifying view
877.6 Intentional Agents and Goal Formation - Dignum, Conte (1997)(Correct)
This paper is about a fundamental aspect of intentional action, namely
the process of goal formation. Existing formal theories of agents are found essentially
inadequate to account for the formation... / with formal agent theories e.g. BDI architectures in which br existing built-in goals and new beliefs. A general rule for goal
872.4 Intention Reconsideration in Complex Environments - Schut, Wooldridge (2000)(Correct)
One of the key problems in the design of belief-desire-intention (bdi) agents is that of nding an appropriate policy for intention reconsideration. In previous work, Kinny and George investigated the... / design of belief-desire-intention bdi agents is that of nding an br the key problems in the design of belief-desire-intention bdi agents
862.2 Model Checking Multiagent Systems - Benerecetti, Giunchiglia, al (1997)(Correct)
Model checking is a very successful technique which has been applied in the
design and verification of finite state concurrent reactive processes. In this paper
we show how this technique can be lifte... / properties. have what we call BDI attitudes i.e.beliefs desires
862.2 Team Formation by Self-Interested Mobile Agents - Ambroszkiewicz, Matyja, Penczek (1998)(Correct)
A process of team formation by autonomous agents in a distributed
environment is presented. Since the environment is distributed,
there are serious problems with communication and consistent decis... / protocols according to the BDI-paradigm On the other br References . M. E. Bratman. Intentions Plans and Practical Reason.
857.7 The EASE Actor Development Environment - Scerri, Reed (1999)(Correct)
In interactive simulations it is often desirable to have intelligent actors
playing the roles of humans. Drawing on a wide range of previous
work this paper presents a system that is intended to red... / for Belief Desire Intention BDI agents Kinny and George br Examples include methodologies for Belief Desire Intention BDI agents
848.9 Argumentation and multi-agent decision making - Parsons (1998)(Correct)
This paper summarises our on-going work on mixedinitiative
decision making which extends both classical
decision theory and a symbolic theory of decision making
based on argumentation to a multi-agent... / Belief Desire Intention BDI models have been proposed as a br make decisions under uncertainty. Belief Desire Intention BDI models have
848.5 Hierarchical Agent Interface for Controlling and Animating Agents - Fels, Bruderlin, Esser, Mase(Correct)
Asynchronous, Hierarchical Agents (AHAs) provide a vertically structured multilevel abstraction hierarchy.
In this paper, we argue that this multilevel hierarchy is a convenient way to create a human-... / and a belief desire and intention BDI architecture found in the InteRRaP br of a layered approach and a belief desire and intention BDI
846.1 Intention Reconsideration Reconsidered - Wooldridge, Parsons (1998)(Correct)
In this paper, we consider the issue of designing agents that successfully
balance the amount of time spent in reconsidering their intentions against
the amount of time spent acting to achieve them.... / was the belief-desire-intention BDI paradigm The br closely related to the well-known belief-desire-intention model. In this
843.9 Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge - Dixon, Fisher (2000)(Correct)
Temporal logics of knowledge are useful in order to
specify complex systems in which agents are both dynamic
and have information about their surroundings.
We present a resolution method for propositi... / methods for Belief Desire Intention BDI Logics combining linear or br capture the agent's knowledge or beliefs and a motivational component
830.3 A Hybrid Connectionist and BDI Architecture for Modeling Embedded.. - Kumar (1998)(Correct)
In this paper, our ongoing work on a hybrid, connectionist and belief-desire-intention (BDI) based, rational agent architecture is described. The architecture makes specific commitments in order to ac... / A Hybrid Connectionist and BDI Architecture for Modeling Embedded br on a hybrid connectionist and belief-desire-intention BDI based
820.6 Annotating Conversations for Information State Updates - Poesio, Cooper, Larsson, Matheson.. (1999)(Correct)
We present an experiment in annotating a dialogue using two different notions of information state: a stripped down variant of Ginzburg's view of the dialogue game board, including questions under dis... / common mental attitudes include Belief the participants' model of the br participants' model of the world Desire what the participant wants the
820.3 An Evaluation of Rescheduling Techniques and Architectures in Holonic .. - Fletcher, Deen, Granby(Correct)
Holonic Manufacturing Systems (HMS) have been proposed as a way to meet the ever increasing needs for
robustness to disturbances, adaptability and flexibility to rapid change, and efficient use of av... / Belief desire and intention BDI was introduced as the foundation br founded upon either speech acts or beliefs desires and intentions. Such
814.9 Practical Reasoning with Procedural Knowledge (A Logic of BDI Agents.. - Wooldridge (1996)(Correct)
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... / Procedural Knowledge a Logic Of Bdi Agents With Know-How Michael br is characterised in terms of beliefs desires and intentions the
784.5 Bayesian Update of Recursive Agent Models - Gmytrasiewicz, Noh, Kellogg(Correct)
We present a framework for Bayesian updating of beliefs about models of agent(s)
based on their observed behavior. We work within the formalism of the Recursive Modeling
Method (RMM) that maintains... / update and modeling is that we use BDI belief desire intention models br framework for Bayesian updating of beliefs about models of agent s based
779.3 An approach to using degrees of belief in BDI agents - Parsons (1999)(Correct)
The past few years have seen a rise in the popularity of the use of mentalistic
attitudes such as beliefs, desires and intentions to describe intelligent agents.
Many of the models which formalise s... / to using degrees of belief in BDI agents Simon Parsons and br An approach to using degrees of belief in BDI agents Simon Parsons
772.9 Towards Active Logic Programming - Costantini (1999)(Correct)
In this paper we present the new logic programming language DALI, aimed at defining agents and agent systems. A main design objective for DALI has been that of introducing in a declarative fashion all... / and practical reasoning in a BDI fashion Belief Desires br Logical agents are able to combine belief updating goal updating and
769.7 Statement on practical reasoning - Hitchcock (2000)(Correct)
adoption of a policy by some agent, where policies include as limiting cases plans (policies adopted for just one occasion) and actions (plans with only one component), and the agent adopting the poli... / such questions as whether a desire-belief model is the correct explanation br such questions as whether a desire-belief model is the correct
767.3 Deliberate Normative Agents: Principles and Architecture - Castelfranchi, Dignum, Jonker, Treur (1999)(Correct)
In this paper norms are assumed to be useful in agent societies. It is claimed that not only following norms, but also the possibility of `intelligent' norm violation can be useful. Principles for a... / goals and intentions e.g.the BDI-architecture The norms br of some mental attitudes like beliefs goals and intentions e.g.the
756.5 Towards a Cooperation Knowledge Level For Collaborative Problem.. - Jennings (1992)(Correct)
The cooperation knowledge level is a new computer
level specifically for multi-agent problem solvers which
describes rich and explicit models of common social phenomena.
A cooperation level descript... / GOAL x p mean agent x has p as a belief and a goal respectively MB x br and selected according to the desired objective and prevailing
754.7 A Model of BDI-Agent in Game-Theoretic Framework - Ambroszkiewicz, Komar (1997)(Correct)
A model of BDI--agent in game--theoretic framework is presented.
The desire is represented as agent's goal to achieve a maximum
level of utility. A reasoning process based on agent's rational behavi... / A Model of BDI-Agent in Game-Theoretic br the world of dynamic games. Agent's belief is identified with the knowledge
753.0 Computational Logic in Australia - Australian Research(Correct)
interpretation is a language-independent
theory for static analysis of programs. This theory
plays a prominent role in much work in the group,
since most sophisticated implementation ideas require
sta... / of Belief Desire and Intention BDI representing respectively the br use of paraconsistent logics in belief revision. Enquiries from
735.7 Modelling Conflict-Resolution Dialogues - de Rosis, Grasso, Castelfranchi..(Correct)
this paper we discussed how the design of conict resolution dialogues among believable agents should take account of factors like personality traits and emotions, in addition to purely rational attitu... / dialoguing agents are represented as BDI agents it is probably more br architectures among others the Belief-Desire-Intention model in Rao and
729.9 Our Dinner with Cassie - Shapiro, Ismail, Santore(Correct)
This paper summarizes over a decade of research on
natural language dialogue with robotic agents, and
their required underlying knowledge representation and
reasoning abilities. The major features ... / This Project Culminated In The Snere Bdi Model kumar br a representation of itself and a belief about whom it is conversing with.
707.7 Plan Recognition in Military Simulation: Incorporating Machine.. - Heinze, Goss, Pearce (1999)(Correct)
A view of plan recognition shaped by both
operational and computational requirements is
presented. Operational requirements governing
the level of fidelity and nature of the reasoning
process comb... / integrating machine learning into a BDI agent is suggested and the results br This paper focuses on the beliefs-desires-intentions BDI class
699.7 Engineering executable agents using multi-context systems - Sabater, Sierra, Parsons, Jennings (1999)(Correct)
In the area of agent-based computing there are many proposals for speci c system architectures,
and a number of proposals for general approaches to building agents. As yet, however,
there are comparat... / of a belief desire intention BDI agent. Both of the above br structure component the agent's beliefs say can be represented as a
699.7 Sita: A Computational Model for Situated Acting - Weiser(Correct)
Sita is a novel language for modeling intelligent behavior in dynamic environments. The central modeling principle is the distinction of recognition and action as the two complementary basic skills ... / Probably the best known is the BDI Belief Desire Intention br as we use mental concepts like beliefs goals intentions etc.to
696.9 Agent Communication Languages: The Current Landscape - Labrou, Finin, Peng (1999)(Correct)
this article---
suggest a paradigm for software development
that emphasizes autonomy both at design time
and runtime, adaptivity, and cooperation. This
approach seems appealing in a world of distribut... / case describes a large range of BDI agents-belief desire and br describe and define in terms of beliefs desires intentions and similar
688.8 Social Mental Shaping: Modelling the Impact of Sociality on the.. - Panzarasa, al (2001)(Correct)
This paper presents a framework that captures how the social nature of agents that are situated in a multi-agent environment impacts upon their individual mental states. Roles and social relationships... / systems agent interactions BDI models social influence. br allows us to extend the standard Belief-DesireIntention model to account
686.5 Understanding Narrative is Like Observing Agents - Boella, Damiano, Lesmo(Correct)
this paper, we suggest that AI techniques, especially the ones developed in the field of
agent modeling and intelligent interfaces, can be exploited both to build systems for narrative
understanding a... / of belief-desire-and-intention BDI agents seems to be relevant to br First of all the notion of belief-desire-and-intention BDI agents
685.3 Sui Generis - Real Causal Factor(Correct)
71> sui generis
real causal factor in the world is the correct understanding of teleological causation. I will argue
further that sui generis teleological causation is both philosophically and scient... / agents act teleologically their belief-desire psychology explains their br act teleologically their belief-desire psychology explains their goal
681.8 Hierarchical Agent Interface for Animation - Bruderlin, Fels, Esser, Mase (1997)(Correct)
Asynchronous, Hierarchical Agents (AHAs) provide a
vertically structured multilevel abstraction hierarchy. In
this paper, we argue that this multilevel hierarchy is a
convenient way to create a human-... / and a belief desire and intention BDI architecture found in the br of a layered approach and a belief desire and intention BDI
658.5 Recognising User Intentions in a Virtual Environment - Pearce(Correct)
Human-centred design in the adaptive virtual interface is about supporting the intentionality of the user.
An operator has a purposeful motivation in undertaking activity in the virtual environment.... / with the syntax of the target BDI agent formalism. The output is br subscribe to the folk psychologic belief desire and intentionality notion
652.6 Formalizing Collaborative Decision-making and Practical Reasoning in.. - Panzarasa, Jennings (2002)(Correct)
In this paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of
the process, from recognition of a potential for cooperation through to joint decis... / Keywords Multi-agent systems BDI logic joint mental attitudes br in which the mentalistic notions of belief desire goal intention
650.4 On Clark and Schaefer's Contribution Model and its applicability to.. - Traum (1998)(Correct)
I discuss the suitability of Clark and Schaefer's Contribution model of Grounding, as a design model
for computer collaboration. This model is very appealing and, at a coarse level very influential a... / or similar notions such as mutual belief or em a shared conception have br Levesque a talked about the desire for mutual belief as a motivation
649.9 A Business Process Agent - Debenham (1999)(Correct)
The architecture of a process agent is a three-layer
BDI, hybrid, multi-agent architecture. These process
agents are intended to deal with corporate
cultural, or political, sensitivities as well as... / of a process agent is a three-layer BDI hybrid multi-agent architecture. br Mller These concepts are beliefs represented in a social model
641.0 QLB: A Quantified Logic for Belief - Lomuscio, Colombetti (1996)(Correct)
This paper describes QLB, a quantified logic of belief that is a possible
extension of the modal system KD45n to predicate level. The main features of
QLB are that: (i) it is allowed to quantify ove... / QLB A Quantified Logic for Belief Alessio Lomuscio y Marco br agency like beliefs knowledge desire etc. study and formalise
615.4 Towards a Semantics of Desires - Kiss (1992)(Correct)
As part of an effort to define a unified formal semantics for
beliefs, desires and action, this paper sketches a model theory for
the axiological aspects of agent theory: hedonic states, likes,
goals ... / set of basic notions the so-called BDI models However to our knowledge br a unified formal semantics for beliefs desires and action this paper
613.4 From Logic Programming to Multi-agent systems - Kowalski, Sadri (1998)(Correct)
In this paper we present an extension of logic programming (LP) that is suitable not only for the
"rational" component of a single agent but also for the "reactive" component and which can encompass
m... / work extends Shoham's agent and the BDI architecture. . Introduction br the representation of the agent's beliefs and goals. In sections and
605.1 A System for Modelling Agents having Emotion and Personality - Padgham, al (1997)(Correct)
this paper we explore some of the ways that we believe emotions and personality
interact with goal oriented behaviour, and we describe some of the
simplifications we have made in order to build an ini... / beliefs desires and intentions BDI models e.g. IGR GI to br modelling agents as systems of beliefs desires and intentions BDI
604.1 Obligations and Options in Dialogue - Allwood (1994)(Correct)
This paper is a development and clarification of certain ideas put forth in Allwood &
Haglund 1991 and its aim is to explore some ways in which deontic notions like
obligation and option can be used t... / Shared judgement The door is open Belief Belief Interrogative Wonder br Wonder Answer Is the door open Desire for information Giving desired
596.6 A Role-Based Decision-Mechanism for Teams of Reactive and.. - Coradeschi, Karlsson (1998)(Correct)
In this paper we present a system for developing autonomous agents that combine reactivity to an uncertain and rapidly changing environment with commitment to prespecified tactics involving coordina... / considered in the context of the Belief Desire and Intentions br in the context of the Belief Desire and Intentions Multi-Agent
592.4 Intention reconsideration in theory and practice - Parsons, Pettersson, Saffiotti.. (2000)(Correct)
Autonomous agents operating in complex dynamic environments
need the ability to integrate robust plan execution with
higher level reasoning. This paper describes work to combine low
level navigation... / on the belief desire intention BDI model. We discuss some of the br with a deliberator based on the belief desire intention BDI model.
575.0 Agents with Complex Plans: Design and Implementation of CASA - Flake, Geiger (2000)(Correct)
We describe the design of CASA, an agent
speci cation language that builds on the
formal agent speci cation approach AgentSpeak
(L) and extends it by concepts from
concurrent logic programming. Wi... / the MAS approach and particular the BDI architecture provides for. br for example de ned the notions of beliefs desires and intentions using
567.4 ALaDIn - A Language for Designing InteRRaP Agents - Rosinus (1996)(Correct)
Architecture for Rational Agents" [Rao and Georgeff, 1992] consists
of an interpreter, which deals with two atomic structures: events and actions.
Events are the inputs and can be external or interna... / are usually applied to humans. The BDI Architecture of Rao and br Georgeff uses notions as belief desire and intention. To
557.4 A Multi-Agent System for Emergent Process Management - Debenham (1999)(Correct)
A multi-agent system manages emergent business processes.
The agents in this system all have the same generic
architecture. The generic agent architecture is a three-layer
BDI, hybrid, multi-agent ... / agent architecture is a three-layer BDI hybrid multi-agent architecture. br . In that architecture world beliefs are derived either from reading
551.9 Model Checking Multiagent Systems (Extend Abstract) - Benerecetti, Giunchiglia, Serafini(Correct)
Massimo Benerecetti
1
, Fausto Giunchiglia
1;2
, Luciano Serafini
2
1
DISA - University of Trento,
Via Inama 13, 38050 Trento, Italy
2
IRST - Istituto Trentino di Cultura,
38050 Povo, Trento... / processes able to have what we call BDI attitudes i.e.beliefs desires br what we call BDI attitudes i.e.beliefs desires and intentions. see
539.9 Supporting Strategic Process - Debenham (2000)(Correct)
Strategic business processes are typically one-off processes of strategic organisational significance
that involve senior members of the organisation. Strategic business processes, and sub-processes,
... / agent architecture is a three-layer BDI hybrid architecture. The system br that can lead to non-trivial belief revision. Individual agents adapt
534.1 Failure, Monitoring and Recovery in the Agent Language 3APL - Hindriks, de Boer, van der Hoek.. (1998)(Correct)
In a complex and dynamic environment a situated
agent, like a mobile robot, has limited knowledge
resources and limited control. Sooner or later,
therefore, some kind of failure will occur when
a robo... / APL is designed to build so-called BDI-agents cf. Rao The br may be used to build agents. Beliefs Rules Goals Abilities Control
532.6 Dialogue frames in conflict resolution - Reed (1998)(Correct)
This paper discusses a number of ways of classifying
inter-agent conflict, and offer an overview of the informal
dialogue typology proposed by Walton and Krabbe [13]. A
formalisation of this typolog... / of mental attitudes such as the BDI logic the various attitudes do br directly sensed the change its beliefs will be in direct conflict with
522.2 Semantics of BDI Agents and their Environment - Morley (1996)(Correct)
This paper describes an approach for reasoning about the interactions of multiple agents in
moderately complex environments.
The semantics of Belief Desire Intention (BDI) agents has been investigated... / Semantics of BDI Agents and their Environment May br environments. The semantics of Belief Desire Intention BDI agents has
513.0 Contextual Deontic Logic: Normative Agents, Violations and.. - van der Torre (2001)(Correct)
this paper we discuss when and how to use deontic logic in multi agent systems unknown Preprint 0 (2001) ?{? 1
Contextual Deontic Logic:
Normative Agents, Violations and Independence
Leendert van de... / with some deliberation for example BDI agents and some futuristic br Cognitive concepts like beliefs desires and intentions are
503.1 Using BDI-Oriented Agents for Network Mangement - Cheikhrouhou(Correct)
This paper presents a novel approach to foster network management automation. Our approach is based on the use of intelligent agent technology as a means to provide feedback control of the managed net... / Using BDI-Oriented Agents for Network br are BDI oriented. They are based on beliefs capabilities motivations
486.7 A Logic of Relative Desire - Doyle, al. (1991)(Correct)
Although many have proposed formal characterizations of belief structures as bases for rational action, the problem of characterizing rational desires has attracted little attention. AI relies heavi... / formal characterizations of belief structures as bases for rational br pp. - . A Logic of Relative Desire Preliminary Report Jon
466.5 CASA - Structured Design of a Specification Language for Intelligent.. - Flake, Geiger (1999)(Correct)
The interest in agent based technologies in the sense of distributed computing is continuously increasing in academic and industrial research and development. But the concentration of research in di... / of MAS in general and the well-known BDI approach in particular we describe br certain mental capabilities e.g. beliefs goals desires intentions to
457.9 20 Questions on Dialogue Act Taxonomies - Traum(Correct)
There is currently a broad interest in dialogue acts and dialogue act taxonomies, and new
uses, taxonomies, and standardization efforts continue to be proposed. This paper presents a
discussion of i... / of the intuitive concept e.g.for belief an undesirable property of br indicating lack of certainty and desire for further feedback while
456.0 Dynamic Agents - Chen, Chundi, Dayal, Hsu (1999)(Correct)
this paper, we shall explain how dynamic behaviors are obtained and utilized
through automatic action installation, and inter-agent communication. We also
describe intra-agent communication between th... / Belief Desire and Intention BDI The belief of an br been modeled using the notions of Belief Desire and Intention BDI
443.6 Causal Pathways of Rational Action - Ortiz, Jr. (1994)(Correct)
A proper characterization of a rational agent's actions involves much more than simply recounting the changes in the world affected by the agent. It should also include an explanatory account connecti... / of belief desire and intention BDI of Cohen Levesque C L br behavior such as the logic of belief desire and intention BDI of
432.3 BibSearch: A Multi-Agent Bibliographic Searcher System - Low(Correct)
BibSearch is a multi-agent system which searches for full bibliographic references in the World Wide Web. It has concurrent agents specialising in certain domains. Each agent examines the information ... / It uses a Belief Desire Intention BDI architecture to support belief br system. This section will list all beliefs and plans of every agent in the
428.6 Agent-Oriented Architecture for Air Combat Simulation - Rao, Lucas, Morley (1993)(Correct)
Air combat modelling using graphical simulation is a powerful means for development
and evaluation of tactics. However, large models are particularly expensive and
time-consuming to maintain and modif... / is a situated system based on the BDI architecture that explicitly br be characterized as consisting of beliefs about the real world goals
427.3 When Management Agents Become Autonomous, How to Ensure Their.. - Cheikhrouhou, Labetoulle(Correct)
We propose to provide a prototype of an agent-based network management system in which, unreliable agents can be detected by the other agents. The detection method is based on having the agents testin... / model. This model is based on a BDI Belief Desire Intention like br by comparing their respective beliefs. The agents are specified using
420.5 Meeting Plan Recognition Requirements for Real-Time Air-Mission.. - At Io Ns (2000)(Correct)
In this paper, the potential synergy between instancebased
pattern recognition and means-end (possible
world) reasoning is explored, for supporting plan
recognition in multi-aeroplane air-mission simu... / belief desire and intentionality BDI model of procedural reasoning is br For plan recognition the belief desire and intentionality BDI
413.2 Acting in Service of Inference (and - Kumer(Correct)
We describe an integrated belief-desire-intention
(BDI) architecture that is capable of acting in service
of inference and vice versa. The results are achieved
by identifying the relationship between ... / integrated belief-desire-intention BDI architecture that is capable of br We describe an integrated belief-desire-intention BDI
407.1 Dynamic-Agents for Dynamic Service Provisioning - Qiming Chen Parvathi (1998)(Correct)
We claim that a dynamic-agent infrastructure can provide
a shift from static distributed computing to dynamic
distributed computing, and we have developed such an infrastructure
to realize such a shif... / their knowledge abilities and intentions to present requests and to
400.1 Revisiting rationality for agents with intentions - Cavedon (1995)(Correct)
Formal frameworks for the specification of autonomous agents are commonly based on
logics of intention and belief. Desirable properties for logics of intention are particularly
non-standard, even more... / of Belief Desire and Intention BDI have recently received much br based on logics of intention and belief. Desirable properties for logics
394.8 Multi-Agent Systems - Blanca(Correct)
Introduction, Terminology
2. Three Basic Architectures
3. Logic Based Architectures
4. Distributed Decision Making
5. Contract Nets, Coalition Formation
Overview 2
Chapter 2: Three Basic Architectur... / . Reactive Agents . BDI Agents . Layered Architectures br Blanca . BDI-Architecture Belief Desire Intention. From
379.9 Reinforcement and Bayesian Learning in Multiagent Systems: The MACS.. - Cantu(Correct)
In this paper, we describe ideas about the use of reinforcement and Bayesian learning in multiagent systems. We explore the application of these ideas in the context of the MACS (Multiagent COTR Syste... / their performance over time. c Belief-Desire-Intention architecture. br performance over time. c Belief-Desire-Intention architecture. The idea
379.1 Knowledge Modeling - State of the Art - Devedzic (2001)(Correct)
A major characteristic of developments in the broad field of Artificial Intelligence (AI)
during the 1990s has been an increasing integration of AI with other disciplines. A number of other
computer s... / it. Belief-desire-intention BDI agents. These agents internally br without reasoning about it. Belief-desire-intention BDI agents.
365.3 Shifts in Detail Through Temporal Zooming - Hornsby, Egenhofer (1999)(Correct)
Spatio-temporal knowledge representation often requires
shifting from one level of detail to another so that users
can carry out a desired task. Geographic information
systems typically treat such alt... / NSF grants IRI- SBR- BDI- and IIS- grants br or for conceptual objects the belief in or perception of an object.
357.2 Cooperative Plan Selection Through Trust - Griffiths, al (1999)(Correct)
Cooperation plays a fundamental role in multi-agent systems in which
individual agents must interact for the overall system to function effectively.
However, cooperation inherently involves an ele... / in the process of plan selection in BDI-like agents. Introduction br folk-psychology mental notions of belief desire and intention they are
353.4 Dialog modeling and reported speech in narrative. - Boella, Damiano, Lesmo(Correct)
In this paper, we suggest that AI techniques, especially
the ones developed in the field of agent
modeling and intelligent interfaces, can be exploited
both to build systems for narrative understandin... / of belief-desire-and-intention BDI agent seems to be relevant here. br In particular the notion of belief-desire-and-intention BDI agent