Portfolio of term projects and research papers, inclusive of code
Building upon the work in “Properties of Propositional Logic Encoded into Restricted Boltzmann Machines,” we expand the relevant formalism to encode paraconsistent inference. First, we explore the properties of propositional logic as encoded in RBMs under the original formalism. We then extend the formalism such that one can encode the paraconsistent logics Kleene’s K3 and Priest’s LP. Finally, given the loss of desirable deductive properties when one extends into LP, we again extend the formalism into LPm, the logic of minimal inconsistency, formalizing our connectionist representation of paraconsistent logical inference.
This project constitutes the thesis work submitted in consideration for my MSAI degree.
Full PDF available here.
Using classifiers trained in the “Classifying Behaviors of Boid Swarms” project, we seek to evolve an optimized set of parameters defining the behavior of a species of boids. We improve on a boid simulation and modify it to accept our parameters as arguments defining boid flight. We explore four evolutionary algorithms in hopes of identifying the best method. We corroborate concerns expressed in the previous project that generalizability of the models will be problematic.
Full PDF available here.
GitHub Repository available here.
We train a set of classifiers in order to recognize certain behaviors in a swarm of boids. We utilize the Swarm Behavior Data Set at the UCI Machine Learning Repository and explore a range of classification models. We find that a statistical aggregation of the data greatly improves the performance of the models, but we remain concerned about the generalizability of the models to other examples of boid swarms.
Full PDF available here.
We explore a method through which implications of propositional logic can be represented in Restricted Boltzmann Machines, bridging the gap between symbolic logic programming and connectionist neural network methods. We confirm the satisfaction of a range of properties known to hold in propositional logic under this new method and suggest further exploration into multi-valued and para-consistent logics. This project and method is the basis for and expanded upon in my thesis work.
Full PDF available here.