Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Tractable Reasoning in Aritificial Intelligence (Paperback, 1995 ed.)
Loot Price: R1,601
Discovery Miles 16 010
|
|
Tractable Reasoning in Aritificial Intelligence (Paperback, 1995 ed.)
Series: Lecture Notes in Artificial Intelligence, 941
Expected to ship within 10 - 15 working days
|
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
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.