使用SAT求解器的认知图自动推理

Q3 Arts and Humanities

Comma Pub Date : 2022-01-01 DOI:10.3233/FAIA220151

A. Hunter

{"title":"使用SAT求解器的认知图自动推理","authors":"A. Hunter","doi":"10.3233/FAIA220151","DOIUrl":null,"url":null,"abstract":". Epistemic graphs have been developed for modelling an agent’s degree of belief in an argument and how belief in one argument may inﬂuence the belief in other arguments. These beliefs are represented by constraints on probability distri- butions. In this paper, we present a framework for reasoning with epistemic graphs that allows for beliefs for individual arguments to be determined given beliefs in some of the other arguments. We present and evaluate algorithms based on SAT solvers.","PeriodicalId":36616,"journal":{"name":"Comma","volume":"33 1","pages":"176-187"},"PeriodicalIF":0.0000,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Automated Reasoning with Epistemic Graphs Using SAT Solvers\",\"authors\":\"A. Hunter\",\"doi\":\"10.3233/FAIA220151\",\"DOIUrl\":null,\"url\":null,\"abstract\":\". Epistemic graphs have been developed for modelling an agent’s degree of belief in an argument and how belief in one argument may inﬂuence the belief in other arguments. These beliefs are represented by constraints on probability distri- butions. In this paper, we present a framework for reasoning with epistemic graphs that allows for beliefs for individual arguments to be determined given beliefs in some of the other arguments. We present and evaluate algorithms based on SAT solvers.\",\"PeriodicalId\":36616,\"journal\":{\"name\":\"Comma\",\"volume\":\"33 1\",\"pages\":\"176-187\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Comma\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3233/FAIA220151\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Comma","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3233/FAIA220151","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 0

摘要

。认知图已经被开发出来，用于模拟智能体对一个论点的信念程度，以及对一个论点的信念如何影响对其他论点的信念。这些信念用概率分布的约束来表示。在本文中，我们提出了一个使用认知图进行推理的框架，该框架允许在给定某些其他论证的信念的情况下确定单个论证的信念。我们提出并评估基于SAT解算器的算法。

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

查看原文本刊更多论文

Automated Reasoning with Epistemic Graphs Using SAT Solvers

. Epistemic graphs have been developed for modelling an agent’s degree of belief in an argument and how belief in one argument may inﬂuence the belief in other arguments. These beliefs are represented by constraints on probability distri- butions. In this paper, we present a framework for reasoning with epistemic graphs that allows for beliefs for individual arguments to be determined given beliefs in some of the other arguments. We present and evaluate algorithms based on SAT solvers.

求助全文

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

来源期刊

Comma Arts and Humanities-Conservation

CiteScore

0.20

自引率

0.00%

发文量