Free Shipping in the US on over 5 million books in stock
From Standard Logic to Logic Programming By Andre Thayse

From Standard Logic to Logic Programming

Used Price
$20.99
Free Shipping in the US
This is an important book underpinning the study of artificial intelligence with a thorough examination of the role of logic. It covers the whole field from the most theoretical aspects of logic to the most practical techniques of logic programming.
Reviews:

Only 1 left


From Standard Logic to Logic Programming Summary


From Standard Logic to Logic Programming: Introducing a Logic-based Approach to Artificial Intelligence by Andre Thayse

This is an important book underpinning the study of artificial intelligence with a thorough examination of the role of logic. It covers the whole field from the most theoretical aspects of logic to the most practical techniques of logic programming. Introducing propositional and predicate logics, and giving a brief statement of first-order theories, the authors then go on to describe how logic can be used for representing - and reasoning about - knowledge. Rules are stated for transforming logical representations into graphical and object representation. A thorough coverage of the logics that have been developed for formalizing 'commonsense reasoning' is given and includes: modal logics of knowledge and of belief; non-monotone logics; default logics, autoepistemic logics etc. Finally the reader is introduced to grammars as a new representation formalism, and shown how logics and grammars lead to logic programming languages. Particular emphasis is placed on Prolog as the forerunning and most popular language for logic programming. This is the first volume of a complete work on how logics are applied to artificial intelligence for use on logic programming and artificial intelligence courses.

Customer Reviews - From Standard Logic to Logic Programming


Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in the US
Read more here
Every used book bought is one saved from landfill

Table of Contents


Logic; Axiomatic Systems; Knowledge Representation and Reasoning; Logic and Revisable Reasoning; Formal Grammars and Logic Programming; Prolog and Logic Programming; Bibliography; Index.

Additional information

GOR010807823
From Standard Logic to Logic Programming: Introducing a Logic-based Approach to Artificial Intelligence by Andre Thayse
Andre Thayse
Used - Very Good
Hardback
John Wiley and Sons Ltd
1988-07-27
360
0471918385
9780471918387
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.