Iterative Refinement of Knowledge Bases with Consistency Guarantees

Stephen F. Correl

Natural kinds, such as the concepts toy block or photosynthesis, are ubiquitous in human reasoning yet lack definitional (i.e., individually necessary and jointly sufficient) properties as membership conditions. The meaning of these concepts emerges through the inter-relatedness of facts about them rather than from mathematical definition. The goal of my research is to support construction of large, multi-functional knowledge bases of assertions about such natural kinds.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.