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 条
  • [1] Adding abductive reasoning to a propositional logic
    Rasga, Joao
    Sernadas, Cristina
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (04) : 697 - 728
  • [2] Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
    Tarau, Paul
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (05) : 693 - 707
  • [3] A formal logic for abductive reasoning
    Meheus, Joke
    Batens, Diderik
    [J]. LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 221 - 236
  • [4] An efficient propositional system for Abductive Logic Programming
    Gavanelli, Marco
    Julián-Iranzo, Pascual
    Sáenz-Pérez, Fernando
    [J]. Artificial Intelligence Review, 2024, 57 (12)
  • [5] Reasoning processes in propositional logic
    Strannegård C.
    Ulfsbäcker S.
    Hedqvist D.
    Gärling T.
    [J]. Journal of Logic, Language and Information, 2010, 19 (3) : 283 - 314
  • [6] Abductive reasoning: Logic, visual thinking, and coherence
    Thagard, P
    Shelley, C
    [J]. LOGIC AND SCIENTIFIC METHODS: VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 259 : 413 - 427
  • [7] Abductive Logic Programming for Normative Reasoning and Ontologies
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Bellodi, Elena
    Riccardo, Zese
    Cota, Giuseppe
    [J]. NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2017, 10091 : 187 - 203
  • [8] On Verified Automated Reasoning in Propositional Logic
    Lund, Simon Tobias
    Villadsen, Jorgen
    [J]. INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2022, PT I, 2022, 13757 : 390 - 402
  • [9] Reasoning on Datalog± Ontologies with Abductive Logic Programming
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Bellodi, Elena
    Zese, Riccardo
    Cota, Giuseppe
    [J]. FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 65 - 93
  • [10] Abductive reasoning for design synthesis
    Lu, Stephen C. -Y.
    Liu, Ang
    [J]. CIRP ANNALS-MANUFACTURING TECHNOLOGY, 2012, 61 (01) : 143 - 146
12345