Symbolic Logic and Logic Processing

Artificial Intelligence is a blend of three main academic disciplines namely psychology (cognitive science), philosophy (mind) and computer science with further strands from mathematics, logic and linguistics. Symbolic Logic and Logic Processing is primarily designed for post graduate and graduate students of computer science, compiler engineering, computer applications and information technology.

Chapter 1. Introduction to Logic and Knowledge

Chapter 2. Introduction to Artificial Intelligence
Chapter 3. The Search Process
Chapter 4. Knowledge Representation
Chapter 5. KR Using Logic
Chapter 6. Other Knowledge Representation Techniques
Chapter 7. Programming Languages in Artificial Intelligence
Chapter 8. Introduction to Logic Programming and Prolog
Chapter 9. Syntax & Semantics of Prolog
Chapter 10. Operators, Arithmetics & List Manipulation
Chapter 11. Backtracking, Cuts & Negation
Chapter 12. Input Output and Buill-in Predicates
Chapter 13. More on Built in Predicates
Chapter 14. Logic Foundations of Prolog
Chapter 15. Resolution in Prolog (SLD-Resolution)
Chapter 16. Searching and Sorting in Prolog
Chapter 17. Definite Clause Grammars
Chapter 18. Coding Standards & Debugging in Prolog
Chapter 19. Assessment of Prolog
Chapter 20. Fuzzy Logic and Neural Network