An Abductive Propositional Logic for Nonmonotonic Design Reasoning
博士 === 國立臺灣大學 === 建築與城鄉研究所 === 88 === Design process can be seen as a logical reasoning process, in which abduction, different from deduction logic, is an important one, and non-monotonicity may occur. In fact, abduction and non-monotonicity, which are not included in the capabilities of classical...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2000
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/60058467335831140182 |