Using APL to Explore the Non-monotonicity in Design Process

Feng Tyan Lin, Hunghsiang Wang

研究成果: Conference article同行評審

1 引文 斯高帕斯(Scopus)


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.

頁(從 - 到)131-136
期刊Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe
出版狀態Published - 2001
事件19th Conference on Education in Computer Aided Architectural Design in Europe, eCAADe 2001 - Espoo, Finland
持續時間: 2001 8月 292001 8月 31

All Science Journal Classification (ASJC) codes

  • 教育
  • 建築
  • 電腦繪圖與電腦輔助設計


深入研究「Using APL to Explore the Non-monotonicity in Design Process」主題。共同形成了獨特的指紋。