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.
|Number of pages||6|
|Journal||Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe|
|Publication status||Published - 2001|
|Event||19th Conference on Education in Computer Aided Architectural Design in Europe, eCAADe 2001 - Espoo, Finland|
Duration: 2001 Aug 29 → 2001 Aug 31
All Science Journal Classification (ASJC) codes
- Computer Graphics and Computer-Aided Design