An abductive propositional logic for design reasoning

被引：0

作者：

Lin, FT ^{[1
]}

Wang, HHS

机构：

[1] Natl Taiwan Univ, Grad Inst Bldg & Planning, Taipei 106, Taiwan

[2] Natl Taipei Univ Technol, Dept Ind Design, Taipei 106, Taiwan

来源：

JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS | 2001年 / 24卷 / 05期

关键词：

design reasoning; non-monotonicity; abduction;

D O I：

10.1080/02533839.2001.9670653

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

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.

引用

页码：569 / 579

页数：11

共 50 条

[41] Further study of the fuzzy reasoning based on propositional modal logic
Zhang, Zaiyue
Sui, Yuefei
Ca, Cungen
[J]. ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 4062 : 162 - 169
[42] Graded reasoning in n-valued Lukasiewicz propositional logic
Zhou, Hongjun
Wang, Guojun
[J]. ADVANCES IN INTELLIGENT WEB MASTERING, 2007, 43 : 387 - +
[43] Some properties of fuzzy reasoning in propositional fuzzy logic systems
Zhang, Jiancheng
Yang, Xiyang
[J]. INFORMATION SCIENCES, 2010, 180 (23) : 4661 - 4671
[44] Propositional Logic as a Propositional Fuzzy Logic
Callejas Bedregal, Benjamin Rene
Cruz, Anderson Paiva
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12
[45] ERRORS IN ABDUCTIVE REASONING
FRASER, JM
STROHM, P
SMITH, JW
SVIRBELY, JR
RUDMANN, S
MILLER, TE
BLAZINA, J
KENNEDY, M
SMITH, PJ
[J]. 1989 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-3: CONFERENCE PROCEEDINGS, 1989, : 1136 - 1141
[46] Facets of abductive reasoning
Nissan, E
[J]. CYBERNETICS AND SYSTEMS, 2003, 34 (4-5) : 381 - 399
[47] Abductive analogical reasoning
[J]. Abe, Akinori, 1600, Scripta Technica Inc, New York, NY, United States (31):
[48] Reasoning about temporal context using ontology and abductive constraint logic programming
Zhu, HW
Madnick, SE
Siegel, MD
[J]. PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, PROCEEDINGS, 2004, 3208 : 90 - 101
[49] Logic and abduction: Cognitive externalizations in demonstrative environments ('Abductive Reasoning', Atocha Aliseda)
Magnani, Lorenzo
[J]. THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2007, 22 (03): : 275 - 284
[50] Visual Abductive Reasoning
Liang, Chen
Wang, Wenguan
Zhou, Tianfei
Yang, Yi
[J]. 2022 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2022), 2022, : 15544 - 15554

← 1 2 3 4 5 →