Booknews
Focusing on the key application domains of AI, explains the role of logics and formal theories (particularly logic programming) in areas such as natural language processing, speech understanding, expert system design, truth maintenance systems, and requirement engineering. This volume, and two preceding works, From standard logic to logic programming and From modal logic to deductive databases, form a complete and consistent exposition of the role of logics in AI. Annotation c. Book News, Inc., Portland, OR (booknews.com)
From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence
by Paul Gochet, Eric Gregoire, Pascal Gribomont, Guy Hulin, Alain PirotteAdvances the study of artificial intelligence concepts and applications using logic as a guideline. Examines such topics as natural and formal languages; modal logic; temporal logic and specification of concurrent programs; theory of relational and deductive databases; intensional logic and Montague's Semantics; representation of incomplete information in databases
Overview
Advances the study of artificial intelligence concepts and applications using logic as a guideline. Examines such topics as natural and formal languages; modal logic; temporal logic and specification of concurrent programs; theory of relational and deductive databases; intensional logic and Montague's Semantics; representation of incomplete information in databases and much more.
Editorial Reviews
Product Details
- ISBN-13:
- 9780471923459
- Publisher:
- Wiley
- Publication date:
- 08/30/1989
- Series:
- Logic Based Approach to Artificial Intelligence Series , #3
- Pages:
- 402
- Product dimensions:
- 6.69(w) x 9.65(h) x 0.98(d)
Meet the Author
Customer Reviews
Average Review: