A computational architecture for heterogeneous reasoning

In this paper we describe a computational architecture for applications that support heterogeneous reasoning. Heterogeneous reasoning is, in its most general form, reasoning that employs representations drawn from multiple representational forms. Of particular importance, and the principal focus of...

Full description

Saved in:
Bibliographic Details
Published in:Journal of experimental & theoretical artificial intelligence 2007-09, Vol.19 (3), p.195-225
Main Authors: Barker-Plummer, Dave, Etchemendy, John
Format: Article
Language:English
Subjects:
Architecture
Graphical representations
Heterogeneous reasoning
Proof
Reasoning
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we describe a computational architecture for applications that support heterogeneous reasoning. Heterogeneous reasoning is, in its most general form, reasoning that employs representations drawn from multiple representational forms. Of particular importance, and the principal focus of the architecture, is heterogeneous reasoning which employs one or more forms of graphical representation, perhaps in combination with sentences (of English or another language, whether natural or scientific). Graphical representations include diagrams, pictures, layouts, blueprints, flowcharts, graphs, maps, tables, spreadsheets, animations, video, and 3D models. By 'an application that supports heterogeneous reasoning' we mean an application that allows users to construct, record, edit, and replay a process of reasoning using multiple representations so that the structure of the reasoning is maintained and the informational dependencies and justifications of the individual steps of the reasoning can be recorded.
ISSN:0952-813X
1362-3079
DOI:10.1080/09528130701475401