<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>
handle: 11573/236024 , 11573/251238
Abduction is one of the most important forms of reasoning; it has been successfully applied to several practical problems, such as diagnosis. In this article we investigate whether the computational complexity of abduction can be reduced by an appropriate use of preprocessing. This is motivated by the fact that part of the data of the problem (namely, the set of all possible assumptions and the theory relating assumptions and manifestations) is often known before the rest of the problem. In this article, we show some complexity results about abduction when compilation is allowed.
FOS: Computer and information sciences, Computer Science - Computational Complexity, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, F.4.1, F.4.1; F.1.3, F.1.3, Computational Complexity (cs.CC)
FOS: Computer and information sciences, Computer Science - Computational Complexity, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, F.4.1, F.4.1; F.1.3, F.1.3, Computational Complexity (cs.CC)
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |