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
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 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
pick and add to favorite papersHOMELOGIN (you are user _anon_13711 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002