Non-Standard Logics for Automated Reasoning - Rilegato

Smets, P.; Mamdani, A.; Dubois, D.; Prade, H.

 
9780126495201: Non-Standard Logics for Automated Reasoning

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

x 334p hardback, index, bibliography, tables, hardly used, very good

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.