双石代数的 4 值逻辑

IF 3.2 3区计算机科学 Q2 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE

International Journal of Approximate Reasoning Pub Date : 2024-10-24 DOI:10.1016/j.ijar.2024.109309

Arun Kumar, Neha Gaur, Bisham Dewan

{"title":"双石代数的 4 值逻辑","authors":"Arun Kumar, Neha Gaur, Bisham Dewan","doi":"10.1016/j.ijar.2024.109309","DOIUrl":null,"url":null,"abstract":"<div><div>This paper investigates the logical structure of the 4-element chain considered as a double Stone algebra. It has been shown that any element of a double Stone algebra can be identified as monotone ordered triplet of sets. As a consequence, we obtain the 4-valued semantics for the logic <span><math><msub><mrow><mi>L</mi></mrow><mrow><mi>D</mi></mrow></msub></math></span> of double Stone algebras. Furthermore, the rough set semantics of the logic <span><math><msub><mrow><mi>L</mi></mrow><mrow><mi>D</mi></mrow></msub></math></span> is provided by dividing the boundary region (uncertainty) into two disjoint subregions.</div></div>","PeriodicalId":13842,"journal":{"name":"International Journal of Approximate Reasoning","volume":"176 ","pages":"Article 109309"},"PeriodicalIF":3.2000,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A 4-valued logic for double Stone algebras\",\"authors\":\"Arun Kumar, Neha Gaur, Bisham Dewan\",\"doi\":\"10.1016/j.ijar.2024.109309\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>This paper investigates the logical structure of the 4-element chain considered as a double Stone algebra. It has been shown that any element of a double Stone algebra can be identified as monotone ordered triplet of sets. As a consequence, we obtain the 4-valued semantics for the logic <span><math><msub><mrow><mi>L</mi></mrow><mrow><mi>D</mi></mrow></msub></math></span> of double Stone algebras. Furthermore, the rough set semantics of the logic <span><math><msub><mrow><mi>L</mi></mrow><mrow><mi>D</mi></mrow></msub></math></span> is provided by dividing the boundary region (uncertainty) into two disjoint subregions.</div></div>\",\"PeriodicalId\":13842,\"journal\":{\"name\":\"International Journal of Approximate Reasoning\",\"volume\":\"176 \",\"pages\":\"Article 109309\"},\"PeriodicalIF\":3.2000,\"publicationDate\":\"2024-10-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Approximate Reasoning\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0888613X24001968\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Approximate Reasoning","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0888613X24001968","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE","Score":null,"Total":0}

引用次数: 0

摘要

本文研究了被视为双石代数的四元素链的逻辑结构。研究表明，双石代数的任何元素都可以被识别为单调有序的三重集合。因此，我们得到了双斯通代数逻辑 LD 的 4 值语义。此外，通过将边界区域（不确定性）划分为两个互不相交的子区域，还提供了逻辑 LD 的粗糙集语义。

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

查看原文本刊更多论文

A 4-valued logic for double Stone algebras

This paper investigates the logical structure of the 4-element chain considered as a double Stone algebra. It has been shown that any element of a double Stone algebra can be identified as monotone ordered triplet of sets. As a consequence, we obtain the 4-valued semantics for the logic

L_{D}

of double Stone algebras. Furthermore, the rough set semantics of the logic

L_{D}

is provided by dividing the boundary region (uncertainty) into two disjoint subregions.

求助全文

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

来源期刊

International Journal of Approximate Reasoning 工程技术-计算机：人工智能

CiteScore

6.90

自引率

12.80%

发文量

170

审稿时长

67 days

期刊介绍： The International Journal of Approximate Reasoning is intended to serve as a forum for the treatment of imprecision and uncertainty in Artificial and Computational Intelligence, covering both the foundations of uncertainty theories, and the design of intelligent systems for scientific and engineering applications. It publishes high-quality research papers describing theoretical developments or innovative applications, as well as review articles on topics of general interest. Relevant topics include, but are not limited to, probabilistic reasoning and Bayesian networks, imprecise probabilities, random sets, belief functions (Dempster-Shafer theory), possibility theory, fuzzy sets, rough sets, decision theory, non-additive measures and integrals, qualitative reasoning about uncertainty, comparative probability orderings, game-theoretic probability, default reasoning, nonstandard logics, argumentation systems, inconsistency tolerant reasoning, elicitation techniques, philosophical foundations and psychological models of uncertain reasoning. Domains of application for uncertain reasoning systems include risk analysis and assessment, information retrieval and database design, information fusion, machine learning, data and web mining, computer vision, image and signal processing, intelligent data analysis, statistics, multi-agent systems, etc.