CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

PDF papers
References
authors Lin, Feng-Tyan and Wang, Hunghsiang
year 2001
title Using APL to Explore the Non-monotonicity in Design Process
source Architectural Information Management [19th eCAADe Conference Proceedings / ISBN 0-9523687-8-1] Helsinki (Finland) 29-31 August 2001, pp. 131-136
summary The phenomenon of non-monotonicity is commonly found in design process. In addition to the traditional deductive logic, this article introduces an Abductive Propositional Logic (APL) to capture some characteristics of non-monotonicity. Statements of APL are called beliefs, including believed facts and believed rules, to reflect that they are only true in some situations. Accordingly, beliefs can be deductively true or abductively possible with respect to different reasoning methods. On the other hand, APL employs three retraction rules, namely, exclusive retraction, conclusive retraction, and premise retraction to maintain the consistency. A case study is illustrated.
keywords Logic, Design Reasoning, Non-Monotonicity, Abduction
series eCAADe
email ftlin@ccms.ntu.edu.tw, wanghh@ms28.hinet.net
full text file.pdf (317,318 bytes)
references Content-type: text/plain
last changed 2001/08/06 20:38
pick and add to favorite papersHOMELOGIN (you are user _anon_495195 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002