Formal Methods in Artificial Intelligenc
โ Allan M. Ramsay
๐ Library
๐
1988
๐ Cambridge University Press
๐ English
โฆ LIBER โฆ
๐
Formal Methods in Artificial Intelligence
โ Scribed by Ramsay A.M.
- Publisher
- CUP
- Year
- 1988
- Tongue
- English
- Leaves
- 290
- Series
- Cambridge Tracts in Theoretical Computer Science, Volume 6
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Synopsis
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.
๐ SIMILAR VOLUMES
Formal Methods in Artificial Intelligenc
โ Ramsay A.M.
๐ Library
๐
1988
๐ Cambridge University Press
๐ English
Mathematical Methods in Artificial Intel
โ Edward A. Bender
๐ Library
๐
1996
๐ Wiley-IEEE Computer Society Pr
๐ English
Mathematical Methods in Artificial Intelligence introduces the student to the important mathematical foundations and tools in AI and describes their applications to the design of AI algorithms. This useful text presents an introductory AI course based on the most important mathematics and its applic
Search Methods in Artificial Intelligenc
โ Deepak Khemani
๐ Library
๐
2024
๐ Independently Published
๐ English
"Artificial Intelligence as a subject has grabbed a lot of attention after getting a place in the All India Council for Technical Education's (AICTE) list of emerging areas. It was included as an elective/core subject in the undergraduate curriculum of the computer science program by many universiti
Mathematical Methods in Artificial Intel
โ Edward A. Bender
๐ Library
๐
1996
๐ Wiley-IEEE Computer Society Pr
๐ English
Mathematical Methods in Artificial Intelligence introduces the student to the important mathematical foundations and tools in AI and describes their applications to the design of AI algorithms. This useful text presents an introductory AI course based on the most important mathematics and its applic
Mathematical Methods in Artificial Intel
โ Edward A. Bender
๐ Library
๐
1996
๐ Wiley-IEEE Computer Society Pr
๐ English
Mathematical Methods in Artificial Intelligence introduces the student to the important mathematical foundations and tools in AI and describes their applications to the design of AI algorithms. This useful text presents an introductory AI course based on the most important mathematics and its applic