Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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
Czasopismo
Rocznik
Tom
Strony
39--54
Opis fizyczny
Bibliogr. 9 poz., rys.
Twórcy
autor
- CSLI, Stanford University, Stanford, California, 94305-4115, USA
autor
- 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.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BWA1-0003-0012