Full Description
This book approaches to the subject of common-sense reasoning in AI using epistemic situation calculus which integrates the ideas of situation calculus and epistemic logic. If we employ a logic-based framework, classical logic is not suited for the purpose of describing common-sense reasoning.



