Vivid
swMATH ID:  1316 
Software Authors:  Arkoudas, Konstantine; Bringsjord, Selmer 
Description:  Vivid: a framework for heterogeneous problem solving. We introduce Vivid, a domainindependent framework for mechanized heterogeneous reasoning that combines diagrammatic and symbolic representation and inference. The framework is presented in the form of a family of denotational proof languages (DPLs). We present novel formal structures, called named system states, that are specifically designed for modeling potentially underdetermined diagrams. These structures allow us to deal with incomplete information, a pervasive feature of heterogeneous problem solving. We introduce a notion of attribute interpretations that enables us to interpret firstorder relational signatures into named system states, and develop a formal semantic framework based on 3valued logic. We extend the assumptionbase semantics of DPLs to accommodate diagrammatic reasoning by introducing general inference mechanisms for the valid extraction of information from diagrams, and for the incorporation of sentential information into diagrams. A rigorous bigstep operational semantics is given, on the basis of which we prove that the framework is sound. We present examples of particular instances of Vivid in order to solve a series of problems, and discuss related work 
Homepage:  http://kryten.mm.rpi.edu/vivid_120405.pdf 
Keywords:  vivid; heterogeneous reasoning; problem solving; diagrams; DPLs; assumption bases; named system states; worlds; 3valued logic 
Related Software:  SNARK; Mizar; Mathematica; Hyperproof; Dr.Doodle; CafePie; GROVER; CafeOBJ 
Referenced in:  3 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

Vivid: a framework for heterogeneous problem solving. Zbl 1185.68638 Arkoudas, Konstantine; Bringsjord, Selmer 
2009

Referenced by 4 Authors
3  Bringsjord, Selmer 
1  Arkoudas, Konstantine 
1  Govindarajalulu, Naveen Sundar 
1  Taylor, Joshua A. 
Referenced in 2 Serials
1  Artificial Intelligence 
1  Synthese 
Referenced in 3 Fields
3  Computer science (68XX) 
1  Mathematical logic and foundations (03XX) 
1  Relativity and gravitational theory (83XX) 