an abductive propositional logic for design reasoning
Author(s)
lin, feng-tyan
Wang, Hunghsiang
DOI
20060927122940835568
Abstract
an 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.
Subjects
design reasoning
non-monotonicity
abduction
Publisher
臺北市:國立臺灣大學建築與城鄉研究所
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
adr.pdf
Size
1.2 MB
Format
Adobe PDF
Checksum
(MD5):291087b6174b77129a36ad4890c68465