Foundations of Intelligent Knowledge-Based Systems

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.Torsun, I. S. is the author of 'Foundations of Intelligent Knowledge-Based Systems' with ISBN 9780126960600 and ISBN 0126960607.