Declarative programming for artificial intelligence applications

Authors:
John W. Lloyd
Affiliations:
The Australian National University, Canberra, UNK, Australia
Venue:
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Year:
2007

Citing 16
Cited 1

Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Reasoning about knowledge

Reasoning about knowledge
Stochastic lambda calculus and monads of probability distributions

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Machine Learning

Machine Learning
Learning Decision Lists

Machine Learning
Types, Tableaus, and Godel's God

Types, Tableaus, and Godel's God
Logic and Learning

Logic and Learning
Models for machine learning and data mining in functional programming

Journal of Functional Programming
A probabilistic language based upon sampling functions

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Personalisation for user agents

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Markov logic networks

Machine Learning
Multimodal logic programming

Theoretical Computer Science
First-Order Probabilistic Languages: Into the Unknown

Inductive Logic Programming
Learning Modal Theories

Inductive Logic Programming
BLOG: probabilistic models with unknown objects

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

A practical management of fuzzy truth-degrees using FLOPER

RuleML'10 Proceedings of the 2010 international conference on Semantic web rules

Quantified Score

Hi-index	0.00

Visualization

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.