Copyright: (c) Copyright 1991 Association for Computing Machinery
Category: +Bitmap PBE
        CHI91
Abstract: The basic idea of this work has been to explore
        computation strictly in the "picture" domain.
        Axioms and rules of inference map from images to
        images, instead of from strings to strings (as in
        usual, sentential logics). Computation proceeds by
        chaining these rules. Research includes finding good
        demonstration areas for the concept, working out the
        necessary meta theory and mechanism (e.g., what are
        variables, quantification, or unification for
        images?), and writing a modest size virtual machine
        (15K lines of zeta-lisp code) to try out the basic
        ideas.
        <br>
        There are two particular relevances of this work to
        CHI. First is the understanding it might yield by
        providing a model of human reasoning about graphical
        interfaces (see CHI'91 paper).  Second, the
        graphical reasoning machine itself can provide a
        substrate for graphical interactions, assisting a
        user with certain graphical tasks.
        <br>
        The work has been on ice for a year, but my most
        recent focus on it has been largely on theoretical
        results, e.g., the soundness of certain general
        inference systems, including several graphical ones.
        (Furnasのホームページより)
Bibtype: InProceedings
Booktitle: Proceedings of the ACM Conference on Human Factors
        in Computing Systems (CHI'91)
Month: apr
Pages: 71-78
Author: George Furnas
CategoryType: CHI91発表論文
Title: New Graphical Reasoning Models for
        Understanding Graphical Interfaces
Year: 1991
Date: 2003/08/01 04:59:49
CategoryYomi: かい91
Super: CHI91
Publisher: Addison-Wesley