An abductive propositional logic for design reasoning

Feng‐Tyan Lin, Hung‐Hsiang Wang

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Abstract

Design can be seen as a reasoning process based on non-classic logic, in which non-monotonicity and abduction are two essential features. This paper introduces Abductive Propositional Logic (APL), which is a simple but powerful formal system to deal with these two features. To show its capabilities, APL is used to analyze the reasoning of a conceptual design of a scooter. The results reveal that APL is not only a profound basis for developing computer supported design systems, but also a useful tool for analyzing design processes.

Original languageEnglish
Pages (from-to)569-579
Number of pages11
JournalJournal of the Chinese Institute of Engineers, Transactions of the Chinese Institute of Engineers, Series A/Chung-kuo Kung Ch'eng Hsuch K'an
Volume24
Issue number5
DOIs
Publication statusPublished - 2001 Jul

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'An abductive propositional logic for design reasoning'. Together they form a unique fingerprint.

Cite this