Interactive Theory Revision An Inductive Logic Programming Approach

Reports on an approach to the automation of theory revision. The book develops a framework for interactive concept learning in knowledge-based systems, examining the methodology of an integrative learning system named Clint.