<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Andrzej Gajda</style></author><author><style face="normal" font="default" size="100%">Adam Kups</style></author><author><style face="normal" font="default" size="100%">Mariusz Urbański</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">M. Ganzha</style></author><author><style face="normal" font="default" size="100%">L. Maciaszek</style></author><author><style face="normal" font="default" size="100%">M. Paprzycki</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A connectionist approach to abductive problems: employing a learning algorithm</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 2016 Federated Conference on Computer Science and Information Systems (FedCSIS)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><publisher><style face="normal" font="default" size="100%">ACSIS</style></publisher><pages><style face="normal" font="default" size="100%">353–362</style></pages><abstract><style face="normal" font="default" size="100%">This paper presents preliminary results of an application of artificial neural networks and Backpropagation learning algorithm to solve logical abductive problems. To represent logic programs in the form of artificial neural networks CIL2P approach proposed by Garcez et al. is employed. Our abductive procedure makes use of translation of a logic program representing a knowledge base into a neural network, training of the neural network with an example representing an abductive goal and translation of the trained network back to the form of a logic program. An abductive hypothesis is represented as the symmetric difference between the initial logic program and the one obtained after training of the network. The first part of the paper introduces formal description of the tools used to model the abductive process, while the second part illustrates our contribution with results of a few computational experiments and discusses the ways of possible improvements of the proposed procedure.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Maciej Komosinski</style></author><author><style face="normal" font="default" size="100%">Adam Kups</style></author><author><style face="normal" font="default" size="100%">Dorota Leszczyńska-Jasion</style></author><author><style face="normal" font="default" size="100%">Mariusz Urbański</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Identifying efficient abductive hypotheses using multi-criteria dominance relation</style></title><secondary-title><style face="normal" font="default" size="100%">ACM Transactions on Computational Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.framsticks.com/files/common/IdentifyingEfficientAbductiveHypotheses.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">4</style></number><publisher><style face="normal" font="default" size="100%">Association for Computing Machinery</style></publisher><pub-location><style face="normal" font="default" size="100%">New York, NY, USA</style></pub-location><volume><style face="normal" font="default" size="100%">15</style></volume><pages><style face="normal" font="default" size="100%">28:1–28:20</style></pages><abstract><style face="normal" font="default" size="100%">In this article, results of the automation of an abductive procedure are reported. This work is a continuation of our earlier research, where a general scheme of the procedure has been proposed. Here, a more advanced system developed to generate and evaluate abductive hypotheses is introduced. Abductive hypotheses have been generated by the implementation of the Synthetic Tableau Method. Before the evaluation, the set of hypotheses has undergone several reduction phases. To assess usefulness of abductive hypotheses in the reduced set, several criteria have been employed. The evaluation of efficiency of the hypotheses has been provided by the multi-criteria dominance relation. To comprehend the abductive procedure and the evaluation process more extensively, analyses have been conducted on a number of artificially generated abductive problems.</style></abstract></record></records></xml>