The construction of intelligent machines is the primary goal of research in artificial intelligence and knowledge-based systems. This book is designed to introduce the foundations of mathematical and philosophical approaches to this rapidly expanding research area.
Foundations of Intelligent Knowledge-Based Systems is divided into three parts. Part I uses logic as a guideline and addresses fundamental theoretical and practical issues in developing large scale intelligent knowledge-based systems (IKBS). PartII discusses modal and intentional logic, nonmonotonic logic, induction and reasoning under uncertainty, and also covers advanced concepts such as planning, actions, states, and temporal systems. Part III looks at the architecture and design principles ofIKBSs using a case study, thus illuminating many of the principles and concepts developed in Parts I and II.
This text presents a unified and rigorous study of IKBS theory and application. It is essential reading for advanced undergraduates, graduates, and developers in knowledge-based systems, artificial intelligence, and expert systems.


Key Features
* Presents a unified and rigorous study of intelligent knowledge-based systems theory and application
* Comprehensively addresses computational logic methods and techniques applied to knowledge based systems
* Covers the whole field from the most theoretical aspects of logic to the most practical aspects of a case study
* Provides exercises at the end of each chapter