title: Abductive reasoning with recurrent neural networks.
abstract: Abduction is the process of proceeding from data describing a set of observations or events, to a set of hypotheses which best explains or accounts for the data. Cost-based abduction (CBA) is a formalism in which evidence to be explained is treated as a goal to be proven, proofs have costs based on how much needs to be assumed to complete the proof, and the set of assumptions needed to complete the least-cost proof are taken as the best explanation for the given evidence. In previous work, we presented a method for using high order recurrent networks to find least cost proofs for CBA instances. Here, we present a method that significantly reduces the size of the neural network that is produced for a given CBA instance. We present experimental results describing the performance of this method and comparing its performance to that of the previous method.
authors.affiliation: Department of Computer Science, American University in Cairo, 113 Kasr El Aini Street, Cairo, Egypt. abdelbar@aucegypt.edu
authors.forename: Ashraf M
authors.initials: AM
authors.lastname: Abdelbar
authors.forename: Emad A M
authors.initials: EA
authors.lastname: Andrews
authors.forename: Donald C
authors.initials: DC
authors.lastname: Wunsch
mesh_terms: D001185:Artificial Intelligence; D016571:Neural Networks, Computer