关于此电子书
The process of making an inference known as "working backward from the goal" is another name for the technique known as "backward chaining." It is implemented in automated theorem provers, inference engines, proof assistants, and other applications that fall under the umbrella of artificial intelligence.
How You Will Benefit
(I) Insights, and validations about the following topics:
Chapter 1: Backward Chaining
Chapter 2: Automated Theorem Proving
Chapter 3: Inference Engine
Chapter 4: Game Theory
Chapter 5: Backward Induction
Chapter 6: Retrograde Analysis
Chapter 7: Logic Programming
Chapter 8: SLD Resolution
Chapter 9: Forward Chaining
Chapter 10: Prolog
(II) Answering the public top questions about backward chaining.
(III) Real world examples for the usage of backward chaining in many fields.
(IV) 17 appendices to explain, briefly, 266 emerging technologies in each industry to have 360-degree full understanding of backward chaining' technologies.
Who This Book Is For
Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of backward chaining.
