scholarly journals Hypothetical Reasoning via Provenance Abstraction

Author(s):  
Daniel Deutch ◽  
Yuval Moskovitch ◽  
Noam Rinetzky
Author(s):  
Masaharu Yoshioka ◽  
Tetsuo Tomiyama

Abstract Most of the previous research efforts for design process modeling had such assumptions as “design as problem solving,” “design as decision making,” and “design by analysis,” and did not explicitly address “design as synthesis.” These views lack notion and understanding about synthesis. Compared with analysis, synthesis is less understood and clarified. This paper discusses our fundamental view on synthesis and approach toward a reasoning framework of design as synthesis. To do so, we observe the designer’s activity and formalize knowledge operations in design processes. From the observation, we propose a hypothetical reasoning framework of design based on multiple model-based reasoning. We discuss the implementation strategy for the framework.


Author(s):  
Jan von Plato

This chapter talks about how the discovery of non-Euclidean geometries in the nineteenth century changed the traditional picture of axioms as evident truths: If triangles are drawn on the surface of the Earth so that each side is a part of a great circle (one that passes through two opposite points of the globe), the geometry is elliptic, and the sum of the angles of triangles is greater than that of two right angles. Axioms are now just some postulates that scholars choose as a basis. For some reason, today's logic did not first follow the lead of geometry, as a theory of hypothetical reasoning from axioms, but was formulated as a theory of logical truth on which even truth in mathematics was to be based.


1990 ◽  
Vol 5 (1) ◽  
pp. 83-124 ◽  
Author(s):  
Luca Console ◽  
Pietro Torasso

Sign in / Sign up

Export Citation Format

Share Document