Symbolic Logic And Logic Processing By Bindu Bansal

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 sicence, compiler engineering, computer applications and information technology.

• Simple and understandable language is used throughout the book.
• The book covers almost all essential components of AI and knowledge based systems and syllabus of various unviersities of India.
• It includes concepts of AI as well as logic programming PROLOG.

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