Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Declarative programming for artificial intelligence applications

Date

Authors

Lloyd, John

Publisher

Association for Computing Machinery Inc (ACM)

Abstract

In this talk, I will consider some possible extensions to existing functional programming languages that would make them more suitable for the important and growing class of artificial intelligence applications. First, I will motivate the need for these language extensions. Then I will give some technical detail about these extensions that provide the logic programming idioms, probabilistic computation, and modal computation. Some examples will be given to illustrate these ideas which have been implemented in the Bach programming language that is an extension of Haskell.

Keywords

Keywords: Artificial intelligence applications; Declarative programming; Functional programming languages; Language extensions; Artificial intelligence; Computer programming languages; Logic programming; Modal analysis; Probability; Functional programming Functional; Logic; Modal; Probabilistic; Programming

URI

http://hdl.handle.net/1885/38185

Collections

ANU Research Publications

Source

Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP 2007)

Type

Conference paper

DOI

10.1145/1291151.1291152

Restricted until

2037-12-31

Downloads

File

Description

01_Lloyd_Declarative_programming_for_2007.pdf (78.13 KB)

02_Lloyd_Declarative_programming_for_2007.pdf (153.78 KB)

03_Lloyd_Declarative_programming_for_2007.pdf (201.73 KB)

04_Lloyd_Declarative_programming_for_2007.pdf (180.15 KB)

05_Lloyd_Declarative_programming_for_2007.pdf (576.05 KB)