Sciweavers

2 search results - page 1 / 1
» ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
Sort
View
69
Voted
AAAI
2007
14 years 11 months ago
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
Alfredo Gabaldon, Gerhard Lakemeyer
77
Voted
KR
1998
Springer
15 years 1 months ago
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
Gerhard Lakemeyer, Hector J. Levesque