skip to main content
10.1145/1291151.1291152acmconferencesArticle/Chapter ViewAbstractPublication PagesicfpConference Proceedingsconference-collections
Article

Declarative programming for artificial intelligence applications

Published:01 October 2007Publication History

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.

References

  1. L. Allison. Models for machine learning and data mining in functional programming. Journal of Functional Programming, 15(1):15--32, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  3. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. M. Fitting. Types, Tableaus, and Gödel's God. Kluwer Academic Publishers, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle Scholar
  6. 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 ScholarGoogle Scholar
  7. M. Hanus (ed.). Curry: An integrated functional logic language. http://www.informatik.uni-kiel.de/~curry.Google ScholarGoogle Scholar
  8. 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 ScholarGoogle Scholar
  9. 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 ScholarGoogle Scholar
  10. J. W. Lloyd. Programming in an integrated functional and logic language. Journal of Functional and Logic Programming, 1999(3), March 1999.Google ScholarGoogle Scholar
  11. J. W. Lloyd. Logic for Learning. Cognitive Technologies. Springer, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. J. W. Lloyd. Knowledge representation and reasoning in modal higher-order logic. http://users.rsise.anu.edu.au/~jwl, 2007.Google ScholarGoogle Scholar
  13. J. W. Lloyd and K. S. Ng. Probabilistic reasoning in a classical logic. http://users.rsise.anu.edu.au/~jwl, 2007a.Google ScholarGoogle Scholar
  14. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  17. T. M. Mitchell. Machine Learning. McGraw-Hill, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. S. Muggleton. Stochastic logic programs. In L. De Raedt, editor, Advances in Inductive Logic Programming, pages 254--264. IOS Press, 1996.Google ScholarGoogle Scholar
  19. L. A. Nguyen. Multimodal logic programming. Theoretical Computer Science, 360:247--288, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  21. S. L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  23. M. Richardson and P. Domingos. Markov logic networks. Machine Learning, 62:107--136, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. R. Rivest. Learning decision lists. Machine Learning, 2(3):229--246, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, second edition, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Declarative programming for artificial intelligence applications

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
          October 2007
          346 pages
          ISBN:9781595938152
          DOI:10.1145/1291151
          • cover image ACM SIGPLAN Notices
            ACM SIGPLAN Notices  Volume 42, Issue 9
            Proceedings of the ICFP '07 conference
            September 2007
            331 pages
            ISSN:0362-1340
            EISSN:1558-1160
            DOI:10.1145/1291220
            Issue’s Table of Contents

          Copyright © 2007 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 October 2007

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • Article

          Acceptance Rates

          Overall Acceptance Rate333of1,064submissions,31%

          Upcoming Conference

          ICFP '23

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!