Advertisement

Knowledge subgoals in plans

  • Sam Steel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 522)

Abstract

Plans naturally contain subgoals about how the world must be. They arise as preconditions of actions in the plan — having keys in order to unlock doors and so on. Plans also contain subgoals about what the agent must know — combinations of safes, Mary’s phone number, which way the outlaw went. Merely stipulating that actions and operands must be known is a hack. This paper offers an account of actions done under uncertainty. If the account is accepted, knowledge subgoals arise automatically, since plans done under uncertainty must still be adequate descriptions of what to do. Plans with knowledge subgoals turn out to be very like ordinary plans.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Davis E; Morgenstern L; Sanders K (eds):1989. IJCAI workshop on knowledge, perception and planning. (Detroit: 1989)Google Scholar
  2. Harel, D: 1984. Dynamic logic. chap II.10, 497–604 of: Gabbay, Dov; Guenthner, F (eds): 1984. Handbook of philosophical logic. D. ReidelGoogle Scholar
  3. Hintikka, J: 1962. Knowledge and belief. Cornell UP: Ithaca, NYGoogle Scholar
  4. Moore, Robert: 1985. A formal theory of knowledge and action. in: Hobbs JR, Moore RC: 1985. Formal theories of the commonsense world. Norwood, NJ: Ablex publishing corp.Google Scholar
  5. Morgenstern, Leora: 1987. Knowledge preconditions for actions and plans. IJCAI-87 867–874Google Scholar
  6. Steel SWD, Reichgelt H. 1990. Knowing how and finding out. Proc. ninth meeting UK special interest group on planning. Nottingham: April 1990Google Scholar
  7. Werner, Eric: 1989. Modal Logic of Games. WISBER Report Nr. B48, University of SaarbrueckenGoogle Scholar
  8. Werner, Eric: 1990. A unified view of information, intention and ability. Second European Workshop on modelizing autonomous agents and multi-agent worlds. (St Quentin en Yvelines; Aug 1990; ONERA) 69–83Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Sam Steel
    • 1
  1. 1.Dept Computer ScienceUniversity of EssexColchesterUK

Personalised recommendations