A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2010
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2010
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the fifth international conference on Autonomous agents - AGENTS '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2019
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Multi-Agent Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2003
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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]
2001
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Applied Research and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2002
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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