Skip to main content
SpringerLink
Log in

A Roadmap of Epistemic Logics for Learning Agents

  • Conference paper
  • First Online:
Intelligent Tutoring Systems (ITS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2363))

Included in the following conference series:

  • 1164 Accesses

Abstract

A student is facing a teacher, who is probing her knowledge of mathematics. The student is a new recruit and important questions must be answered: What are her strengths and weakness ? Which topics is she ready to study ? Should the student take a remedial course in some subject ? The teacher will ask a question and listen to the student’s response. Other questions will then be asked. After a few questions, a picture of the student’s state of knowledge will emerge, which will become increasingly sharper in the course of the examination.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. J. van Benthem. Exploring Logical Dynamics. CSLI Publications, 1995.

    Google Scholar 

  2. J. P. Doignon and J. C. Falmagne. Knowledge Spaces. Springer, 1999.

    Google Scholar 

  3. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. MIT-Press, 1995.

    Google Scholar 

  4. P. A. Flach. Conjectures: an inquiry concerning the logic of induction. PhD thesis, Tilburg University, 1995.

    Google Scholar 

  5. P. A. Flach and A. C. Kakas (editors). Abduction and Induction: Essays on their Relation and Integration, volume 18 of Applied Logic Series. Kluwer Academic Publishers, 2000.

    Google Scholar 

  6. J. Gerbrandy. Bisimulations on Planet Kripke. PhD thesis, Institute for Logic, Language and Computation, 1999.

    Google Scholar 

  7. J. Hintikka. Knowledge and Belief. Cornell University Press, 1962.

    Google Scholar 

  8. H. J. Levesque. All I know: a study in autoepistemic logic. Artificial Intelligence, 42:263–309, 1990.

    Article  MathSciNet  MATH  Google Scholar 

  9. C.S. Peirce. Collected papers of Charles Sanders Peirce. Harvard University Press, 1958.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIRMM, UMR 5506, Université Montpellier II CNRS, 161, rue Ada., 34392, Montpellier Cedex 5, France

    Frédéric Koriche

Authors
  1. Frédéric Koriche
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LIRMM, University of Montpellier II and CNRS, Montpellier, France

    Stefano A. Cerri

  2. LIUPPA, IUT de Bayonne - University of Pau, Bayonne, France

    Guy Gouardères

  3. Department of Information Technologies, Universidade Federal de Alagoas, Maceió, Brazil

    Fàbio Paraguaçu

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Koriche, F. (2002). A Roadmap of Epistemic Logics for Learning Agents. In: Cerri, S.A., Gouardères, G., Paraguaçu, F. (eds) Intelligent Tutoring Systems. ITS 2002. Lecture Notes in Computer Science, vol 2363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47987-2_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-47987-2_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43750-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation