Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Processing Incomplete Temporal Information in Controlled Natural Language

  • Conference paper
PRICAI 2012: Trends in Artificial Intelligence (PRICAI 2012)

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

Included in the following conference series:

  • 2823 Accesses

Abstract

If not all temporal information is available in a text, humans usually use additional background knowledge to answer questions about the text. In this paper, we first investigate how humans answer this kind of questions and then suggest two general strategies that we can use to answer these questions automatically in a controlled natural language context. We show how background knowledge about events and their effects can be made explicit in a controlled natural language and how this additional information can be translated together with the textual information into a formal notation for automated reasoning. For this purpose, we introduce an Answer Set Programming based version of the Event Calculus and use this reasoning framework as a starting point for answering questions over the formalised textual information.

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 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)

    Google Scholar 

  2. Clark, P., Harrison, P., Jenkins, T., Thompson, J., Wojcik, R.: Acquiring and Using World Knowledge using a Restricted Subset of English. In: The 18th International FLAIRS Conference (FLAIRS 2005), pp. 506–511 (2005)

    Google Scholar 

  3. Clocksin, W.F., Mellish, C.S.: Programming in Prolog: Using the ISO Standard, 5th edn. Springer, Heidelberg (2003)

    Book  MATH  Google Scholar 

  4. 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 2008. LNCS, vol. 5224, pp. 104–124. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  5. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Proceedings of IJCAI, pp. 386–392 (2007)

    Google Scholar 

  6. Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T.: Potassco: The Potsdam Answer Set Solving Collection. AI Communictions 24(2), 107–124 (2011)

    MathSciNet  MATH  Google Scholar 

  7. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th ICLP, pp. 1070–1080 (1988)

    Google Scholar 

  8. Grice, P.: Logic and conversation. In: Cole, P., Morgan, J. (eds.) Syntax and Semantics, vol. 3. Academic Press, New York (1975)

    Google Scholar 

  9. Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer, Dordrecht (1993)

    Google Scholar 

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

    Article  Google Scholar 

  11. Kuhn, T.: Controlled English for Knowledge Representation. Doctoral Thesis. Faculty of Economics, Business Administration and Information Technology of the University of Zurich (2010)

    Google Scholar 

  12. Lifschitz, V.: What Is Answer Set Programming? In: Proceedings of AAAI 2008, vol. 3, pp. 1594–1597 (2008)

    Google Scholar 

  13. Lloyd, J.: Foundations of Logic Programming. Springer (1987)

    Google Scholar 

  14. Miller, R., Shanahan, M.: Some Alternative Formulations of the Event Calculus. In: Kakas, A.C., Sadri, F. (eds.) Computat. Logic (Kowalski Festschrift). LNCS (LNAI), vol. 2408, pp. 452–490. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

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

    Google Scholar 

  16. Sadri, F., Kowalski, B.: Variants of the Event Calculus. In: Proceedings of the International Conference on Logic Programming, pp. 67–81 (1995)

    Google Scholar 

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

    Google Scholar 

  18. Schwitter, R., Ljungberg, A., Hood, D.: ECOLE - A Look-ahead Editor for a Controlled Language. In: Proceedings of EAMT-CLAW 2003, pp. 141–150 (2003)

    Google Scholar 

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

    Google Scholar 

  20. Shanahan, M.: 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 

  21. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181–234 (2002)

    Article  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Language Technology, Macquarie University, Sydney, 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. Faculty of Environment, Society and Design, Department of Applied Computing, Lincoln University, P.O. Box 84, 7647, Christchurch, New Zealand

    Patricia Anthony

  2. School of Information Science and Technology, University of Tokyo, 7-3-1, Hongo, 113-8656, Bunkyo-ku, Tokyo, Japan

    Mitsuru Ishizuka

  3. MIMOS Berhad, Knowledge Technology, Technology Park Malaysia,, 57000, Kuala Lumpur, Malaysia

    Dickson Lukose

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schwitter, R. (2012). Processing Incomplete Temporal Information in Controlled Natural Language. In: Anthony, P., Ishizuka, M., Lukose, D. (eds) PRICAI 2012: Trends in Artificial Intelligence. PRICAI 2012. Lecture Notes in Computer Science(), vol 7458. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32695-0_46

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32695-0_46

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32694-3

  • Online ISBN: 978-3-642-32695-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation