Skip to main content
SpringerLink
Log in

People, Ideas, and the Path Ahead

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2022)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 13165))

Included in the following conference series:

Abstract

While recent advances in machine learning have yielded impressive results, researchers, practitioners, and even companies are beginning to recognize that true artificial intelligence requires much more sophisticated reasoning capabilities. Knowledge representation and declarative programming are arguably in a premier position to aid in the achievement of such capabilities. In this paper, I reflect on people and ideas that have had a great influence on my view of knowledge representation and of declarative programming. Through these lenses, I will discuss what I consider to be some of the most important milestones in the evolution of the field over the past years. I will conclude my reflection with my take on what this may tell us about the path that lies ahead and about areas where research efforts may yield considerable benefits.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    For historical faithfulness, I copy them here in their entirety, including the original comments from the formalization of the USA Advisor.

  2. 2.

    As an aside, our work on the USA Advisor had also been influenced by one of Henry’s ideas, specifically Kautz and Selman’s work on solving planning problems by reducing them to satisfiability problems [20].

  3. 3.

    https://ec.ai.

  4. 4.

    https://www.billboard.com/pro/super-bowl-halftime-show-covid-safety-coronavirus/.

References

  1. Balduccini, M.: Industrial-size scheduling with ASP+CP. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 284–296. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20895-9_33

    Chapter  Google Scholar 

  2. Balduccini, M., Barborak, M., Ferrucci, D.: Action languages and COVID-19: lessons learned. In: 2nd Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL2020) (2020)

    Google Scholar 

  3. Balduccini, M., Gelfond, M., Nogueira, M.: A-Prolog as a tool for declarative programming. In: Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE2000), pp. 63–72 (2000)

    Google Scholar 

  4. Balduccini, M., Gelfond, M., Nogueira, M.: Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47(1–2), 183–219 (2006)

    Article  MathSciNet  Google Scholar 

  5. Balduccini, M., Lierler, Y.: Constraint answer set solver EZCSP and why integration schemas matter. J. Theory Pract. Logic Program. (TPLP) 17(4), 462–515 (2017)

    Article  MathSciNet  Google Scholar 

  6. Balduccini, M., Lierler, Y., Schüller, P.: Prolog and ASP inference under one roof. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol. 8148, pp. 148–160. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40564-8_15

    Chapter  MATH  Google Scholar 

  7. Baral, C., McIlraith, S.A., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: Proceedings of the 2000 KR Conference, pp. 311–322 (2000)

    Google Scholar 

  8. Baral, C., Son, T.C.: Formalizing sensing actions - a transition function based approach. Artif. Intell. J. 125(1–2), 19–91 (2001)

    MathSciNet  MATH  Google Scholar 

  9. Baselice, S., Bonatti, P.A., Gelfond, M.: Towards an integration of answer set and constraint solving. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 52–66. Springer, Heidelberg (2005). https://doi.org/10.1007/11562931_7

    Chapter  Google Scholar 

  10. Chintabathina, S., Watson, R.: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, chap. A New Incarnation of Action Language H, pp. 560–575. LNAI (LNCS), Springer Verlag, Berlin (2011). https://doi.org/10.1007/978-3-642-30743-0_38

  11. Erdem, E.: Application of Logic Programming to Planning: Computational Experiments (1999). http://www.cs.utexas.edu/users/esra/papers.html

  12. Gebser, M., Kaminski, R., Ostrowski, M., Schaub, T., Thiele, S.: On the input language of ASP grounder Gringo. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS (LNAI), vol. 5753, pp. 502–508. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04238-6_49

    Chapter  Google Scholar 

  13. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Veloso, M.M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 386–392 (2007)

    Google Scholar 

  14. Gelfond, M.: New semantics for epistemic specifications. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 260–265. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20895-9_29

    Chapter  Google Scholar 

  15. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365–385 (1991). https://doi.org/10.1007/BF03037169

    Article  MATH  Google Scholar 

  16. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. J. Logic Program. 17(2–4), 301–321 (1993)

    Article  MathSciNet  Google Scholar 

  17. Hayes, P.J., McCarthy, J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4, pp. 463–502. Edinburgh University Press (1969)

    Google Scholar 

  18. Kaminski, R., Schaub, T., Wanko, P.: A tutorial on hybrid answer set solving with clingo. In: Ianni, G., et al. (eds.) Reasoning Web 2017. LNCS, vol. 10370, pp. 167–203. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61033-7_6

    Chapter  Google Scholar 

  19. Katriel, I., van Hoeve, W.J.: Handbook of Constraint Programming, Chap. 6. Global Constraints, pp. 169–208. Foundations of Artificial Intelligence. Elsevier (2006)

    Google Scholar 

  20. Kautz, H., Selman, B.: Planning and satisfiability. In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI92), pp. 359–363 (1992)

    Google Scholar 

  21. Lee, J., Lifschitz, V.: Additive fluents. In: Provetti, A., Son, T.C. (eds.) Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning. AAAI 2001 Spring Symposium Series, March 2001

    Google Scholar 

  22. Levesque, H.J.: What is planning in the presence of sensing? In: Proceedings of the 13th National Conference on Artificial Intelligence, pp. 1139–1146 (1996)

    Google Scholar 

  23. Marek, V.W., Truszczynski, M.: The Logic Programming Paradigm: a 25-Year Perspective, chap. Stable Models and an Alternative Logic Programming Paradigm, pp. 375–398. Springer Verlag, Berlin (1999). https://doi.org/10.1007/978-3-642-60085-2_17

  24. Mellarkod, V.S., Gelfond, M., Zhang, Y.: Integrating answer set programming and constraint logic programming. Ann. Math. Artif. Intell. 53, 251–287 (2008). https://doi.org/10.1007/s10472-009-9116-y

    Article  MathSciNet  MATH  Google Scholar 

  25. Niemelä, I., Simons, P.: Logic-Based Artificial Intelligence, chap. Extending the Smodels System with Cardinality and Weight Constraints, pp. 491–521. Kluwer Academic Publishers (2000)

    Google Scholar 

  26. Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving SAT and SAT module theories: from an abstract Davis-Putnam-Longemann-Loveland procedure to DPLL(T). J. Artif. Intell. Res. 53(6), 937–977 (2006)

    MATH  Google Scholar 

  27. Oikarinen, E., Janhunen, T.: Modular equivalence for normal logic programs. In: Proceedings of the Seventeenth European Conference on Artificial Intelligence (ECAI 2006), pp. 412–416 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Saint Joseph’s University, Philadelphia, PA, USA

    Marcello Balduccini

  2. Elemental Cognition, Wilton, CT, USA

    Marcello Balduccini

Authors
  1. Marcello Balduccini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Edinburgh, Edinburgh, UK

    James Cheney

  2. University of Calabria, Rende, Italy

    Simona Perri

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Balduccini, M. (2022). People, Ideas, and the Path Ahead. In: Cheney, J., Perri, S. (eds) Practical Aspects of Declarative Languages. PADL 2022. Lecture Notes in Computer Science(), vol 13165. Springer, Cham. https://doi.org/10.1007/978-3-030-94479-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-94479-7_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-94478-0

  • Online ISBN: 978-3-030-94479-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation