Automatically assigned DDC number: 00633
Manually assigned DDC number: 006333

Number of references: 0

Title: Reasoning With Diagrams Only

Author:

Subject: George W. Furnas Reasoning With Diagrams Only

Description: Traditional deductive systems work with sentences of symbols. Even in newer systems that also reason from diagrams sentential representations still play a major role. The work here explores deductive systems that use only picture-like representations. Machinery functionally equivalent to variables, quantifiers, substitution, unification, and binding are defined based on a model of deductive chaining as the composition of mappings, where pictures themselves are used to specify the mappings. Appeared in the proceedings of the AAAI Spring Symposium on "Reasoning with Diagrammatic Representations, " Stanford CA, 3/25/92-3/27/92. Reasoning With Diagrams Only December 30, 1994 1 Abstract Traditional deductive systems work with sentences of symbols. Even in newer systems that also reason from diagrams sentential representations still play a major role. The work here explores deductive systems that use only picture-like representations. Machinery functionally equivalent to variables, quant...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1995-10-03

Pubyear: 0

Format: ps

Identifier: http://citeseer.ist.psu.edu/140504.html

Source: http://www.si.umich.edu/~furnas/POSTSCRIPTS/ReasWDiagOnly.ps

Language: en

Rights: unrestricted

<?xml version="1.0" encoding="UTF-8"?>

<references_metadata>

</rec>

</references_metadata>

Automatically assigned DDC number: 00633Manually assigned DDC number: 006333

Automatically assigned DDC number: 00633
Manually assigned DDC number: 006333