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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.