Books by Dov M. (King's College London Gabbay

A continuation of the multi-volume "A Practical Logic of Cognitive Systems", this book focuses on abduction. Here, abduction is construed as ignorance-preserving inference, in which conjecture plays a pivotal role. Abduction is a response to a cognitive target that cannot be hit on the basis of what the agent currently knows.