| 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. |
