Knowledge Representation and Open World Planning Using -forms Abstract Knowledge Representation and Open World Planning Using -forms

@inproceedings{Schmolze2000KnowledgeRA,
  title={Knowledge Representation and Open World Planning Using -forms Abstract Knowledge Representation and Open World Planning Using -forms},
  author={James G. Schmolze},
  year={2000}
}
This thesis considers the problem of reasoning and planning in open worlds, where the agent does not have complete information about the world and must act to acquire knowledge and to change the world. We designed a language PSIPLAN to represent and reason about the agent's knowledge. PSIPLAN uses a class of universally quantiied propositions, which we call-forms, that are used to represent partially closed worlds, such as`There's nothing in the bag, except for a pen and maybe a paycheck' or… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Knowledge and belief

  • J. Hintikka
  • 1962

Similar Papers

Loading similar papers…