Defeasible Reasoning on Concepts
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |