Symbolic Logic and Logic Processing

  • 6h 42m
  • Bindu Bansal
  • Laxmi Publications
  • 2013

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.

Salient features of the book:

  • 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.

About the Author

Prof. Bindu Bansal is presently working as Assistant Professor at Guru Nanak Dev Engineering College, Ludhiana. She has total 5 years of experience in teaching academically. She is MBA in Marketing Management from GJU Hisar, M.Tech in CSE and is Oracle Certified Professional. She has written four books. She has 7 reasearch papers published in international journal and 4 research papers published in international conferences. Her fields of interest are DBMS, Digital image Processing, and Logic Programming.

In this Book

  • Introduction to Logic and Knowledge
  • Introduction to Artificial Intelligence
  • The Search Process
  • Knowledge Representation
  • Kr Using Logic
  • Other Knowledge Representation Techniques
  • Programming Languages in Artificial Intelligence
  • Introduction to Logic Programming and Prolog
  • Syntax & Semantics of Prolog
  • Operators, Arithmetic & List Manipulation
  • Backtracking, Cuts & Negation
  • Input Output and Built-In Predicates
  • More on Built In Predicates
  • Logic Foundations of Prolog
  • Resolution in Prolog (SLD-Resolution)
  • Searching and Sorting in Prolog
  • Definite Clause Grammars
  • Coding Standards & Debugging in Prolog
  • Assessment of Prolog
  • Fuzzy Logic and Neural Network