Formal Methods in Artificial Intelligence

Name: Formal Methods in Artificial Intelligence
Brand: Cambridge University Press
SKU: 9780521424219
Price: 7800 KES
Availability: OutOfStock
ISBN: 9780521424219

by Allan M. Ramsay

Book Details

Format Paperback / softback

Book Series Cambridge Tracts in Theoretical Computer Science

ISBN-10 0521424216

ISBN-13 9780521424219

Publisher Cambridge University Press

Imprint Cambridge University Press

Country of Manufacture GB

Country of Publication GB

Publication Date Jul 26th, 1991

Print length 292 Pages

Weight 470 grams

Dimensions 24.40 x 17.00 x 1.50 cms

Product Classification: Artificial intelligence Artificial intelligence (AI)

KSh 7,800.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.

Get Formal Methods in Artificial Intelligence by Allan M. Ramsay at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has 292 pages.