Formal Methods in Artificial Intelligence

AvAllan M. Ramsay,C. J. Van Rijsbergen

Häftad, Engelska, 1991

Del 6 i serien Cambridge Tracts in Theoretical Computer Science

582 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Recensioner i media

Innehållsförteckning

Hoppa över listan

Mer från samma serie

Del 23

Nets, Terms and Formulas

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

635 kr

Hoppa över listan

Du kanske också är intresserad av

Del 23

Nets, Terms and Formulas

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

635 kr

Del 5

Topology via Logic

Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 1996

665 kr

Del 2

Logic and Computation

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 1990

721 kr