Formal methods in artificial intelligence
Auteur :
Ramsay, Allan M.
Éditeur :
Cambridge University Press
ISBN :
9780521424219
Date de publication :
26 juil. 1991
Dimensions :
24,4 x 17,0 x 1,5 cm
Poids :
470 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.