260 search results - page 1 / 52 » On the Logic Underlying Common Sense |
ICEIS
2007
IEEE
13 years 11 months ago
2007
IEEE
KI
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
ETAI
1998
13 years 5 months ago
1998
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
ICLP
2009
Springer
14 years 6 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
SYNTHESE
2008
13 years 5 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...