<?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><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Paweł Topa</style></author><author><style face="normal" font="default" size="100%">Maciej Komosinski</style></author><author><style face="normal" font="default" size="100%">Maciej Bassara</style></author><author><style face="normal" font="default" size="100%">Jarosław Tyszka</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Gruca, Aleksandra</style></author><author><style face="normal" font="default" size="100%">Brachman, Agnieszka</style></author><author><style face="normal" font="default" size="100%">Kozielski, Stanisław</style></author><author><style face="normal" font="default" size="100%">Czachórski, Tadeusz</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">eVolutus: a configurable platform designed for ecological and evolutionary experiments tested on Foraminifera</style></title><secondary-title><style face="normal" font="default" size="100%">Man–Machine Interactions 4</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-319-23437-3_23</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><isbn><style face="normal" font="default" size="100%">978-3-319-23436-6</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><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></authors></contributors><titles><title><style face="normal" font="default" size="100%">Evolutionary design of tall structures</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.framsticks.com/files/common/EvolutionaryDesignOfTallStructures.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Poznan University of Technology, Institute of Computing Science</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></record><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%">Krzysztof Rosinski</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Estimating similarity of neural network dynamics</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.framsticks.com/files/common/SimilarityNeuralNetworkDynamics.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">RA-10/10</style></number><publisher><style face="normal" font="default" size="100%">Poznan University of Technology, Institute of Computing Science</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">This report concerns estimation of the similarity between neural networks of any topology. Motivations and benefits of having an automated and quantitative network comparison mechanism are presented. The concept of neural network dynamics (neuron output signal) is considered. A measure is proposed for estimating similarity of active (i.e., working) neural networks. Properties of the measure are analyzed theoretically and verified empirically. The experiments have been performed on a set of evolved networks responsible for controlling 3D structures (agents, robots). These experiments demonstrate the capabilities and the limitations of the proposed measure as a mechanism to support humans in analyzing large sets of neural networks.</style></abstract></record><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%">Maciej Komosinski</style></author><author><style face="normal" font="default" size="100%">Jan Polak</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Evolving free-form stick ski jumpers and their neural control systems</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the National Conference on Evolutionary Computation and Global Optimization</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.framsticks.com/files/common/Komosinski_Polak_EvolvedSkiJumping.pdf</style></url></web-urls></urls><pub-location><style face="normal" font="default" size="100%">Poland</style></pub-location><pages><style face="normal" font="default" size="100%">103--110</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">This paper concerns evolution of stick agents in a simplified ski-jumping task. Both body morphologies and control systems are optimized. Evolutionary processes are performed in a range of conditions: the air drag and the friction of the ramp varies. Qualitative and quantitative analyses are presented that show how jump distance, jump height, and flight trajectory depend on environmental conditions. Jumping and landing strategies are investigated, and the most interesting evolved behaviors are reported.</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 Hapke</style></author><author><style face="normal" font="default" size="100%">Maciej Komosinski</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Evolutionary Design of Interpretable Fuzzy Controllers</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Computing and Decision Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.framsticks.com/files/common/EvolveInterpretableFuzzyControl.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">33</style></volume><pages><style face="normal" font="default" size="100%">351–367</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">This paper presents an approach that allows to evolve fuzzy controllers that can be expressed as fuzzy rules in human-readable form and interpreted. For comparison, the evolution is also performed on simple neural controllers. The control task considered here is a balancing problem, where a construct made of articulated elastic elements is equipped with sensors and actuators. The goal of the construct is to keep the top heavy part from touching the ground. Evolved controllers are evaluated using computer simulation. Control systems process signals from tilt sensors to actuators fixed in the construct. During evolution, fuzzy controllers (including their fuzzy sets and rules) are reconfigured by genetic operators in order to maximize fitness of the control. The article compares evolvability of neural and fuzzy controllers and demonstrates how additional, comprehensible knowledge can be gained which explains the work of the fuzzy controller. The representation for the fuzzy control system, evolutionary operators, various evaluation functions, and the best evolved control systems are presented. A sample evolved fuzzy control system is analyzed in detail to explain its behavior.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>32</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Walter de Back</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Eco-evolutionary experiments with situated agents</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.framsticks.com/files/common/MSc_deBack_EcologyEvolution.pdf</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><work-type><style face="normal" font="default" size="100%">masters</style></work-type></record><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 Hapke</style></author><author><style face="normal" font="default" size="100%">Maciej Komosinski</style></author><author><style face="normal" font="default" size="100%">Dawid Waclawski</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Evolutionary optimization of fuzzy controllers for virtual robots</style></title></titles><keywords><keyword><style  face="normal" font="default" size="100%">EA</style></keyword><keyword><style  face="normal" font="default" size="100%">Fuzzy</style></keyword><keyword><style  face="normal" font="default" size="100%">Robotics</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><number><style face="normal" font="default" size="100%">RA-010/02</style></number><publisher><style face="normal" font="default" size="100%">Poznan University of Technology, Institute of Computing Science</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></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%">Grzegorz Koczyk</style></author><author><style face="normal" font="default" size="100%">Marek Kubiak</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On estimating similarity of artificial and real organisms</style></title><secondary-title><style face="normal" font="default" size="100%">Theory in Biosciences</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">AL</style></keyword><keyword><style  face="normal" font="default" size="100%">Biology</style></keyword><keyword><style  face="normal" font="default" size="100%">EA</style></keyword><keyword><style  face="normal" font="default" size="100%">Theory</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2001</style></year><pub-dates><date><style  face="normal" font="default" size="100%">December</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.framsticks.com/files/common/Komosinski_Similarity_TheoryInBiosc2001.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3-4</style></number><volume><style face="normal" font="default" size="100%">120</style></volume><pages><style face="normal" font="default" size="100%">271–286</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>