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.
- L. Allison. Models for machine learning and data mining in functional programming. Journal of Functional Programming, 15(1):15--32, 2005. Google Scholar
Digital Library
- J. J. Cole, M. J. Gray, J. W. Lloyd, and K. S. Ng. Personalisation for user agents. In F. Dignum and et al, editors, Fourth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 05), pages 603--610, 2005. Google Scholar
Digital Library
- R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995. Google Scholar
Digital Library
- M. Fitting. Types, Tableaus, and Gödel's God. Kluwer Academic Publishers, 2002. Google Scholar
Digital Library
- D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many- Dimensional Modal Logics: Theory and Applications. Studies in Logic and The Foundations of Mathematics, Volume 148. Elsevier, 2003.Google Scholar
- M. Gergatsoulis. Temporal and modal logic programming languages. In A. Kent and J. G. Williams, editors, Encyclopedia of Microcomputers, volume 27, supplement 6, pages 393--408. Marcel Dekker, 2001.Google Scholar
- M. Hanus (ed.). Curry: An integrated functional logic language. http://www.informatik.uni-kiel.de/~curry.Google Scholar
- M. Huhns and O. Shehory, editors. The Sixth International Joint Confer- ence on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, 2007. ACM Press.Google Scholar
- K. Kersting and L. De Raedt. Bayesian logic programming: Theory and tool. In L. Getoor and B. Taskar, editors, Introduction to Statistical Relational Learning. MIT Press, 2007.Google Scholar
- J. W. Lloyd. Programming in an integrated functional and logic language. Journal of Functional and Logic Programming, 1999(3), March 1999.Google Scholar
- J. W. Lloyd. Logic for Learning. Cognitive Technologies. Springer, 2003. Google Scholar
Digital Library
- J. W. Lloyd. Knowledge representation and reasoning in modal higher-order logic. http://users.rsise.anu.edu.au/~jwl, 2007.Google Scholar
- J. W. Lloyd and K. S. Ng. Probabilistic reasoning in a classical logic. http://users.rsise.anu.edu.au/~jwl, 2007a.Google Scholar
- J. W. Lloyd and K. S. Ng. Learning modal theories. In S. Muggleton, R. Otero, and A. Tamaddoni-Nezhad, editors, Proceedings of the 16th International Conference on Inductive Logic Programming (ILP 2006), pages 320--334. Springer, LNAI 4455, 2007b. Google Scholar
Digital Library
- B. Milch and S. Russell. First-order probabilistic languages: Into the unknown. In S. Muggleton, R. Otero, and A. Tamaddoni-Nezhad, editors, Proceedings of the 16th International Conference on Inductive Logic Programming, 2007. Google Scholar
Digital Library
- B. Milch, B. Marthi, S. Russell, D. Sontag, D. L. Ong, and A. Kolobov. BLOG: Probabilistic models with unknown objects. In L. P. Kaelbling and A. Saffiotti, editors, Proceedings of the 19th International Joint Conference on Artificial Intelligence, pages 1352--1359, 2005. Google Scholar
Digital Library
- T. M. Mitchell. Machine Learning. McGraw-Hill, 1997. Google Scholar
Digital Library
- S. Muggleton. Stochastic logic programs. In L. De Raedt, editor, Advances in Inductive Logic Programming, pages 254--264. IOS Press, 1996.Google Scholar
- L. A. Nguyen. Multimodal logic programming. Theoretical Computer Science, 360:247--288, 2006. Google Scholar
Digital Library
- S. Park, F. Pfenning, and S. Thrun. A probabilistic language based upon sampling functions. In Proceedings of the 32nd ACM Symposium on Principles of Programming Languages, pages 171--182, 2005. Google Scholar
Digital Library
- S. L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall, 1987. Google Scholar
Digital Library
- N. Ramsey and A. Pfeffer. Stochastic lambda calculus and monads of probability distributions. In Proceedings of the 29th ACM Symposium on Principles of Programming Languages, pages 154--165, 2002. Google Scholar
Digital Library
- M. Richardson and P. Domingos. Markov logic networks. Machine Learning, 62:107--136, 2006. Google Scholar
Digital Library
- R. Rivest. Learning decision lists. Machine Learning, 2(3):229--246, 1987. Google Scholar
Digital Library
- S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, second edition, 2002. Google Scholar
Digital Library
Index Terms
Declarative programming for artificial intelligence applications
Recommendations
Declarative programming for artificial intelligence applications
Proceedings of the ICFP '07 conferenceIn 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 ...
What Is Object-Oriented Programming?
The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Comments on "Language Design for Program Manipulation"
The paper by E.A.T. Merks et al. "Language design for program manipulation" identifies design principles for a procedural or object-oriented language whose programs will be easier to manipulate. However, it neglects to relate these design principles to ...







Comments