Laxmi Symbolic Logic and Logic Processing 

Product Code : 9789381159378

Availability: In stock

Regular Price: Rs. 275

Special Price: Rs. 261

Quick Overview

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.

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.


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


Read more See more product details


Brand / Publisher Laxmi
Return Policy 30 Days
Edition First
ISBN 9789381159378
Author Bindu Bansal
Language English
Specialization Computer Science
Subject Computer Science
Pages 360
Binding Paperback


Brand Information

Laxmi Publications is a privately held publishing company and is one of the leading publishers of Engineering, Computers, College, School (CBSE Board) and Children books in India and abroad. It has following subsidiaries and imprints through which it caters to different niches of educational and professional books market.

  1. Be the first to review this product

Write Your Own Review

Only registered users can write reviews. Please, log in or register