Date: Wed, 20 Nov 1996 19:15:33 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Tue, 28 Nov 1995 19:51:04 GMT Content-length: 1516 Logical Reasoning with Diagrams

Logical Reasoning with Diagrams

Description:
Engineers have long used diagrams as an essential part of the design process. Flow charts and other forms of diagrams are well known aides in programming. There are now programming environments where the programming is entirely diagrammatic. The graphic capabilities of the computer have led to the wide spread use of diagrammatic and other forms of graphical representation of information. This project attempts to understand the logical properties of such forms of representation, and to develop computational tools to facilitate the correct use of such tools.

Associated Faculty: Gerry Allwein, Jon Barwise, Steve Johnson

Associated Graduate Students: Kata Bimbo (philosophy and cognitive science), Michael Chui, Kathi Fisler, Atsushi Shimojima (philosophy)

Affiliated Projects: The project takes place within the IU Visual Inference Laboratory, and is affiliated with the Hyperproof Project at CSLI, Stanford University.

Support: COAS, RUGS

For more information click here

Return to Computer Science Research Page