Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Controlled Natural Language

CNL 2010: Controlled Natural Language pp 154–174Cite as

Working with Events and States in PENG Light

  • Conference paper

  • 530 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7175))

Abstract

In this paper I discuss how the controlled natural language PENG Light can be modified so that it can serve as a high-level interface language to the Event Calculus. The Event Calculus is a narrative-based formal language for reasoning about events, their effects and timepoints, and can be used for various reasoning tasks where a representation of time is important. Using a scenario from a dynamic domain, I show what kind of modifications are necessary on the level of the controlled natural language to specify the background knowledge that is required to deal with direct and indirect effects of events and with continuous change in that domain. I discuss how the output of the controlled natural language processor of PENG Light that distinguishes between events and states can be aligned with the input language of the Event Calculus, and then be used for automated reasoning. Finally, I show how the Event Calculus can be used to support the question answering process and then evaluate its reasoning capabilities using a number of benchmark questions stated in controlled natural language.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clark, P., Porter, B.: KM – The Knowledge Machine 2.0: Users Manual. Department of Computer Science, University of Texas at Austin (2004)

    Google Scholar 

  2. Clark, P., Harrison, P., Jenkins, T., Thompson, J., Wojcik, R.H.: Acquiring and Using World Knowledge using a Restricted Subset of English. In: Russell, I., Markov, Z. (eds.) Proceedings FLAIRS 2005, pp. 506–511 (2005)

    Google Scholar 

  3. Doherty, P., Gustafsson, J., Karlsson, L., Kvarnström, J.: Temporal action logics (TAL): Language specification and tutorial. Linköping Electronic Articles in Computer and Information Science 3(15) (1998)

    Google Scholar 

  4. Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto Controlled English – Not Just Another Logic Specification Language. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, pp. 1–20. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  5. Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto Controlled English for Knowledge Representation. In: Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 104–124. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Gunning, D., Chaudhri, V.K., Clark, P.K., Barker, K., Chaw, S.-Y., Greaves, M., Grosof, B., Leung, A., McDonald, D.D., Mishra, S., Pacheco, J., Porter, B., Spaulding, A., Tecuci, D., Tien, J.: Project Halo Update – Progress Toward Digital Aristotle. AI Magazine 31(3), 33–58 (2010)

    Google Scholar 

  7. Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer, Dordrecht (1993)

    Book  Google Scholar 

  8. Kipper, K., Korhonen, A., Ryant, N., Palmer, M.: Extending VerbNet with Novel Verb Classes. In: Proceedings of LREC 2006, Genoa, Italy (May 2006)

    Google Scholar 

  9. Kowalski, R.: Logic for Problem Solving. Elsevier North Holland, New York (1979)

    MATH  Google Scholar 

  10. Kowalski, R., Sergot, M.: Logic-Based Calculus of Events. New Generation Computing 4, 67–95 (1986)

    Article  Google Scholar 

  11. Kowalski, R.: Database Updates in the Event Calculus. Journal of Logic Programming 12, 121–146 (1992)

    Article  MathSciNet  Google Scholar 

  12. Kowalski, R., Sadri, F.: The Situation Calculus and Event Calculus Compared. In: Proceedings of ILPS, pp. 539–553 (1994)

    Google Scholar 

  13. Kowalski, R., Sadri, F.: Reconciling the Event Calculus with the Situation Calculus. Journal of Logic Programming, Special Issue: reasoning about action and change 31(1-3), 39–58 (1997)

    MathSciNet  MATH  Google Scholar 

  14. Kuhn, T.: Controlled English for Knowledge Representation. Doctoral Thesis, University of Zurich (2010)

    Google Scholar 

  15. McCain, N., Turner, H.: A Causal Theory of Ramifications and Qualifications. In: Proceedings of 14th IJCAI, pp. 1978–1984 (1995)

    Google Scholar 

  16. McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Michie, D., Meltzer, B. (eds.) Machine Intelligence 4, pp. 463–502. Edinburgh University Press (1969)

    Google Scholar 

  17. McKaughan, D.J.: From Ugly Duckling to Swan: C. S. Peirce, Abduction, and the Pursuit of Scientific Theories. Transactions of the Charles S. Peirce Society: A Quarterly Journal in American Philosophy 44(3), 446–468 (2008)

    Google Scholar 

  18. Miller, R., Shanahan, M.: Some Alternative Formulations of the Event Calculus. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond, Part II. LNCS (LNAI), vol. 2408, pp. 452–490. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  19. Mueller, E.T.: Commonsense Reasoning. Morgan Kaufmann Publishers (2006)

    Google Scholar 

  20. Mueller, E.T.: Event Calculus. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch. 17, pp. 671–708 (2008)

    Google Scholar 

  21. Mueller, E.T.: Automating Commonsense Reasoning Using the Event Calculus. Communications of the ACM 52(1), 113–117 (2009)

    Article  Google Scholar 

  22. Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. Current Studies in Linguistics. MIT Press (1994)

    Google Scholar 

  23. Pinto, J., Reiter, R.: Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. In: Proceedings of ICLP, pp. 203–221 (1993)

    Google Scholar 

  24. Sadri, F., Kowalski, B.: Variants of the Event Calculus. In: Proceedings of ICLP, pp. 67–81 (1995)

    Google Scholar 

  25. Schwitter, R.: English as a Formal Specification Language. In: Proceedings of DEXA 2002, Aix-en-Provence, France, September 2-6, pp. 228–232. NLIS (2002)

    Google Scholar 

  26. Schwitter, R., Ljungberg, A., Hood, D.: ECOLE – A Look-ahead Editor for a Controlled Language. In: Controlled Translation, Proceedings of EAMT-CLAW 2003, May 15-17, Dublin City University, Ireland, pp. 141–150 (2003)

    Google Scholar 

  27. Schwitter, R.: Controlled Natural Language for Knowledge Representation. In: Proceedings of COLING 2010, pp. 1113–1121 (2010)

    Google Scholar 

  28. Shanahan, M.P.: Solving the Frame Problem. A Mathematical Investigation fo the Common Sense Law of Inertia. MIT Press, Cambridge (1997)

    Google Scholar 

  29. Shanahan, M.P.: The Event Calculus Explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  30. Shanahan, M.P.: An Abductive Event Calculus Planner. Journal of Logic Programming 44(1-3), 207–240 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  31. Sowa, J.F.: Architectures for Intelligent Systems. IBM Systems Journal 41(3), 331–349 (2002)

    Article  Google Scholar 

  32. Thielscher, M.: Introduction to the fluent calculus. Electronic Transactions on Artificial Intelligence 2(3-4), 179–192 (1998)

    MathSciNet  Google Scholar 

  33. Thielscher, M.: A Unifying Action Calculus. Artificial Intelligence 175(1), 120–141 (2010)

    Article  MathSciNet  Google Scholar 

  34. Thompson, C.W., Pazandak, P., Tennant, H.: Talk to Your Semantic Web. IEEE Internet Computing 9(6), 75–78 (2005)

    Article  Google Scholar 

  35. Van Belleghem, K., Denecker, M., De Schreye, D.: Combining Situation Calculus and Event Calculus. In: Proceedings of ICLP, pp. 83–97 (1995)

    Google Scholar 

  36. Vendler, Z.: Verbs and times. The Philosophical Review 66(2), 143–160 (1957)

    Article  Google Scholar 

  37. White, C., Schwitter, R.: An Update on PENG Light. In: Pizzato, L., Schwitter, R. (eds.) Proceedings of ALTA 2009, Sydney, Australia, pp. 80–88 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Language Technology, Macquarie University, Sydney, 2109, NSW, Australia

    Rolf Schwitter

Authors
  1. Rolf Schwitter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Intelligent Computer Systems, University of Malta, Msida, Malta

    Michael Rosner

  2. Department of Informatics & Institute of Computational Linguistics, University of Zurich, Zurich, Switzerland

    Norbert E. Fuchs

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schwitter, R. (2012). Working with Events and States in PENG Light. In: Rosner, M., Fuchs, N.E. (eds) Controlled Natural Language. CNL 2010. Lecture Notes in Computer Science(), vol 7175. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31175-8_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31175-8_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31174-1

  • Online ISBN: 978-3-642-31175-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation