Automated Deduction: From Theory to Applications

ISBN : 9781647255756

Author : Louis Morin

Publisher : NY Research Press

Year : 2025

Language : English

Type : Book

Description : Automated deduction refers to the automated process of deriving new conclusions or statements from existing knowledge, typically encoded as logical formulas or rules. It is a fundamental concept in computer science and artificial intelligence, where algorithms and systems are designed to infer valid conclusions based on formal rules of inference and logical reasoning. Automated deduction has various techniques, including resolution-based methods, semantic reasoning and model checking, which enable computers to systematically explore and validate logical pathways without human intervention. Applications of automated deduction include theorem proving, software verification and reasoning in expert systems. Automated deduction plays a critical role in advancing both theoretical foundations and practical applications of computational logic and artificial intelligence. This book discusses the fundamentals as well as modern approaches of automated deduction. The topics covered in this extensive book deal with the core subjects of computer and information science. It will help the readers in keeping pace with the rapid changes in this field.

Please register to recommend this book to the library.