Non Standard Logics for Automated Reasoning

A critical presentation providing depth and breadth of insight into the applicability of non-standard or exotic logics for the computational encoding of commonsense knowledge and inference logics. Three appendices provide short tutorials on classical logic and modal logics, and give a brief introduction to the existing literature on the logical aspects of probability theory. For those engaged in building knowledge-based systems. Annotation copyright Book News, Inc. Portland, Or.