pyVivid ; a concrete framework for mechanized diagrammatic reasoning
dc.rights.license | 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. | |
dc.contributor | Bringsjord, Selmer | |
dc.contributor | Varela, Carlos A. | |
dc.contributor | Hendler, James A. | |
dc.contributor | van Heuveln, Bram | |
dc.contributor.author | Marton, Nicholas | |
dc.date.accessioned | 2021-11-03T08:35:01Z | |
dc.date.available | 2021-11-03T08:35:01Z | |
dc.date.created | 2016-06-13T11:09:46Z | |
dc.date.issued | 2016-05 | |
dc.identifier.uri | https://hdl.handle.net/20.500.13015/1656 | |
dc.description | May 2016 | |
dc.description | School of Science | |
dc.description.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. | |
dc.language.iso | ENG | |
dc.publisher | Rensselaer Polytechnic Institute, Troy, NY | |
dc.relation.ispartof | Rensselaer Theses and Dissertations Online Collection | |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 United States | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/us/ | * |
dc.subject | Computer science | |
dc.title | pyVivid ; a concrete framework for mechanized diagrammatic reasoning | |
dc.type | Electronic thesis | |
dc.type | Thesis | |
dc.digitool.pid | 177208 | |
dc.digitool.pid | 177209 | |
dc.digitool.pid | 177210 | |
dc.rights.holder | This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author. | |
dc.description.degree | MS | |
dc.relation.department | Dept. of Computer Science |
Files in this item
This item appears in the following Collection(s)
-
RPI Theses Online (Complete)
Rensselaer theses from 2006; many restricted to current RPI Students, Faculty and Staff -
RPI Theses Open Access
Rensselaer Theses and Dissertations with Creative Commons Licenses
Except where otherwise noted, this item's license is described as 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.