Declarative Agent Languages and Technologies Workshop Organisers Programme Committee Steering Committee Additional Reviewers Composing High-level Plans for Declarative Agent Programming . . . . . . . . . . 115 Integrating Agent Models and Dynamical Systems
نویسندگان
چکیده
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows how to model complex agent systems, integrating quantitative, numerical and qualitative, logical aspects, and how to combine logical and mathematical analysis methods.
منابع مشابه
Composing High-Level Plans for Declarative Agent Programming
Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an agent from reasoning about alternative courses of action for the achievement of its design objectives. In this paper we show how a procedural agent model can be modified to allow an agent to compose existing plans into new one...
متن کاملOverview of the Workshop on Ontologies in Agent Systems
The Workshop on Ontologies in Agent Systems took place at the 5th International Conference on Autonomous Agents, Montreal, Canada, 2001. This overview provides a summary of the aims and outcomes of the workshop. 1. WORKSHOP AIMS The potential benefits and technical difficulties of sharing information between heterogeneous and distributed agents (both human and software) have led various researc...
متن کاملLogical Foundations for a Rational BDI Agent Programming Language (Extended Version)
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, and as a consequence, the selected plans may be inconsistent with these intentions. In this paper, we develop logical foundations for a rational BDI agent programming framework with prioritiz...
متن کاملAgent Programming with Declarative Goals
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have not incorporated the concept of a declarative goal. Instead, such frameworks have ...
متن کاملAn Agent Program Logic with Declarative Goals
It has been argued that declarative goals provide for a natural conceptual tool for designing as well as programming agents. This has given rise to various proposals for integrating declarative goals into programming languages. It is not always clear, however, how to estahblish a precise relation to logical agent theories to reason about such agents. In this paper, we propose an agent programmi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007