Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Faculty of Engineering
  4. Tensor-based abduction in horn propositional programs
 
  • Details
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
URI
http://hdl.handle.net/10044/1/64299
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
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback