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.

• Type: Journal
• Year: 2011
• Where: AAMAS
• Authors: John W. Lloyd, Kee Siong Ng
• Keywords: AAMAS 2011, Declarative Programming Language, Intelligent Agents, Probabilistic Computation, Programming Idioms