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 条
  • [31] A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning
    Burrieza, A.
    Munoz-Velasco, E.
    Ojeda-Aciego, M.
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, 2008, 5290 : 11 - +
  • [32] Abductive reasoning
    Hitchcock, D
    [J]. UNIVERSITY OF TORONTO QUARTERLY, 2005, 75 (01) : 155 - 156
  • [33] Abductive reasoning
    Bourcier, Daniele
    [J]. ARTIFICIAL INTELLIGENCE AND LAW, 2006, 14 (03) : 241 - 246
  • [34] The logic of content effects in propositional reasoning:: The case of conditional reasoning with a point of view
    Beller, S
    Spada, H
    [J]. THINKING & REASONING, 2003, 9 (04) : 335 - 378
  • [35] A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
    Zhang, Zaiyue
    Sui, Yuefei
    Cao, Cungen
    Wu, Guohua
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 368 (1-2) : 149 - 160
  • [36] A new modal logic for reasoning about space: spatial propositional neighborhood logic
    Antonio Morales
    Isabel Navarrete
    Guido Sciavicco
    [J]. Annals of Mathematics and Artificial Intelligence, 2007, 51 : 1 - 25
  • [37] A new modal logic for reasoning about space: spatial propositional neighborhood logic
    Morales, Antonio
    Navarrete, Isabel
    Sciavicco, Guido
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 51 (01) : 1 - 25
  • [38] An abductive proof procedure for reasoning about actions in modal logic programming
    Baldoni, M
    Giordano, L
    Martelli, A
    Patti, V
    [J]. NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 132 - 150
  • [39] A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context
    de Oliveira, Osvaldo Luiz
    Oliveira, Carlos Eduardo A.
    Martins, Ricardo Jose
    Matsumoto, Marcio
    [J]. 2016 FIFTEENTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (MICAI): ADVANCES IN ARTIFICIAL INTELLIGENCE, 2016, : 99 - 105
  • [40] ABDUCTIVE REASONING IN DYNAMIC EPISTEMIC LOGIC-GENERATION AND SELECTION OF HYPOTHESIS
    Arroniz, Ismael D.
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2015, 2015 (116): : 212 - 219
12345