An abductive propositional logic for design reasoning

Feng-Tyan Lin, Hung‐Hsiang Wang

Research output: Contribution to journalArticle

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 Jan 1

Fingerprint

Conceptual design

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

@article{569b0c65e76942e58bd55c9dbcee14b6,
title = "An abductive propositional logic for design reasoning",
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.",
author = "Feng-Tyan Lin and Hung‐Hsiang Wang",
year = "2001",
month = "1",
day = "1",
doi = "10.1080/02533839.2001.9670653",
language = "English",
volume = "24",
pages = "569--579",
journal = "Chung-kuo Kung Ch'eng Hsueh K'an/Journal of the Chinese Institute of Engineers",
issn = "0253-3839",
publisher = "Chinese Institute of Engineers",
number = "5",

}

TY - JOUR

T1 - An abductive propositional logic for design reasoning

AU - Lin, Feng-Tyan

AU - Wang, Hung‐Hsiang

PY - 2001/1/1

Y1 - 2001/1/1

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

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

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

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

U2 - 10.1080/02533839.2001.9670653

DO - 10.1080/02533839.2001.9670653

M3 - Article

AN - SCOPUS:0035447986

VL - 24

SP - 569

EP - 579

JO - Chung-kuo Kung Ch'eng Hsueh K'an/Journal of the Chinese Institute of Engineers

JF - Chung-kuo Kung Ch'eng Hsueh K'an/Journal of the Chinese Institute of Engineers

SN - 0253-3839

IS - 5

ER -