Vivid: a framework for heterogeneous problem solving

DOI10.1016/j.artint.2009.06.002zbMath1185.68638MaRDI QIDQ1045993

Selmer Bringsjord, Konstantine Arkoudas

Publication date: 21 December 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2009.06.002

zbMATH Keywords

vivid; 3-valued logic; problem solving; diagrams; assumption bases; DPLs; heterogeneous reasoning; named system states; worlds

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Related Items

Vivid

Uses Software

• CafeOBJ
• GROVER
• CafePie
• Dr.Doodle
• Hyperproof

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diagram processing: Computing with diagrams
• Linear diagrams for syllogisms (with relationals)
• Hybrid reasoning using universal attachment
• A simplied universal relation assumption and its properties
• Every Planar Map is Four Colorable
• Theories of Programming Languages
• The Expressiveness of Spider Diagrams
• Heterogeneous Reasoning and Its Logic
• Automated Reasoning
• Aligning logical and psychological perspectives on diagrammatic reasoning