Indexical Knowledge and Robot Action - A Logical Account

@article{Lesprance1995IndexicalKA,
  title={Indexical Knowledge and Robot Action - A Logical Account},
  author={Yves Lesp{\'e}rance and Hector J. Levesque},
  journal={Artif. Intell.},
  year={1995},
  volume={73},
  pages={69-115}
}
The knowledge required for action is generally indexical rather than objective. For example, a robot that knows the relative position of an object is generally able to go and pick it up; he need not know its absolute position. Agents may have very incomplete knowledge of their situation in terms of what objective facts hold and still be able to achieve their goals. This paper presents a formal theory of knowledge and action, embodied in a modal logic, that handles the distinction between… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
23 Citations
51 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 51 references

Topics in Multi-Agent Epistemic Logic

  • Adam J. Grove
  • PhD thesis,
  • 1992
Highly Influential
7 Excerpts

A Formal Theory of Indexical Knowledge and Action

  • Yves Lesp erance
  • PhD thesis,
  • 1991
Highly Influential
10 Excerpts

Indexical expressions and planning

  • Andrew R. Haas
  • Unpublished manuscript, De- partment of Computer…
  • 1991
Highly Influential
8 Excerpts

The role of propositional objects of belief in action

  • David J. Israel
  • Technical Report CSLI-87-72,
  • 1987
Highly Influential
4 Excerpts

Knowledge and Belief

  • Jaakko Hintikka
  • 1962
Highly Influential
5 Excerpts

Making the situation calculus indexical

  • Devika Subramanian, John Wood ll
  • Proceedings of the First International Conference…
  • 1989
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…