Declarative programming for artificial intelligence applications

John W. Lloyd

doi:10.1145/1291151.1291152

Declarative programming for artificial intelligence applications

John W. Lloyd^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

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.

Original language	English
Title of host publication	ICFP'07
Subtitle of host publication	Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming
Pages	123-124
Number of pages	2
DOIs	https://doi.org/10.1145/1291151.1291152
Publication status	Published - 2007
Event	ICFP'07: 12th ACM SIGPLAN International Conference on Functional Programming - Freiburg, Germany Duration: 1 Oct 2007 → 3 Oct 2007

Publication series

Name	Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Conference

Conference	ICFP'07: 12th ACM SIGPLAN International Conference on Functional Programming
Country/Territory	Germany
City	Freiburg
Period	1/10/07 → 3/10/07

Access to Document

10.1145/1291151.1291152

Cite this

@inproceedings{ba5c7b52c9fe4796b7b697f21f1db9d2,

title = "Declarative programming for artificial intelligence applications",

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 = "Functional, Logic, Modal, Probabilistic, Programming",

author = "Lloyd, {John W.}",

year = "2007",

doi = "10.1145/1291151.1291152",

language = "English",

isbn = "9781595938152",

series = "Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP",

pages = "123--124",

booktitle = "ICFP'07",

note = "ICFP'07: 12th ACM SIGPLAN International Conference on Functional Programming ; Conference date: 01-10-2007 Through 03-10-2007",

}

Lloyd, JW 2007, Declarative programming for artificial intelligence applications. in ICFP'07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming. Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, pp. 123-124, ICFP'07: 12th ACM SIGPLAN International Conference on Functional Programming, Freiburg, Germany, 1/10/07. https://doi.org/10.1145/1291151.1291152

Declarative programming for artificial intelligence applications. / Lloyd, John W.
ICFP'07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming. 2007. p. 123-124 (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Declarative programming for artificial intelligence applications

AU - Lloyd, John W.

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - Functional

KW - Logic

KW - Modal

KW - Probabilistic

KW - Programming

UR - http://www.scopus.com/inward/record.url?scp=38849135831&partnerID=8YFLogxK

U2 - 10.1145/1291151.1291152

DO - 10.1145/1291151.1291152

M3 - Conference contribution

SN - 9781595938152

T3 - Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

SP - 123

EP - 124

BT - ICFP'07

T2 - ICFP'07: 12th ACM SIGPLAN International Conference on Functional Programming

Y2 - 1 October 2007 through 3 October 2007

ER -

Declarative programming for artificial intelligence applications

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this