Applications of heterogeneous reasoning in design

• Autorzy: Barker-Plummer D. , Etchemendy J.
• Języki publikacji: EN

Abstrakty

EN

The task of designing a complex arifact 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 hypotechnical 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 invo;ves reasoning with multiple representations of information, and with complex rationale and goal structures. We describe an architecture for bulding applications to support design reasoning which generalizes traditional nations of proff to the case of real-world problem solving, including design reasoning.

Słowa kluczowe

EN

Heterogeneous reasoning; design; computational archtecture

• Wydawca: Institute of Information Technology of the Warsaw University of Life Sciences – SGGW
• Czasopismo: Machine Graphics and Vision
• Rocznik: 2003
• Tom: Vol. 12, No. 1
• Strony: 39--54
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Barker-Plummer D.

• CSLI, Stanford University, Stanford, California, 94305-4115, USA

autor

Etchemendy J.

• CSLI, Stanford University, Stanford, California, 94305-4115, USA

Bibliografia

• [1] Gentzen G.: Investigations into logical deduction. Szabo M.E. (Ed.): The collected papers of Gerhard Gentzen, Amsterdam, North-Holland. 1935.
• [2] Fitch F.B.: Symbolic Logic: An introduction. Luvain. 1952.
• [3] Prawitz D.: Natural Deduction. A proof-theoretical study. Stockholm: Almqvist and Wiksell. 1965.
• [4] Prawitz D.: Towards a foundation of a general proof theory. Proc. of the 1971 Int. Congress of Logic, Methodology, and Philosophy of Science, Bucharest, 225-250. 1973.
• [5] Harel D.: On visual formalisms. Communications of the ACM, 31(5), 514-530. 1988.
• [6] Mitchell W. J.: The Logic of Architecture. Cambridge: MIT Press. 1990.
• [7] Johnson S.D., Barwise J., Allwein G.: Toward the rigorous use of diagrams in reasoning about hardware. Allwein G., Barwise J. (Eds.): Working Papers on Diagrams and Logic, Preprint Series, Indiana University Logic Group, Visual Inference Laboratory, Lindley Hall 425, Indiana University, Bloomington, IN, 47405, 169-212. 1993.
• [8] Barwise J., Etchemendy J.: Hyperproof. Stanford: CSLI and Cambridge: Cambridge University Press. Program by Gerard Allwein, Mark Greaves and Mike Lenz. 1994.
• [9] Glasgow J., Narayanan H., Chandrasekaran B.: Diagrammatic Reasoning: Cognitive and Computational Perspectives. AAAI Press and MIT Press. 1995.