• Login
    View Item 
    •   DSpace@RPI Home
    • Rensselaer Libraries
    • RPI Theses Open Access
    • View Item
    •   DSpace@RPI Home
    • Rensselaer Libraries
    • RPI Theses Open Access
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    pyVivid ; a concrete framework for mechanized diagrammatic reasoning

    Author
    Marton, Nicholas
    Thumbnail
    View/Open
    177209_Marton_rpi_0185N_10850.pdf (1.151Mb)
    Other Contributors
    Bringsjord, Selmer; Varela, Carlos A.; Hendler, James A.; van Heuveln, Bram;
    Date Issued
    2016-05
    Subject
    Computer science
    Degree
    MS;
    Terms of Use
    This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.;
    Metadata
    Show full item record
    URI
    https://hdl.handle.net/20.500.13015/1656
    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
    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.;
    Collections
    • RPI Theses Online (Complete)
    • RPI Theses Open Access

    Browse

    All of DSpace@RPICommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Login

    DSpace software copyright © 2002-2022  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV