1,721,003 research outputs found
The DALI Logic Programming Agent-Oriented Language
No full textIn this paper we shortly describe the DALI agent-oriented logic programming language, that we have defined and implemented. We provide references to other relevant papers about DALI, and we explain how to use the DALI interpreter, which is publicly available at URL http://www.di.univaq.it/stefcost/Sito-Web-DALI/WEB-DALI/index.ph
About declarative semantics of logic-based agent languages
No full textIn this paper we cope with providing an approach to declarative semantics
of logic-based agent-oriented languages, taking then as a case-study the
language DALI which has been previously defined by the authors. This “evolutionary
semantics” does not resort to a concept of state: rather, it models reception
of events as program transformation steps, that produce a “program evolution”
and a corresponding “semantic evolution”. Communication among agents
and multi-agent systems is also taken into account. The aim is that of modeling
agent’s evolution according to either external (environmental) or internal changes
in a logical way, thus allowing in principle the adoption of formal verification
methods. We also intend to create a common ground for relating and comparing
different approaches/languages
- …
