|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Automated Deduction in Multiple-Valued Logics (Hardcover)
Loot Price: R3,632
Discovery Miles 36 320
|
|
|
Automated Deduction in Multiple-Valued Logics (Hardcover)
Series: International Series of Monographs on Computer Science, 10
Expected to ship within 12 - 19 working days
|
This book constitutes a self-contained and unified approach to
automated reasoning in multiple-valued logics (MVL) developed by
the author. Moreover, it contains a virtually complete account of
other approaches to automated reasoning in MVL. This is the first
overview of this subfield of automated reasoning ever given.
Finally, a variety of applications of automated reasoning in MVL
including several short case studies are listed. Automated
reasoning in non-classical logics is an essential subtask of many
AI applications. Applications of MVL in particular include, for
instance, hardware and software verification, reasoning with
incomplete or inconsistent knowledge, and natural language
processing. Therefore, efficient theorem proving methods in MVL are
essential. In the historical part of the book it is demonstrated
why existing approaches are inadequate. In the original part a
simple, but powerful, concept called 'sets-as-signs' is introduced
in the context of semantic tableaux, and subsequently is applied to
a variety of calculi including resolution and dissolution. It is
shown that 'sets-as-signs' yields a many-valued extension of the
well-known relationship between classical logic and integer
programming. As a consequence, automated reasoning in
infinitely-valued logics can be done uniformly and efficiently for
the first time.
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.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
