vtf逻辑中前提异常真值的推理特征

International Workshop on Advanced Information and Computation Technologies and Systems Pub Date : 2021-05-05 DOI:10.47350/AICTS.2020.01

L. Arshinskiy, V. Arshinskiy, M. Dunaev, M. Nitezhuk

{"title":"vtf逻辑中前提异常真值的推理特征","authors":"L. Arshinskiy, V. Arshinskiy, M. Dunaev, M. Nitezhuk","doi":"10.47350/AICTS.2020.01","DOIUrl":null,"url":null,"abstract":"The article discusses the issues of logical inference for abnormal truth-values of premises in logics with vector semantics from the VTF-logic class. Such situations as strict lies, uncertainty, and complete contradiction are considered in this article. It is shown that the truth of the conclusion in this case can take an interval value and the nature of this interval is preserved throughout the inference. This feature can be used to detect knowledge base artefacts during dynamic verification of knowledge bases.","PeriodicalId":395296,"journal":{"name":"International Workshop on Advanced Information and Computation Technologies and Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Features of inference for abnormal truth values of premises in VTF-logics\",\"authors\":\"L. Arshinskiy, V. Arshinskiy, M. Dunaev, M. Nitezhuk\",\"doi\":\"10.47350/AICTS.2020.01\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The article discusses the issues of logical inference for abnormal truth-values of premises in logics with vector semantics from the VTF-logic class. Such situations as strict lies, uncertainty, and complete contradiction are considered in this article. It is shown that the truth of the conclusion in this case can take an interval value and the nature of this interval is preserved throughout the inference. This feature can be used to detect knowledge base artefacts during dynamic verification of knowledge bases.\",\"PeriodicalId\":395296,\"journal\":{\"name\":\"International Workshop on Advanced Information and Computation Technologies and Systems\",\"volume\":\"56 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-05-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Workshop on Advanced Information and Computation Technologies and Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.47350/AICTS.2020.01\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Workshop on Advanced Information and Computation Technologies and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.47350/AICTS.2020.01","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文从向量逻辑类出发，讨论了向量语义逻辑中前提异常真值的逻辑推理问题。本文考虑了严格谎言、不确定性和完全矛盾等情况。证明了在这种情况下结论的真值可以取一个区间值，并且这个区间的性质在整个推理过程中保持不变。此特性可用于在知识库的动态验证期间检测知识库工件。

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

查看原文本刊更多论文

Features of inference for abnormal truth values of premises in VTF-logics

The article discusses the issues of logical inference for abnormal truth-values of premises in logics with vector semantics from the VTF-logic class. Such situations as strict lies, uncertainty, and complete contradiction are considered in this article. It is shown that the truth of the conclusion in this case can take an interval value and the nature of this interval is preserved throughout the inference. This feature can be used to detect knowledge base artefacts during dynamic verification of knowledge bases.

求助全文

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

来源期刊

International Workshop on Advanced Information and Computation Technologies and Systems

自引率

0.00%

发文量