Verwandte Artikel zu Non-Standard Logics for Automated Reasoning

Non-Standard Logics for Automated Reasoning - Hardcover

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

 
9780126495201: Non-Standard Logics for Automated Reasoning

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.