Tensor-based abduction in horn propositional programs
File(s)TensorAbduction.pdf (719.44 KB)
Published version
Author(s)
Aspis, Y
Broda, K
Russo, A
Type
Conference Paper
Abstract
This paper proposes an algorithm for computing solutions of abductive Horn propositional tasks using third-order tensors. We first introduce the notion of explanatory operator, a single-step operation based on inverted implication, and prove that minimal abductive solutions of a given Horn propositional task can be correctly computed using this operator. We then provide a mapping of Horn propositional programs into third-order tensors, which builds upon recent work on matrix representation of Horn programs. We finally show how this mapping can be used to compute the explanatory operator by tensor multiplication.
Date Issued
2018-09-02
Date Acceptance
2018-07-06
Citation
CEUR Workshop Proceedings, 2018, 2206, pp.68-75
ISSN
1613-0073
Publisher
CEUR Workshop Proceedings
Start Page
68
End Page
75
Journal / Book Title
CEUR Workshop Proceedings
Volume
2206
Copyright Statement
© 2018 The Author(s).
Source
ILP 2018 - 28th International Conference on Inductive Logic Programming
Publication Status
Published
Start Date
2018-09-02
Finish Date
2018-09-04
Coverage Spatial
Ferrara
Date Publish Online
2018-09-02