Skip to main content
SpringerLink
Log in

Augmenting an Answer Set Based Controlled Natural Language with Temporal Expressions

  • Conference paper
  • First Online:
PRICAI 2019: Trends in Artificial Intelligence (PRICAI 2019)

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

Included in the following conference series:

  • 2058 Accesses

Abstract

In this paper we discuss how we can augment an existing controlled natural language in a systematic way with temporal expressions in order to write high-level temporal specifications which require reasoning about action and change. We show that domain-dependent axioms which are necessary to specify time-varying properties, deal with the commonsense law of inertia, and with continuous change can be expressed directly and in a transparent way on the level of the controlled natural language. The resulting temporal specification including the corresponding axioms and the required terminological knowledge can be translated automatically into an executable answer set program and then be used by a linguistically motivated version of the Event Calculus, implemented as an answer set program, for temporal reasoning and question answering.

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

References

  1. Clark, P., Harrison, P., Jenkins, T., Thompson, J., Wojcik, R.: Acquiring and using world knowledge using a restricted subset of English. The 18th International FLAIRS Conference (FLAIRS 2005), pp. 506–511 (2005)

    Google Scholar 

  2. Ferraris, P., Joohyung Lee, J., Lifschitz, V.: Stable models and circumscription. Artif. Intell. 175, 236–263 (2011)

    Article  MathSciNet  Google Scholar 

  3. Gebser, M., et al.: Potassco User Guide, Version 2.2.0 (2019). https://github.com/potassco/guide/releases/

  4. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference on Logic Programming (ICLP), pp. 1070–1080 (1988)

    Google Scholar 

  5. Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents, The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)

    Book  Google Scholar 

  6. Guy, S., Schwitter, R.: The PENGASP system: architecture, language and authoring tool. J. Lang. Resour. Eval. Spec. Issue: Control. Nat. Lang. 51(1), 67–92 (2017)

    Article  Google Scholar 

  7. Kamp, H., van Genabith, J., Reyle, U.: Discourse representation theory. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 15, pp. 125–394. Springer, Dordrecht (2011). https://doi.org/10.1007/978-94-007-0485-5_3

    Chapter  Google Scholar 

  8. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4, 67–94 (1986)

    Article  Google Scholar 

  9. Kuhn, T., Schwitter, R.: Writing support for controlled natural languages. In: Proceedings of ALTA, pp. 46–54 (2008)

    Google Scholar 

  10. Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121–170 (2014)

    Article  Google Scholar 

  11. Lee, J., Palla, R.: Reformulating temporal action logics in answer set programming. In: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), pp. 786–792 (2012)

    Google Scholar 

  12. Lifschitz, V.: Formal theories of action. the frame problem in artificial intelligence. In: Proceedings of the 1987 Workshop, Los Altos, CA, pp. 35–57 (1987)

    Google Scholar 

  13. Lifschitz, V.: What is answer set programming? In: Proceedings of AAAI, pp. 1594–1597 (2008)

    Google Scholar 

  14. Miller, R., Shanahan, M.: Some alternative formulations of the event calculus. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 452–490. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45632-5_17

    Chapter  Google Scholar 

  15. Mueller, E.T.: Commonsense Reasoning: An Event Calculus Based Approach, 2nd edn. Morgan Kaufmann, Burlington (2015)

    Google Scholar 

  16. Schwitter, R.: Controlled natural language for knowledge representation. In: Proceedings of COLING 2010, Stroudsburg, PA, USA, pp. 1113–1121. Association for Computational Linguistics (2010)

    Google Scholar 

  17. Schwitter, R.: Specifying events and their effects in controlled natural language. Comput. Linguist. Relat. Fields Procedia - Soc. Behav. Sci. 27, 12–21 (2011)

    Article  Google Scholar 

  18. Schwitter, R.: Specifying and verbalising answer set programs in controlled natural language. J. Theory Pract. Log. Program. 18(3–4), 691–705 (2018)

    Article  MathSciNet  Google Scholar 

  19. Shanahan, M.: Representing continuous change in the event calculus. In: Proceedings of ECAI 1990, pp. 598–603 (1990)

    Google Scholar 

  20. Shanahan, M.: Solving the Frame Problem. MIT Press, Cambridge (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Macquarie University, Sydney, NSW, 2109, Australia

    Rolf Schwitter

Authors
  1. Rolf Schwitter
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rolf Schwitter .

Editor information

Editors and Affiliations

  1. Department of Computing, Macquarie University, Sydney, NSW, Australia

    Abhaya C. Nayak

  2. RIKEN Center for Integrative Medical Sciences, Yokohama, Japan

    Alok Sharma

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Schwitter, R. (2019). Augmenting an Answer Set Based Controlled Natural Language with Temporal Expressions. In: Nayak, A., Sharma, A. (eds) PRICAI 2019: Trends in Artificial Intelligence. PRICAI 2019. Lecture Notes in Computer Science(), vol 11670. Springer, Cham. https://doi.org/10.1007/978-3-030-29908-8_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-29908-8_40

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-29907-1

  • Online ISBN: 978-3-030-29908-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation