Nonstandard 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.
- Hardback | 344 pages
- 15 May 1988
- Elsevier Science Publishing Co Inc
- Academic Press Inc
- San Diego, United States