Alexa, How Can I Reason with Prolog?

Authors Falco Nogatz, Julia Kübert, Dietmar Seipel, Salvador Abreu



PDF
Thumbnail PDF

File

OASIcs.SLATE.2019.17.pdf
  • Filesize: 1.16 MB
  • 9 pages

Document Identifiers

Author Details

Falco Nogatz
  • University of Würzburg, Department of Computer Science, Germany
Julia Kübert
  • University of Würzburg, Department of Computer Science, Germany
Dietmar Seipel
  • University of Würzburg, Department of Computer Science, Germany
Salvador Abreu
  • LISP and Department of Computer Science, University of Évora, Portugal

Cite AsGet BibTex

Falco Nogatz, Julia Kübert, Dietmar Seipel, and Salvador Abreu. Alexa, How Can I Reason with Prolog?. In 8th Symposium on Languages, Applications and Technologies (SLATE 2019). Open Access Series in Informatics (OASIcs), Volume 74, pp. 17:1-17:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/OASIcs.SLATE.2019.17

Abstract

As with Amazon’s Echo and its conversational agent Alexa, smart voice-controlled devices become ever more present in daily life, and many different applications can be integrated into this platform. In this paper, we present a framework that eases the development of skills in Prolog. As Prolog has a long history in natural language processing, we may integrate well-established techniques, such as reasoning about knowledge with Attempto Controlled English, instead of depending on example phrases and pre-defined slots.

Subject Classification

ACM Subject Classification
  • Human-centered computing → Natural language interfaces
Keywords
  • Prolog
  • Attempto Controlled English
  • Voice-Controlled Agents
  • Controlled Natural Language

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Norbert E. Fuchs. First-Order Reasoning for Attempto Controlled English. In International Workshop on Controlled Natural Language, pages 73-94. Springer, 2010. Google Scholar
  2. Norbert E. Fuchs, Kaarel Kaljurand, and Tobias Kuhn. Attempto Controlled English for Knowledge Representation. In Reasoning Web, pages 104-124. Springer, 2008. Google Scholar
  3. Norbert E. Fuchs, Kaarel Kaljurand, and Gerold Schneider. Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces. In FLAIRS Conference, volume 12, pages 664-669, 2006. Google Scholar
  4. Norbert E. Fuchs, Uta Schwertel, and Rolf Schwitter. Attempto Controlled English (ACE) Language Manual Version 3.0. http://attempto.ifi.uzh.ch/site/pubs/papers/ace3manual.pdf, 1999.
  5. W. Wayt Gibbs. Build your own Amazon Echo - Turn a PI into a voice controlled gadget. IEEE Spectrum, 54(5):20-21, 2017. Google Scholar
  6. Stefan Hoefler. The syntax of Attempto Controlled English: An abstract grammar for ACE 4.0. Technical Report ifi-2004.03, Department of Informatics, University of Zurich, 2004. Google Scholar
  7. Hans Kamp and Uwe Reyle. From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory, volume 42. Springer, 2013. Google Scholar
  8. Irene Lopatovska, Katrina Rink, Ian Knight, Kieran Raines, Kevin Cosenza, Harriet Williams, Perachya Sorsche, David Hirsch, Qi Li, and Adrianna Martinez. Talk to me: Exploring user interactions with the Amazon Alexa. Journal of Librarianship and Information Science, page 0961000618759414, 2018. Google Scholar
  9. Gustavo López, Luis Quesada, and Luis A Guerrero. Alexa vs. Siri vs. Cortana vs. Google Assistant: a comparison of speech-based natural user interfaces. In International Conference on Applied Human Factors and Ergonomics, pages 241-250. Springer, 2017. Google Scholar
  10. Jan Wielemaker. SWI-Prolog version 7 extensions. In Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments, pages 109-123, 2014. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail