+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Tractable Reasoning in Aritificial Intelligence : Lecture Notes in Computer Science - Marco Cadoli

Tractable Reasoning in Aritificial Intelligence

Lecture Notes in Computer Science

Paperback Published: 18th July 1995
ISBN: 9783540600589
Number Of Pages: 286

Share This Book:

Paperback

$116.16
or 4 easy payments of $29.04 with Learn more
Ships in 10 to 15 business days

Earn 232 Qantas Points
on this Book

Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device.
This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for

Language restriction: Complexity of minimal reasoning.- Approximation of a logical theory.- Using complexity results for evaluating approximation techniques.- Conclusion.

ISBN: 9783540600589
ISBN-10: 3540600582
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 286
Published: 18th July 1995
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.47
Weight (kg): 0.39

Earn 232 Qantas Points
on this Book