Skip to main content
Springer Nature Link
Log in

Reasoning About an Agent Based on Its Revision History with Missing Inputs

  • Conference paper
Logics in Artificial Intelligence (JELIA 2006)

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

Included in the following conference series:

  • 583 Accesses

Abstract

In this paper, we extend on work presented in [1] where we proposed a method for reconstructing an agent’s initial epistemic state from an observation on its belief revision behaviour. There, we assumed that the observation is complete in the sense that all revision inputs during the time of observation were known to us. Here, we drop this assumption and investigate the case where there are intermediate inputs we have no information about. The focus will be on determining the core belief of the agent — a belief the agent commits to at all times.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Booth, R., Nittka, A.: Reconstructing an agent’s epistemic state from observations. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI 2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005, pp. 394–399. Professional Book Center (2005)

    Google Scholar 

  2. Gärdenfors, P.: Knowledge in Flux. MIT Press, Cambridge (1988)

    Google Scholar 

  3. Booth, R., Nittka, A.: Beyond the rational explanation. In: Delgrande, J., Lang, J., Rott, H., Tallon, J.M. (eds.) Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Number 05321 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany (2005)

    Google Scholar 

  4. Booth, R.: On the logic of iterated non-prioritised revision. In: Kern-Isberner, G., Rödder, W., Kulmann, F. (eds.) WCII 2002. LNCS (LNAI), vol. 3301, pp. 86–107. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Nebel, B.: Base revision operations and schemes: Semantics, representation and complexity. In: Proceedings of ECAI 1994, pp. 342–345 (1994)

    Google Scholar 

  6. Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence 55(1), 1–60 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  7. Freund, M.: On the revision of preferences and rational inference processes. Artificial Intelligence 152(1), 105–137 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  8. Booth, R., Paris, J.B.: A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language and Information 7(2), 165–190 (1998)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Leipzig, Augustusplatz 10-11, 04109, Leipzig, Germany

    Alexander Nittka

Authors
  1. Alexander Nittka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Liverpool, Liverpool, U.K.

    Michael Fisher

  2. University of Liverpool, United Kingdom

    Wiebe van der Hoek

  3. University of Liverpool, Liverpool, UK

    Boris Konev

  4. Department of Computer Science, The University of Liverpool,  

    Alexei Lisitsa

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nittka, A. (2006). Reasoning About an Agent Based on Its Revision History with Missing Inputs. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_31

Download citation

  • DOI: https://doi.org/10.1007/11853886_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-39625-3

  • Online ISBN: 978-3-540-39627-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation