Formal methods in artificial intelligence / Allan Ramsay.
By: Ramsay, Allan
.
Material type: 
BookSeries: Cambridge tracts in theoretical computer science ; 6.Publisher: Cambridge ; New York : Cambridge University Press, 1988Description: ix, 279 p. : ill. ; 26 cm.ISBN: 0521352363.Subject(s): Artificial intelligence -- Methodology | Logic, Symbolic and mathematical | ReasoningDDC classification: 006.3 | Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| General Lending | MTU Bishopstown Library Lending | 006.3 (Browse shelf(Opens below)) | 1 | Available | 00126759 | ||
| General Lending | MTU Bishopstown Library Store Item | 006.3 (Browse shelf(Opens below)) | 1 | Available | 00021853 |
Enhanced descriptions from Syndetics:
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.
Bibliography: (pages 273-275) and index.
Logic: proofs and models -- Propositional calculus -- Predicate calculus -- Theorem proving -- Modal logic -- Temporal reasoning -- Non-monotonic reasoning -- Properties -- Alternative views.
Table of contents provided by Syndetics
- Preface
- 1 Propositional calculus
- 2 Predicate calculus
- 3 Theorem proving
- 4 Modal logic
- 5 Temporal reasoning
- 6 Non-monotonic reasoning
- 7 Properties
- 8 Alternate views
- 9 Reflections
- Bibliography
- Index