A Dynamic Logic Programming Based System for Agents with Declarative Goals
نویسندگان
چکیده
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. It is therefore in a natural way that we use Dynamic Logic Programming (DLP), an extension of AnswerSet Programming that allows for the representation of knowledge that changes with time, to represent the goals of the agent and their evolution, in a simple, declarative, fashion. In this paper, we represent agent’s goals as a DLP, discuss and show how to represent some situations where the agent should adopt or drop goals, and investigate some properties that emerge from using such representation.
منابع مشابه
Using Dynamic Logic Programming to Obtain Agents with Declarative Goals – preliminary report
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. It is therefore in a natural way that we use Dynamic Logic Programming (DLP), an extension of AnswerSet Programming that allows for the representation of knowledge that changes with time, to represent the goals of the...
متن کامل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...
متن کاملAgent Programming in Dribble: From Beliefs to Goals with Plans
To support the practical development of intelligent agents, several programming languages have been introduced that incorporate concepts from agent logics: on the one hand, we have languages that incorporate beliefs and plans (i.e., procedural goals), and on the other hand, languages that implement the concepts of beliefs and (declarative) goals. We propose the agent programming language Dribbl...
متن کاملRational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals
. In AAMAS-09 (2009) 1155–1156 [9] Khan, S.M.: Agent Programming Languages with Declarative Goals : A Survey. Technical Report CSE-2007-07, York University, Toronto, ON, Canada, http://www.cse.yorku.ca/techreports/2007/ (2007) [10] Shapiro, S., Brewka, G.: Dynamic Interactions Between Goals and Beliefs. In IJCAI-07 (2007) 2625–2630
متن کاملA Declarative Language for Dynamic Multimedia Interaction Systems
Universal Timed Concurrent Constraint Programming (utcc) is a declarative model for concurrency tied to logic. It aims at specifying mobile reactive systems, i.e., systems that continuously interact with the environment and may change their communication structure. In this paper we argue for utcc as a declarative model for dynamic multimedia interaction systems. Firstly, we show that the notion...
متن کامل