Filters








10,533 Hits in 7.7 sec

Logical Foundations for a Rational BDI Agent Programming Language (Extended Version) [chapter]

Shakil M. Khan, Yves Lespérance
2012 Lecture Notes in Computer Science  
In this paper, we develop logical foundations for a rational BDI agent programming framework with prioritized declarative goals that addresses this deficiency.  ...  To provide efficiency, current BDI agent programming languages with declarative goals only support a limited form of rationality -they ignore other concurrent intentions of the agent when selecting plans  ...  Formalization of Prioritized Goals In [13] , we proposed a logical framework for modeling prioritized goals and their dynamics.  ... 
doi:10.1007/978-3-642-31915-0_1 fatcat:sooqhs4s4jakbal3c27fjyzvge

An Architecture for a Rational Reactive Agent [chapter]

Pierangelo Dell'Acqua, Mattias Engberg, Luís Moniz Pereira
2003 Lecture Notes in Computer Science  
The paper addresses issues raised by the interaction of the rational and reactive behaviour of the agent, and its updating mechanism. We relate it with the work of others.  ...  We present an architecture for a rational, reactive agent and describe its implementation.  ...  Warren for the implementation of break like interrupts in XSB-Prolog, and Miguel Calejo for InterProlog adaptations.  ... 
doi:10.1007/978-3-540-24580-3_44 fatcat:ot6lvwvlubf4npafk7fc3qg6mi

The adversarial activity model for bounded rational agents

Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein
2010 Autonomous Agents and Multi-Agent Systems  
In complex environments, attempts to use classical utility-based search methods with bounded rational agents can raise a variety of difficulties (e.g. implicitly modeling the opponent as an omniscient  ...  This paper presents the Adversarial Activity model, a formal Beliefs-Desires-Intentions (BDI) based model for bounded rational agents operating in a zero-sum environment.  ...  More recently, with the advancements in agent-based programming solutions, new BDI-based practical abstract programming languages have emerged including: 3APL [28] , AgentsSpeak [48] , GOLOG [37] ,  ... 
doi:10.1007/s10458-010-9153-2 fatcat:wkafvd2b7vhepc25rev6zzba6i

Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? [chapter]

Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
2010 Lecture Notes in Computer Science  
Ideally, as AOP programmers, we need not be too concerned with how an agent achieves its goals.  ...  In AOP, the idea is that, as in declarative programming, we state our goals, and let the built-in control mechanism figure out what to do in order to achieve them.  ...  Acknowledgments The authors acknowledge Alexander Pokahr and Lars Braubach for their support in describing Jadex applications, and Maaike Harbers and Mehdi Dastani for the help in describing 2APL ones.  ... 
doi:10.1007/978-3-642-14309-0_10 fatcat:xook75zcjrhdbpoqqlq4ck2rmy

A BDI agent programming language with failure handling, declarative goals, and planning

Sebastian Sardina, Lin Padgham
2010 Autonomous Agents and Multi-Agent Systems  
In this paper we develop a typical BDI-style agent-oriented programming language that enhances usual BDI programming style with three distinguished features: declarative goals, look-ahead planning, and  ...  Typical BDI agent-oriented programming languages rely on user-provided "plan libraries" to achieve goals, and online context sensitive subgoal selection and expansion.  ...  Acknowledgements We acknowledge Michael Winikoff, John Thangarajah, and James Harland for the original work, together with the second author in this paper, on goal-programs reported in [73] .  ... 
doi:10.1007/s10458-010-9130-9 fatcat:vsgmenvqqfgpzjhntiy6ix3vk4

A development toolkit to realize autonomous and interoperable agents

Federico Bergenti, Agostino Poggi
2001 Proceedings of the fifth international conference on Autonomous agents - AGENTS '01  
At this level, agents are seen as Java programs and the developer is provided with a development library to integrate her code within the generated skeletons.  ...  This toolkit provides the developer with a goal-oriented agent architecture for FIPAcompliant agents.  ...  Obviously, goal-oriented agents are also autonomous because their behavior should not be explicitly programmed but it is deduced from their beliefs and goals.  ... 
doi:10.1145/375735.376474 dblp:conf/agents/BergentiP01 fatcat:jaur2php5zfvfmr72ja4cokbc4

Specification of Heterogeneous Agent Architectures [chapter]

Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini
2001 Lecture Notes in Computer Science  
HEMASL is a simple meta-language used to specify intelligent agents and multiagent systems when different and heterogeneous agent architectures must be used.  ...  The paper describes some of the features of the language, presents examples of its use and outlines its operational semantics.  ...  The authors thank Valeria Perricone for her helpful contribution in improving the presentation of the paper, and the anonymous referees for their useful comments.  ... 
doi:10.1007/3-540-44631-1_19 fatcat:gtik7qd33zbvlin4g36xwmm5xy

Agent planning programs

Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardina
2016 Artificial Intelligence  
This work proposes a novel high-level paradigm, agent planning programs, for modeling agents behavior, which suitably mixes automated planning with agent-oriented programming.  ...  Agent planning programs are finite-state programs, possibly containing loops, whose atomic instructions consist of a guard, a maintenance goal, and an achievement goal, which act as precondition-invariance-postcondition  ...  Acknowledgements The authors would like to thank the anonymous reviewers for their suggestions and comments that helped improve the paper in significant ways.  ... 
doi:10.1016/j.artint.2015.10.001 fatcat:x3rczbkh4jajhfau5pqhbojyte

Integrating CP-Nets in Reactive BDI Agents [chapter]

Mostafa Mohajeri Parizi, Giovanni Sileno, Tom van Engers
2019 Lecture Notes in Computer Science  
This solution contrasts with recent proposals integrating preferences as a rationale in the decision making cycle, and so overriding the reactive nature of BDI agents.  ...  For effective execution, the procedural knowledge and the preferential structure of the agent are mapped in an off-line fashion into a new reactive agent script.  ...  Advanced Logistics (TKI Dinalog, www.dinalog.nl) of the Ministry of Economy and Environment in The Netherlands and the Commit-to-Data initiative (commit2data.nl), and partly within the NWO-funded program  ... 
doi:10.1007/978-3-030-33792-6_19 fatcat:tkuqb7rdhndudnmiw4zxn74nvq

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents [chapter]

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardina
2009 Multi-Agent Programming  
Programs are executed online together with sensing the environment and monitoring for events, thus supporting the development of reactive agents.  ...  IndiGolog is a programming language for autonomous agents that sense their environment and do planning as they operate. Instead of classical planning, it supports high-level program execution.  ...  Acknowledgements The late Ray Reiter was a major contributor to Golog and to our approach to agent programming.  ... 
doi:10.1007/978-0-387-89299-3_2 fatcat:azbnddnhnrdhbpysfnwybmf5xq

Logic-Based Specification Languages for Intelligent Software Agents [article]

Viviana Mascardi, Maurizio Martelli, Leon Sterling
2003 arXiv   pre-print
The six languages are ConGoLog, Agent-0, the IMPACT agent programming language, DyLog, Concurrent METATEM and Ehhf.  ...  A comparison of the six languages and a survey of similar approaches complete the paper, together with considerations of the advantages of using logic-based languages in MAS modeling and prototyping.  ...  We also thank Matteo Baldoni (University of Torino, Italy), for his clarification on some aspects related with Dylog and Paolo Torroni (University of Bologna, Italy) for his support in the description  ... 
arXiv:cs/0311024v1 fatcat:2kaahbviqjfe5ea6noivhq4yly

Using Methods of Declarative Logic Programming for Intelligent Information Agents [article]

T. Eiter, M. Fink, G. Sabbatini, H. Tompits
2001 arXiv   pre-print
We then focus on declarative knowledge-representation methods, and review and evaluate approaches from logic programming and nonmonotonic reasoning for information agents.  ...  In this paper, our interest is in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for information agents.  ...  This work was partially supported by the Austrian Science Fund (FWF) under grants P13871-INF, P14781-INF, and Z29-INF.  ... 
arXiv:cs/0108008v1 fatcat:tg6xs5g2qfhypinc7rvjv2v2t4

Multi‐agent system for the making of intelligence and interactive decisions wit

A. Canales-Cruz, V. G. Sánchez-Arias, F. Cervantes-Pérez, R. Peredo-Valderrama
2009 Journal of Applied Research and Technology  
The main focus of this paper is to show the concepts, architectures, interaction techniques, and general approaches to the analysis and specification of a multi‐agent system for the making of intelligence  ...  These contributions are applied in the development of an integrated system for Web‐based education with powerful adaptivity for the management, authoring, delivery and monitoring of learning content.  ...  In addition, a more declarative way of accessing beliefs and belief sets is provided by the Object Query Language (OQL) -like queries.  ... 
doi:10.22201/icat.16656423.2009.7.03.490 fatcat:x53qysvo7jaeflmk6uw65lwmue

An Agent-Based Approach to Realize Emergent Configurations in the Internet of Things

Fahed Alkhabbas, Romina Spalazzese, Paul Davidsson
2020 Electronics  
To address these challenges, we exploit Artificial Intelligence (AI) to engineer smart IoT systems that can achieve user goals and cope with the dynamicity and uncertainty of their environments.  ...  An EC is an IoT system composed of a dynamic set of things that connect and cooperate temporarily to achieve a user goal.  ...  with dynamicity and uncertainty in their environments.  ... 
doi:10.3390/electronics9091347 fatcat:mhb5i5xy6zc6zbvaurcinby4mq

Using methods of declarative logic programming for intelligent information agents

THOMAS EITER, MICHAEL FINK, GIULIANA SABBATINI, HANS TOMPITS
2002 Theory and Practice of Logic Programming  
We then focus on declarative knowledge-representation methods, and review and evaluate approaches and methods from logic programming and nonmonotonic reasoning for information agents.  ...  In this paper, our interest lies in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for information agents.  ...  This work was partially supported by the Austrian Science Fund (FWF) under grants P13871-INF, P14781-INF, and Z29-INF.  ... 
doi:10.1017/s1471068402001576 fatcat:zy4b2jbtnje6righqsq4l2s324
« Previous Showing results 1 — 15 out of 10,533 results