Declarative programming for agent applications
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic programming idioms, higher-order functions, modal computation, probabilistic computation, and some theorem-proving capabilities. The need for these features is motivated and examples are given to illustrate the central ideas.
|Collections||ANU Research Publications|
|Source:||Autonomous Agents and Multi-Agent Systems|
|01_Lloyd_Declarative_programming_for_2010.pdf||1.69 MB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.