頁籤選單縮合
題名 | An Abductive Propositional Logic for Design Reasoning=一套非單調設計推理的設因命題邏輯 |
---|---|
作者 | 林峰田; 王鴻祥; Lin, Feng-tyan; Wang, Hung-hsiang; |
期刊 | 中國工程學刊 |
出版日期 | 20010900 |
卷期 | 24:5 2001.09[民90.09] |
頁次 | 頁569-579 |
分類號 | 440.8 |
語文 | eng |
關鍵詞 | 設計推理; 非單調現象; 設因法; Design reasoning; Non-monotonicity; Abduction; |
中文摘要 | 設計的過程可視為一種以非傳統邏輯為基礎的推理過程,其中「非單調現象 ( non-monotonicity )」與「設因法( abduction )」是兩個重要的特性。 本文嘗試建 立一個簡單有效的「設因命題邏輯( Abductive Propositional Logic,APL )」以處理這 兩種特性。我們應用 APL 來分析一個速克達機車的概念設計過程,結果顯示 APL 不僅為電 腦輔助設計系統的建立提供一個良好的基礎,更是一個有用的設計過程分析工具。 |
英文摘要 | Design can be seen as a reasoning process based on non-classic logic, in which non-monotonicity and abduction are two essential features. This paper introduces Abductive Propositional Logic (APL), which is a simple but powerful formal system to deal with these two features. To show its capabilities, APL is used to analyze the reasoning of a conceptual design of a scooter. The results reveal that APL is not only a profound basis for developing computer supported design systems, but also a useful tool for analyzing design processes. |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。