Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni, Ruoding Wang
{"title":"Defeasible Reasoning on Concepts","authors":"Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni, Ruoding Wang","doi":"arxiv-2409.04887","DOIUrl":null,"url":null,"abstract":"In this paper, we take first steps toward developing defeasible reasoning on\nconcepts in KLM framework. We define generalizations of cumulative reasoning\nsystem C and cumulative reasoning system with loop CL to conceptual setting. We\nalso generalize cumulative models, cumulative ordered models, and preferential\nmodels to conceptual setting and show the soundness and completeness results\nfor these models.","PeriodicalId":501208,"journal":{"name":"arXiv - CS - Logic in Computer Science","volume":"131 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Logic in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.04887","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
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.