Defeasible Reasoning on Concepts
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866929491377389568 |
|---|---|
| author | Ding, Yiwen Manoorkar, Krishna Switrayni, Ni Wayan Wang, Ruoding |
| author_facet | Ding, Yiwen Manoorkar, Krishna Switrayni, Ni Wayan Wang, Ruoding |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_04887 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Defeasible Reasoning on Concepts Ding, Yiwen Manoorkar, Krishna Switrayni, Ni Wayan Wang, Ruoding Artificial Intelligence Logic in Computer Science 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. |
| title | Defeasible Reasoning on Concepts |
| topic | Artificial Intelligence Logic in Computer Science |
| url | https://arxiv.org/abs/2409.04887 |