BDI Agents Martin Beer, School of Computing & Management Sciences,

Slides:



Advertisements
Similar presentations
Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California USA
Advertisements

On Experimenting with AgentSpeak(L) Agents Ioannis Svigkos June 2004 Harrow School of Computer Science.
ARCHITECTURES FOR ARTIFICIAL INTELLIGENCE SYSTEMS
Chapter 15: Agents Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.
Formal Semantics for an Abstract Agent Programming Language K.V. Hindriks, Ch. Mayer et al. Lecture Notes In Computer Science, Vol. 1365, 1997
Title: Intelligent Agents A uthor: Michael Woolridge Chapter 1 of Multiagent Systems by Weiss Speakers: Tibor Moldovan and Shabbir Syed CSCE976, April.
5-1 Chapter 5: REACTIVE AND HYBRID ARCHITECTURES.
1 Software Design Introduction  The chapter will address the following questions:  How do you factor a program into manageable program modules that can.
What is Software Design?  Introduction  Software design consists of two components, modular design and packaging.  Modular design is the decomposition.
Software Design Deriving a solution which satisfies software requirements.
Outline Overview of agent architectures Deliberative agents
Embedded System Lab Kim Jong Hwi Chonbuk National University Introduction to Intelligent Robots.
What exactly is an agent? James Harland 23rd November, 2009.
Faculty of Management and Organization Emergence of social constructs and organizational behaviour How cognitive modelling enriches social simulation Martin.
Specifying Agent Interaction Protocols with AUML and OCL COSC 6341 Project Presentation Alexei Lapouchnian November 29, 2000.
Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.
LEARNING FROM OBSERVATIONS Yılmaz KILIÇASLAN. Definition Learning takes place as the agent observes its interactions with the world and its own decision-making.
JACK Intelligent Agents and Applications Hitesh Bhambhani CSE 6362, SPRING 2003 Dr. Lawrence B. Holder.
Artificial Intelligence and Lisp Lecture 4 LiU Course TDDC65 Autumn Semester, 2010
Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site
4-1 Chapter 4: PRACTICAL REASONING An Introduction to MultiAgent Systems
Autonomous Agents Overview. Topics Theories: logic based formalisms for the explanation, analysis, or specification of autonomous agents. Languages: agent-based.
Design of Multi-Agent Systems Teacher Bart Verheij Student assistants Albert Hankel Elske van der Vaart Web site
1 Chapter 19 Intelligent Agents. 2 Chapter 19 Contents (1) l Intelligence l Autonomy l Ability to Learn l Other Agent Properties l Reactive Agents l Utility-Based.
UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering CSCE 580 Artificial Intelligence Ch.2 [P]: Agent Architectures and Hierarchical.
The Robotics Institute
Inventing Hybrid Control The basic idea is simple: we want the best of both worlds (if possible). The goal is to combine closed-loop and open-loop execution.
System Design & Software Architecture
INTRODUCTION TO ARTIFICIAL INTELLIGENCE Massimo Poesio Intelligent agents.
Introduction to Jadex programming Reza Saeedi
Software Agent - BDI architecture -. Outline BDI Agent AgentSpeak(L) Summary 1/39.
1 AI and Agents CS 171/271 (Chapters 1 and 2) Some text and images in these slides were drawn from Russel & Norvig’s published material.
Agent Architectures Michal Jakob Agent Technology Center, Dept. of Cybernetics, FEE Czech Technical University A4M33MAS Autumn Lect. 2 (based on.
1 ECE 453 – CS 447 – SE 465 Software Testing & Quality Assurance Instructor Kostas Kontogiannis.
Knowledge Engineering and Agent Technology
HOW PROFESSIONALS LEARN AND ACQUIRE EXPERTISE  Model of professionals as learners:  How professionals know  How professionals incorporate knowledge.
Belief Desire Intention Agents Presented by Justin Blount From Reasoning about Rational Agents By Michael Wooldridge.
EEL 5937 Models of agents based on intentional logic EEL 5937 Multi Agent Systems.
Policy Influencing strategies & Tactics. What is Public policy? Public policy: It is a guideline to the actions of the governments in addressing societal.
Procedures for managing workflow components Workflow components: A workflow can usually be described using formal or informal flow diagramming techniques,
Computer Science 25/10/20151 Agent Communication BDI Logic CPSC /CPSC Rob Kremer Department of Computer Science University of Calgary Based.
Multi-Agent Systems University “Politehnica” of Bucarest Spring 2011 Adina Magda Florea curs.cs.pub.ro.
EEL 5937 Agent models. EEL 5937 Multi Agent Systems Lecture 4, Jan 16, 2003 Lotzi Bölöni.
University of Windsor School of Computer Science Topics in Artificial Intelligence Fall 2008 Sept 11, 2008.
October 27, 2006 BDI Agents and AgentSpeak(L) Romelia Plesa PhD Candidate SITE, University of Ottawa.
Geoinformatics 2006 University of Texas at El Paso Evaluating BDI Agents to Integrate Resources Over Cyberinfrastructure Leonardo Salayandía The University.
Ann Nowe VUB 1 What are agents anyway?. Ann Nowe VUB 2 Overview Agents Agent environments Intelligent agents Agents versus objects.
Lecture 2 Multi-Agent Systems Lecture 2 University “Politehnica” of Bucarest Adina Magda Florea
Multiagent System Katia P. Sycara 일반대학원 GE 랩 성연식.
Lecture 2 Multi-Agent Systems Lecture 2 Computer Science WPI Spring 2002 Adina Magda Florea
Richard Tynan, G.M.P. O’Hare, Michael O’Grady & Conor Muldoon School of Computer Science & Informatics University College Dublin Ireland.
Introduction to Operations Research. MATH Mathematical Modeling 2 Introduction to Operations Research Operations research/management science –Winston:
Agent Overview. Topics Agent and its characteristics Architectures Agent Management.
Analysis Yaodong Bi. Introduction to Analysis Purposes of Analysis – Resolve issues related to interference, concurrency, and conflicts among use cases.
WP6 - D6.1 Design of integrated models ISTC-CNR September, 26/27, 2005 ISTC-CNR September, 26/27, 2005.
Intelligent Agents Chapter 2. How do you design an intelligent agent? Definition: An intelligent agent perceives its environment via sensors and acts.
Lecture 4 Multi-Agent Systems Lecture 4 Computer Science WPI Spring 2002 Adina Magda Florea
The Agent and Environment Presented By:sadaf Gulfam Roll No:15156 Section: E.
Information Systems in Organizations 2.1 Analyzing organizations as systems and processes & Modeling Processes with Swimlane Diagrams.
A Normative and Intentional Agent Model for Organisation Modelling
Service-Oriented Computing: Semantics, Processes, Agents
Decision Support Systems
Do software agents know what they talk about?
CMSC 691M Agent Architectures & Multi-Agent Systems
Intelligent Agents Chapter 2.
Service-Oriented Computing: Semantics, Processes, Agents
Agent Communications BDI Definitions
Michael Wooldridge presented by Kim Sang Soon
EA C461 – Artificial Intelligence Problem Solving Agents
Service-Oriented Computing: Semantics, Processes, Agents
Presentation transcript:

BDI Agents Martin Beer, School of Computing & Management Sciences, Sheffield Hallam University, Sheffield, United Kingdom m.beer@shu.ac.uk

Introduction A Brief Introduction to BDI Agents BDI Architectures Layering Agent Architectures

BDI (Belief-Desire-Intention) architectures High-level specifications of a practical component of an architecture for a resource-bounded agent. It performs means-end analysis, weighting of competing alternatives and interactions between these two forms of reasoning Beliefs = information the agent has about the world Desires = state of affairs that the agent would wish to bring about Intentions = desires the agent has committed to achieve BDI - a theory of practical reasoning - Bratman, 1988 intentions play a critical role in practical reasoning - limits options, DM simpler 3

BDI particularly compelling because: philosophical component - based on a theory of rational actions in humans software architecture - it has been implemented and successfully used in a number of complex fielded applications IRMA (Intelligent Resource-bounded Machine Architecture) PRS - Procedural Reasoning System logical component - the model has been rigorously formalized in a family of BDI logics Rao & Georgeff, Wooldrige (Int i  )   (Bel i ) 4

BDI Architecture 5 percepts Belief revision Beliefs B = brf(B, p) Knowledge B = brf(B, p) Opportunity analyzer Deliberation process Desires I = options(D, I) Intentions Filter Means-end reasonner I = filter(B, D, I) Intentions structured in partial plans  = plan(B, I) Library of plans Plans Executor 5 actions

6 Roles and properties of intentions Intentions drive means-end analysis Intentions constraint future deliberation Intentions persist Intentions influence beliefs upon which future practical reasoning is based Agent control loop B = B0 I = I0 D = D0 while true do get next perceipt p B = brf(B,p) I = options(D,I) I = filter(B, D, I)  = plan(B, I) execute() end while 6

Commitment strategies If an option has successfully passed trough the filter function and is chosen by the agent as an intention, we say that the agent has made a commitment to that option Commitments implies temporal persistence of intentions; once an intention is adopted, it should not be immediately dropped out. Question: How committed an agent should be to its intentions? Blind commitment Single minded commitment Open minded commitment Note that the agent is committed to both ends and means. 7

8 Revised BDI agent control loop B = B0 I = I0 D = D0 while true do get next perceipt p B = brf(B,p) I = options(D,I) I = filter(B, D, I)  = plan(B, I) while not (empty() or succeeded (I, B) or impossible(I, B)) do  = head() execute()  = tail() if not sound(, I, B) then end while Revised BDI agent control loop Dropping intentions that are impossible or have succeeded Reactivity, replan 8

Layered agent architectures Combine reactive and pro-active behavior At least two layers, for each type of behavior Horizontal layering - i/o flows horizontally Vertical layering - i/o flows vertically Action output Action output Layer n … Layer 2 Layer 1 Layer n … Layer 2 Layer 1 Layer n … Layer 2 Layer 1 Action output perceptual input Vertical Horizontal perceptual input perceptual input 9

TouringMachine 10 - uses a library of plan skeletons called schemas Horizontal layering - 3 activity producing layers, each layer produces suggestions for actions to be performed reactive layer - set of situation-action rules, react to precepts from the environment planning layer - pro-active behavior - uses a library of plan skeletons called schemas - hierarchical structured plans refined in this layer modeling layer - represents the world, the agent and other agents - set up goals, predicts conflicts - goals are given to the planning layer to be achieved Control subsystem - centralized component, contains a set of control rules - the rules: suppress info from a lower layer to give control to a higher one - censor actions of layers, so as to control which layer will do the actions 10