Applications of heterogeneous reasoning in design

Authors:
Dave Barker-Plummer;John Etchemendy
Affiliations:
CSLI, Stanford University, Stanford, California;CSLI, Stanford University, Stanford, California
Venue:
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
Year:
2003

Citing 2
Cited 1

On visual formalisms

Communications of the ACM
Diagrammatic Reasoning: Cognitive and Computational Perspectives

Diagrammatic Reasoning: Cognitive and Computational Perspectives

Openproof - A Flexible Framework for Heterogeneous Reasoning

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference

Quantified Score

Hi-index	0.00

Visualization

Abstract

The task of designing a complex artifact can be thought of as reasoning within a space of alternatives. This reasoning shares the large-scale structure of logical proof: the elucidation of information as the design is fleshed out, and hypothetical reasoning concerning the consequences of various possible design decisions, for example. However, design reasoning differs from the kind of reasoning usually considered by logicians because it involves reasoning with multiple representations of informatiom and with complex rationale and goal structures. We describe an architecture for building applications to support design reasoning which generalizes traditional notions of proof to the case of real-world problem solving, including design reasoning.