Defeasible Reasoning on Concepts
<|reference_start|>Defeasible Reasoning on Concepts: 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.<|reference_end|>
@article{ding2024defeasible,
    title={Defeasible Reasoning on Concepts},
    author={Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni, Ruoding Wang},
    journal={arXiv preprint arXiv:2409.04887},
    year={2024},
    archivePrefix={arXiv},
    eprint={2409.04887},
    primaryClass={cs.AI cs.LO}
}