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