Search
 
loader loading subjects...
cover
Automated Reasoning with Epistemic Graphs Using SAT Solvers
Anthony Hunter
176 - 187
10.3233/FAIA220151
Research Article
Frontiers in Artificial Intelligence and Applications
Volume 353: Computational Models of Argument
Abstract

Epistemic graphs have been developed for modelling an agent’s degree of belief in an argument and how belief in one argument may influence the belief in other arguments. These beliefs are represented by constraints on probability distributions. 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.

Download
Creative Commons License