Using APL to Explore the Non-monotonicity in Design Process

Feng Tyan Lin; Hunghsiang Wang

doi:10.52842/conf.ecaade.2001.131

Using APL to Explore the Non-monotonicity in Design Process

Feng Tyan Lin, Hunghsiang Wang

National Land Research Center

Research output: Contribution to journal › Conference article › peer-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 language	English
Pages (from-to)	131-136
Number of pages	6
Journal	Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe
DOIs	https://doi.org/10.52842/conf.ecaade.2001.131
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

Education
Architecture
Computer Graphics and Computer-Aided Design

Access to Document

10.52842/conf.ecaade.2001.131

Cite this

@article{647c9b38a66b4cb2bbc5c5619418e2fc,

title = "Using APL to Explore the Non-monotonicity in Design Process",

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.",

author = "Lin, {Feng Tyan} and Hunghsiang Wang",

note = "Publisher Copyright: {\textcopyright} 2001, Education and research in Computer Aided Architectural Design in Europe. All rights reserved.; 19th Conference on Education in Computer Aided Architectural Design in Europe, eCAADe 2001 ; Conference date: 29-08-2001 Through 31-08-2001",

year = "2001",

doi = "10.52842/conf.ecaade.2001.131",

language = "English",

pages = "131--136",

journal = "Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe",

issn = "2684-1843",

publisher = "Education and research in Computer Aided Architectural Design in Europe",

}

TY - JOUR

T1 - Using APL to Explore the Non-monotonicity in Design Process

AU - Lin, Feng Tyan

AU - Wang, Hunghsiang

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=14044276516&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=14044276516&partnerID=8YFLogxK

U2 - 10.52842/conf.ecaade.2001.131

DO - 10.52842/conf.ecaade.2001.131

M3 - Conference article

AN - SCOPUS:14044276516

SN - 2684-1843

SP - 131

EP - 136

JO - Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe

JF - Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe

T2 - 19th Conference on Education in Computer Aided Architectural Design in Europe, eCAADe 2001

Y2 - 29 August 2001 through 31 August 2001

ER -

Using APL to Explore the Non-monotonicity in Design Process

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this