頁籤選單縮合
題 名 | An Abductive Propositional Logic for Design Reasoning=一套非單調設計推理的設因命題邏輯 |
---|---|
作 者 | 林峰田; 王鴻祥; | 書刊名 | 中國工程學刊 |
卷 期 | 24:5 2001.09[民90.09] |
頁 次 | 頁569-579 |
分類號 | 440.8 |
關鍵詞 | 設計推理; 非單調現象; 設因法; Design reasoning; Non-monotonicity; Abduction; |
語 文 | 英文(English) |
中文摘要 | 設計的過程可視為一種以非傳統邏輯為基礎的推理過程,其中「非單調現象 ( 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. |
本系統中英文摘要資訊取自各篇刊載內容。