To endow computers with common sense is one of the major longterm goals ofArtificial Intelligence research. One approach to this problem introduced byJohn McCar... » 

To endow computers with common sense is one of the major longterm goals ofArtificial Intelligence research. One approach to this problem introduced byJohn McCarthy an AI luminary is to formalize commonsense reasoning usingmathematical logic. This work is a detailed highlevel reference on logicbasedcommonsense reasoning. It uses the event calculus a highly powerful and usabletool for commonsense reasoning which the author demonstrates as the mosteffective tool for the broadest range of applications. He provides an uptodate work on logicbased commonsense reasoning promotes the use of the eventcalculus for commonsense reasoning brings into one place information about theevent calculus and commonsense reasoning currently scattered across a number ofbooks and papers shares the knowledge gained in using the event calculus forcommonsense reasoning and extends the literature with detailed event calculussolutions to problems that span many areas of the commonsense world. «