| A Three—valued Extension of ECWA |
| |
| 引用本文： | 何嘉.A Three—valued Extension of ECWA[J].西南师范大学学报(自然科学版),1996,21(5):434-440. |
| |
| 作者姓名： | 何嘉 |
| |
| 作者单位： | Department of Computer science，Southwest China Normal University，Chongqing 630715 |
| |
| 摘 要： | ＡＴｈｒｅｅ－ｖａｌｕｅｄＥｘｔｅｎｓｉｏｎｏｆＥＣＷＡ￥ＨｅＪｉａ；ＱｉｕＹｕｈｕｉ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒｓｃｉｅｎｃｅ，ＳｏｕｔｈｗｅｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑｉｎｇ６３０７１５）Ａｂｓｔｒａ...
|
| 关 键 词： | ECWA 三值扩充 解释系统 人工智能 |
A Three-valued Extension of ECWA |
| |
| He Jia, Qiu Yuhui.A Three-valued Extension of ECWA[J].Journal of Southwest China Normal University(Natural Science),1996,21(5):434-440. |
| |
| Authors: | He Jia Qiu Yuhui |
| |
| Institution: | DepartmentofComputescience,SouthwestChinaNormalUniversity,Chonggqin630715 |
| |
| Abstract: | In this paper, we present a formalization of CWA using a three yalued logic based on the strong definitions of Kleene to a certain degree. We first define three-valued models of first-order theories and then define a three-valued extension of ECWA- ECWA. In order to process the theory more conveniently and effectively, we make strata for the theory, then, on the base of the result of standard dynamic stratification, we iterately use ECWA3 to get the three-valued extension of ECWA (which is the most powerful version of CWA). Through an example, we show that the three-valued CWA is different from the two-valued CWA and the three-valued CWA is strictly more expressive than the two-valued one. |
| |
| Keywords: | three-valued logic interpretation truth valuation closed-world assumption (CWA) theory indefinite information model |
| 本文献已被 CNKI 维普 等数据库收录！ |
