Defeasible Reasoning on Concepts
This work addresses foundational reasoning challenges in AI and logic, though it appears incremental as it extends existing frameworks to a new setting.
The paper tackles the problem of extending defeasible reasoning to conceptual settings within the KLM framework by generalizing cumulative reasoning systems and models, and demonstrates soundness and completeness results for these generalizations.
In this paper, we take first steps toward developing defeasible reasoning on concepts in KLM framework. We define generalizations of cumulative reasoning system C and cumulative reasoning system with loop CL to conceptual setting. We also generalize cumulative models, cumulative ordered models, and preferential models to conceptual setting and show the soundness and completeness results for these models.