Formal Concepts in Artificial Intelligence
Foundations
Published on 5. December 1991
Book
Paperback/Softback
680 pages
978-0-412-40790-1 (ISBN)
Description
An introduction to the logical and algorithmic concepts of artificial intelligence, discussing automated reasoning, the use of propositional and predicated logic, proof strategies, writing programs, natural language processing, expert systems and searching state space, decompositions and trees.
More details
Series
Language
English
Place of publication
London
United Kingdom
Target group
College/higher education
Professional and scholarly
Illustrations
index
Dimensions
Height: 234 mm
Width: 156 mm
Weight
880 gr
ISBN-13
978-0-412-40790-1 (9780412407901)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
A view of artificial intelligence; automated reasoning with propositional logic, with predicate logic; refinements to resolution refutation; using logic to write programs; natural language processing - a prescriptive grammar, syntax and semantics, a transformational grammar; production rules for expert systems; plausible reasoning in expert systems; solving problems by searching state space, by searching decompositions; playing games by searching trees. Appendix: Fingers to symbulators.