Skip to main content
SpringerLink
Log in

Reason in a changing world

  • Conference paper
  • First Online:
Practical Reasoning (FAPR 1996)

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

Included in the following conference series:

  • 136 Accesses

Abstract

A rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combine that information with causal information to reason about the changing world. Using the system of defeasible reasoning that is incorporated into the OSCAR architecture for rational agents (Pollock 1995 and 1995a), a set of reason-schemas will be proposed for enabling an agent to perform some of the requisite reasoning. Along the way, solutions will be proposed for the Frame Problem and the Yale Shooting Problem. The principles and reasoning described below have all been implemented in OSCAR.

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.

References

  • Hanks, Steve, and McDermott, Drew 1986 “Default reasoning, nonmonotonic logics, and the frame problem”, AAAI-86.

    Google Scholar 

  • Haugland, John 1987 “An overview of the frame problem”, in Z. Pylyshyn (ed.) The Robot's Dilemma, MIT Press.

    Google Scholar 

  • Hayes, Patrick 1987 “What the frame problem is and isn't”, in Z. Pylyshyn (ed.) The Robot's Dilemma, MIT Press.

    Google Scholar 

  • Janlert, Lars-Erik 1987 “Modeling change—the frame problem”, in Z. Pylyshyn (ed.) The Robot's Dilemma, MIT Press.

    Google Scholar 

  • McCarthy, John, and Hayes, Patrick 1969 “Some philosophical problems from the standpoint of artificial intelligence”. In B. Metzer & D. Michie (eds.), Machine Intelligence 4. Edinburgh: Edinburgh University Press.

    Google Scholar 

  • Pollock, John 1974 Knowledge and Justification, Princeton University Press.

    Google Scholar 

  • Pollock, John 1984 The Foundations of Philosophical Semantics, Princeton University Press.

    Google Scholar 

  • Pollock, John 1987 Contemporary Theories of Knowledge, Rowman and Littlefield.

    Google Scholar 

  • Pollock, John 1990 Nomic Probability and the Foundations of Induction, Oxford University Press.

    Google Scholar 

  • Pollock, John 1995 Cognitive Carpentry, MIT Press.

    Google Scholar 

  • Pollock, John 1995a The OSCAR Manual, available online from http://infocenter.ccit.arizona.edu/~oscar.

    Google Scholar 

  • Sandewall, Erik 1972 “An approach to the frame problem and its implementation”. In B. Metzer & D. Michie (eds.), Machine Intelligence 7. Edinburgh: Edinburgh University Press.

    Google Scholar 

  • Shoham, Yoav 1987 Reasoning about Change, MIT Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Arizona, 85721, Tucson, Arizona

    John L. Pollock

Authors
  1. John L. Pollock
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pollock, J.L. (1996). Reason in a changing world. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_96

Download citation

  • DOI: https://doi.org/10.1007/3-540-61313-7_96

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61313-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation