Using APL to Explore the Non-monotonicity in Design Process

Feng Tyan Lin, Hunghsiang Wang

Research output: Contribution to journalConference articlepeer-review

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)131-136
Number of pages6
JournalProceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe
Publication statusPublished - 2001
Event19th Conference on Education in Computer Aided Architectural Design in Europe, eCAADe 2001 - Espoo, Finland
Duration: 2001 Aug 292001 Aug 31

All Science Journal Classification (ASJC) codes

  • Computer Graphics and Computer-Aided Design
  • Education
  • Architecture

Fingerprint

Dive into the research topics of 'Using APL to Explore the Non-monotonicity in Design Process'. Together they form a unique fingerprint.

Cite this