有限信念集上修正的一种方法
| Data(s) |
2003
|
|---|---|
| Resumo |
讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
栾尚敏; 戴国忠.有限信念集上修正的一种方法,软件学报,2003,14(5):911-917 |
| Palavras-Chave | #信念修正 #命题逻辑 #一阶逻辑 #有限信息集 |
| Tipo |
期刊论文 |
