<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>27</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></authors></contributors><titles><title><style face="normal" font="default" size="100%">Evolutionary construction of derivations in classical propositional logic using a symbolic-connectionist representation</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.framsticks.com/files/common/EvolutionOfDerivationsInLogic.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">RA–3/17</style></number><publisher><style face="normal" font="default" size="100%">Poznan University of Technology, Institute of Computing Science</style></publisher><abstract><style face="normal" font="default" size="100%">This report introduces a way derivations in classical propositional logic can be constructed using evolutionary algorithms. The derivations are represented by connectionist systems. There are three kinds of nodes constituting these systems: formula nodes that generate signal in the form of strings of symbols, &quot;modus ponens&quot; nodes that transform incoming signal according to the &quot;modus ponens&quot; rule, and substitution nodes that transform incoming signal by applying the substitution rule. This work presents initial research on an approach that is a part of our quest for efficient construction of derivations using various logics and constrained in various ways. The final part of this report outlines limitations encountered in our initial experiments and the ways the proposed approach can be improved.</style></abstract><work-type><style face="normal" font="default" size="100%">Research report</style></work-type></record></records></xml>