An abductive propositional logic for design reasoning

Feng‐Tyan Lin, Hung‐Hsiang Wang

研究成果: Article同行評審

1 引文 斯高帕斯(Scopus)


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.

All Science Journal Classification (ASJC) codes

  • 一般工程


深入研究「An abductive propositional logic for design reasoning」主題。共同形成了獨特的指紋。