pyVivid ; a concrete framework for mechanized diagrammatic reasoning

Authors
Marton, Nicholas
ORCID
Loading...
Thumbnail Image
Other Contributors
Bringsjord, Selmer
Varela, Carlos A.
Hendler, James A.
van Heuveln, Bram
Issue Date
2016-05
Keywords
Computer science
Degree
MS
Terms of Use
Attribution-NonCommercial-NoDerivs 3.0 United States
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
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
Department
Dept. of Computer Science
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
CC BY-NC-ND. Users may download and share copies with attribution in accordance with a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License. No commercial use or derivatives are permitted without the explicit approval of the author.