Skip to main content
SpringerLink
Log in
SpringerLink
Log in

From Speech to Knowledge

  • Conference paper
  • First Online:
Information Extraction (SCIE 1999)

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

Included in the following conference series:

Abstract

In human communication, assumptions play a central role. Linguists and logicians have uncovered their many facets. Much of AI work is also concerned with the study of assumptions in one way or another. Work on intuitionistic and linear logic has provided formally characterized embodiments of assumptions which have been influential on logic programming (e.g. [9,22,14]).

In this article we examine some uses of assumptive logic programming for speech-driven database creation and consultation, for speech driven robot control, and for web access through language.

This type of research can help relieve health problems related to the present typing/screen model of computer use. It can also partially address the need to integrate voice recognition, voice synthesis, and AI, along the route towards making computers into true extensions of our human abilities- extensions that adapt to our biology, rather than requiring our bodies to adapt.

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. V. Dahl, P. Tarau, P. Accuosto, S. Rochefort, and M. Scurtescu. Assumption Grammars for Knowledge Based Systems. Informatica 22(4), pages 435–444, 1998.

    MATH  Google Scholar 

  2. V. Dahl, P. Tarau, S. Rochefort, and M. Scurtescu. A Spanish Interface to LogiMoo-towards multilingual virtual worlds. Informatica, volume 2, June 1999.

    Google Scholar 

  3. A. Schiel, V. Dahl and P. Tarau. Generating Internet Based VRML Animations through Natural Language Controlled Partial Order Planners Technical Report, Simon Fraser University, 1998.

    Google Scholar 

  4. V. Dahl, A. Fall and M.C. Thomas. Driving Robots through natural language. Proceedings 1995 International Conference on Systems, Man and Cybernetics, pages 1904–1908, July 1995.

    Google Scholar 

  5. M. C. Thomas, V. Dahl and A. Fall. Logic Planning in robotics. Proceedings 1995 International Conference on Systems, Man and Cybernetics, pages 2951–2955, July 1995.

    Google Scholar 

  6. S. Rochefort, V. Dahl and P. Tarau. A Virtual Environment for Collaborative Learning. Proc. World Multiconference on Systemics, Cybernetics and Informatics (SCI’98) and 4th International Conference on Information Systems Analysis and Synthesis (ISAS’98), Orlando, Florida, 1998.

    Google Scholar 

  7. O.R. Zaiane, A. Fall, S. Rochefort, V. Dahl and P. Tarau. On-Line Resource Discovery using Natural Language. Proc. RIAO’97, Computer-Assisted Searching on the Internet, pp. 336–355, McGill University, Montreal, June 1997.

    Google Scholar 

  8. F.C.N. Pereira and D.H.D. Warren. Definite Clause Grammars for Language Analysis-A survey of the formalism and a Comparison with Transition Networks. Artificial Intelligence, vol. 13, pages 231–278, 1980.

    Article  MATH  MathSciNet  Google Scholar 

  9. R. Pareschi and D. Miller. Extending definite clause grammars with scoping constructs, pages 373–389. Warren, David H. D. and Szeredi, P. (eds.) International Conference in Logic Programming, MIT Press, 1990.

    Google Scholar 

  10. A. Colmerauer. Metamorphosis Grammars. Lecture Notes in Computer Science 63, pages 133–189, Springer-Verlag, 1978.

    Google Scholar 

  11. R.A.K. Kowalski. Logic for Problem Solving. North-Holland, 1979.

    Google Scholar 

  12. A. Fall. The foundations of taxonomic encoding. Computational Intelligence, 14(4):1–45, 1998.

    Article  MathSciNet  Google Scholar 

  13. P. Tarau, K. De Boschere, V. Dahl, and S. Rochefort. LogiMOO: an Extensible Multi-User Virtual World with Natural Language Control Journal of Logic Programming, 38(3), pages 331–353, 1999.

    Article  MATH  Google Scholar 

  14. V. Dahl, P. Tarau and R. Li. Assumption Grammars for Processing Natural Language. Proceedings International Conference on Logic Programming’97, pages 256–270, 1997.

    Google Scholar 

  15. V. Dahl. Logical Design of Deductive, Natural Language Consultable Data Bases. Proc. V Int. Conf. on Very Large Databases, Rio de Janeiro, pages 24–31, 1979.

    Google Scholar 

  16. V. Dahl. The logic of language. In K. Apt, V. Marek and D.S. Warren (eds.), The Logic Programming Paradigm: A 25 year perspective, pages 429–451, Springer-Verlag, 1999.

    Google Scholar 

  17. J. Davison. A Natural Language Interface for Performing Database Updates. ICDE, pages 69–76, 1984.

    Google Scholar 

  18. P. Tarau, K. De Bosschere and M. Hermenegildo (eds.).Proc. of the 2nd International Workshop on Logic Programming Tools for Internet Applications, ICLP’97, 1997.

    Google Scholar 

  19. J.M. Zelle and R. J. Mooney. Learning to Parse Database Queries using Inductive Logic Programming. Proc. Thirteenth National Conference on Artificial Intelligence, pages 1050–1055, 1996.

    Google Scholar 

  20. S.W. Loke. Adding Logic Programming Behaviour to the World Wide Web PhD Thesis, Univ. of Melbourne, Australia, 1998.

    Google Scholar 

  21. K.A. Bharat and L. Cardelli. Migratory applications. Proc. 8th Annual ACM Symposium on User Interface Software and Technology, 1995.

    Google Scholar 

  22. D.A. Miller and G Nadathur. Some uses of higher-order logic in computational linguistics. In Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics,pages 247–255, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Simon Fraser University, Burnaby B.C., V5A 1S6, Canada

    Verónica Dahl

Authors
  1. Verónica Dahl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Systems and Production, University of Roma, Tor Vergata, Via di Tor Vergata, I-00133, Roma, Italy

    Maria Teresa Pazienza

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dahl, V. (1999). From Speech to Knowledge. In: Pazienza, M.T. (eds) Information Extraction. SCIE 1999. Lecture Notes in Computer Science(), vol 1714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48089-7_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-48089-7_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66625-7

  • Online ISBN: 978-3-540-48089-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation