概念上的缺失推理

arXiv - CS - Logic in Computer Science Pub Date : 2024-09-07 DOI:arxiv-2409.04887

Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni, Ruoding Wang

{"title":"概念上的缺失推理","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":"{\"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}","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

摘要

在本文中，我们朝着在 KLM 框架下开发概念上的可败推理迈出了第一步。我们定义了概念环境下的累积推理系统 C 和带循环 CL 的累积推理系统的一般化。我们还将累积模型、累积有序模型和优先模型推广到概念环境中，并展示了这些模型的合理性和完备性结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - CS - Logic in Computer Science

自引率

0.00%

发文量

期刊最新文献

An Imperative Language for Verified Exact Real-Number Computation On Randomized Computational Models and Complexity Classes: a Historical Overview Computation and Complexity of Preference Inference Based on Hierarchical Models Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion Resource approximation for the $λμ$-calculus