Symbolic Logic And Logic Processing By Bindu Bansal

Symbolic Logic And Logic Processing By Bindu Bansal
76% Off
Rental

Symbolic Logic And Logic Processing By Bindu Bansal

2123 Views
Publisher: Laxmi Publications
ISBN: 9789381159378
Author:

Available Options ( In Stock )

Rental?
Buy
INR 275.00 INR 66.40 ( 76% Off )
Effective Price after using Coupon Code: SAVE20
Download & Read Books Offline (Desktop/Laptop/Android Device) :
Customers who Bought this Ebook also Bought
  • Description

About this eBook

PREFACE 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. The aim of AI is broad to get below the surface of human behaviour to discover the processes, systems and principles that make intelligent behaviour possible. There are many practical applications of AI which include the design of computer systems that can perceive, learn, solve problems, and make plans and converse in natural language like English. Some systems that are commercially in use are medical diagnosis, identifying ships from satellite pictures, language translation and science training. This book does not require much formal mathematics but does require some mathematical maturity. Much of the material, in theory, can be read understood with no more background than high school mathematics. This volume is an outgrowth of my accumulated experience of teaching the subject as well as conducting various research activities in this field. The comprehensive text is primarily designed for post graduate and graduate students of computer science, compiler engineering, computer applications and information technology. It really serves as a useful text for students of B.E. and B.Tech, offering courses in artificial intelligence or symbolic logic or logic programming or expert systems. The book covers almost all essential components of AI and knowledge based systems and syllabus of various universities of India. It includes concepts of AI as well as logic programming PROLOG. To the possible extent each chapter has been kept independent and stands alone. The book has been organized in three parts with total 20 chapters. Chapter 1 includes an introduction to logic and knowledge. Chapter 2 presents introduction to AI. Chapter 3 focuses on the search strategies which are extremely useful in AI. Chapter 4 contains an introduction to knowledge representation. Chapter 5 contains the important knowledge representation technique i.e., logic. Chapter 6 further throws light on other KR techniques viz., semantic nets, production rules, frames, scripts. Part 2 of the book is based on logic programming i.e., PROLOG. Chapters 7 19 contain a complete full-fledged concept of PROLOG in detail. Chapter 19 assesses about PROLOG. Part 3 i.e., chapter 20 throws light on the important issues of AI i.e., Fuzzy Logic Neural Networks. There is appendix about the terminology of AI Prolog. It is possible to treat topics selectively to plan a one or two semester course on AI or Expert Systems or SLLP. There are number of individuals whose grateful help I would like to acknowledge. I am thankful to all my friends and colleagues who inspired me to write this book. I am thankful to Prof. HPS Dhami who encourage me to write I would like to thank Laxmi Publications for publishing this book helping me to complete the manuscript. I also owe much to my family. Last but not least I would like to thank GOD without whose wish this day would not be possible for me to see. I hope students faculty will enjoy reading this book. Nobody is perfect in universe. So, your suggestions are always welcome. Author ix
Introduction to Logic and Knowledge
1
1 INTRODUCTION TO LOGIC AND KNOWLEDGE This chapter deals with an introduction to logic and knowledge. Logic plays an important role in the foundation of computer science and has two important roles to play in this area. 1. In the study of computer science foundations, theoretically from outside. Here, logic acts as a meta computer which offers classification of problems and computability according to their