pyVivid ; a concrete framework for mechanized diagrammatic reasoning
Loading...
Authors
Marton, Nicholas
Issue Date
2016-05
Type
Electronic thesis
Thesis
Thesis
Language
ENG
Keywords
Computer science
Alternative Title
Abstract
In 2007, the abstract semantic framework of Vivid was introduced by [Arkoudas and Bringsjord, 2009] for the purpose of mechanized heterogeneous natural deduction that combines symbolic and diagrammatic reasoning. We introduce an implementation of the Vivid framework in the Python programming language, pyVivid, the first such concrete framework capable of combining symbolic and diagrammatic reasoning. Furthermore, we present a protocol that allows for the extension of the pyVivid ibrary, opening up the possibility of the incorporation of diagrammatic reasoning to other programmers.
Description
May 2016
School of Science
School of Science
Full Citation
Publisher
Rensselaer Polytechnic Institute, Troy, NY