Loading...
Please wait, while we are loading the content...
Similar Documents
An Abductive Propositional Logic for Design Reasoning
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lin, Feng-Tyan Wang, Hung‐ Hsiang |
| Copyright Year | 2001 |
| 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. |
| Starting Page | 569 |
| Ending Page | 579 |
| Page Count | 11 |
| File Format | PDF HTM / HTML |
| DOI | 10.1080/02533839.2001.9670653 |
| Alternate Webpage(s) | http://ntur.lib.ntu.edu.tw/bitstream/246246/120343/1/21.pdf |
| Alternate Webpage(s) | http://ntur.lib.ntu.edu.tw/bitstream/246246/20060927122940835568/1/adr.pdf |
| Alternate Webpage(s) | https://doi.org/10.1080/02533839.2001.9670653 |
| Volume Number | 24 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
