An Abductive Propositional Logic for Nonmonotonic Design Reasoning

• Main Authors: Hunghsiang Wang, 王鴻祥
• Other Authors: Feng-Tyan Lin
• Format: Others
• Language: zh-TW
• Published: 2000
• Online Access: http://ndltd.ncl.edu.tw/handle/60058467335831140182

博士 === 國立臺灣大學 === 建築與城鄉研究所 === 88 === Design process can be seen as a logical reasoning process, in which abduction, different from deduction logic, is an important one, and non-monotonicity may occur. In fact, abduction and non-monotonicity, which are not included in the capabilities of classical logics, have become two key issues in the areas of design research and computer-aided design. However, a non-classic logic system using abduction to reveal non-monotonicity is highly desired. Therefore, this study is attempt to develop an Abductive Propositional Logic (APL) for product design, and apply it to the analysis of five conceptual design projects, especially how the designer uses abduction and retracts accepted beliefs after adding some beliefs. The findings include that APL is an effective tool to specify how the non-monotonicity appears, and could be a good start point to develop a more ideal non-monotonic logic system.