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

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
full text file.pdf (317,318 bytes)
references Content-type: text/plain
details citation check to select
100%; open Baxter, M. (1995) Find in CUMINCAD Product Design: A practical guide to systematic methods of new product development , Chapman & Hall, London, UK
100%; open de Kleer, J. (1986) Find in CUMINCAD An Assumption-based TMS. Artificial Intelligence , Vol. 28, pp. 127-162
100%; open Esghi, K. and Kowalski, R.A. (1989) Find in CUMINCAD Abduction Compared with Negation by Failure , Proceedings of the sixth International Conference on Logic Programming 1989, pp. 234-254
100%; open Galle, P. (1997) Find in CUMINCAD Towards a Formal Logic of Design Rationalization , Design Studies, Vol. 18, pp.195-219
100%; open McDermott, D. and Doyle, J. (1980) Find in CUMINCAD Non-monotonic Logic I , Artificial Intelligence, Vol. 13, pp. 41-72
100%; open Mitchell, W.J. (1990) Find in CUMINCAD The Logic of Architecture , MIT Press, Cambridge, MA
100%; open Moore, R. (1985) Find in CUMINCAD Semantics Considerations on Non-monotonics Logics , Artificial Intelligence, Vol. 25, pp. 75-94
100%; open Pereira, L.M. (et al.) (1993) Find in CUMINCAD Non-monotonic Reasoning with Logic Programming , The Journal of Logic Programming, Vol. 17, pp. 227-263
100%; open Reiter, R. (1980) Find in CUMINCAD A Logic for Default Reasoning , Artificial Intelligence, Vol. 13, pp. 81-132
100%; open Roozenburg, N.F.M. (1993) Find in CUMINCAD On the Pattern of Reasoning in Innovative Design , Design Studies, Vol. 14, pp. 4-19
100%; open Rowe, P. (1994) Find in CUMINCAD Design Thinking , MIT Press, Cambridge, MA
100%; open Ulrich, K.T. and Eppinger, S.D. (1995) Find in CUMINCAD Product Design and Development , McGraw-Hill, Inc., New York, NY

last changed 2001/08/06 20:38
HOMELOGIN (you are user _anon_514170 from group guest) Works Powered by SciX Open Publishing Services 1.002