國立臺灣大學建築與城鄉研究所lin, feng-tyanfeng-tyanlinWang, HunghsiangHunghsiangWang2006-09-282018-06-292006-09-282018-06-29http://ntur.lib.ntu.edu.tw//handle/246246/20060927122940835568an abductive propositional logic for design. reasoning. feng-tyan lin. professor. graduate institute of building & planning. national taiwan university. also with (1) department of civil engineering. national taiwan university.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.application/pdf1256884 bytesapplication/pdfzh-TWdesign reasoningnon-monotonicityabductionthesishttp://ntur.lib.ntu.edu.tw/bitstream/246246/20060927122940835568/1/adr.pdf