Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems（2010）
摘要
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.
更多查看译文
关键词
Declarative programming,Multi-agent systems,Multi-modal logic,Higher-order logic,Modal programming,Probabilistic programming
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要