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