Sciweavers

2 search results - page 1 / 1
» ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
Sort
View
72
Voted
AAAI
2007
15 years 14 days 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
78
Voted
KR
1998
Springer
15 years 2 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