Declarative programming for agent applications

Date

2010

Authors

Lloyd, John
Ng, Kee Siong

Journal Title

Journal ISSN

Volume Title

Publisher

Springer

Abstract

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.

Description

Keywords

Keywords: Declarative Programming; Higher order logic; Modal programming; Multi-modal logic; Probabilistic programming; Functional programming; Intelligent agents; Logic programming; Probabilistic logics; Theorem proving; Multi agent systems Declarative programming; Higher-order logic; Modal programming; Multi-agent systems; Multi-modal logic; Probabilistic programming

Citation

Source

Autonomous Agents and Multi-Agent Systems

Type

Journal article

Book Title

Entity type

Access Statement

License Rights

DOI

10.1007/s10458-010-9138-1

Restricted until

2037-12-31