|||
摘要: The theory of Belief Revision has been formulated by AGM (Alchourron, Gardenfors and Makinson) in the 80's and has now become an important area of study. We describe our own and others' results (Kourousias and Makinson) in the relevance of language splitting. Issues that come in are Craig's Interpolation Theorem, Beth Definability Theorem, and the amount of information transferred from one theory to another.
您可以在论坛网站http://www.golori.org/bjforum/ 下载相关的论文。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-5-4 03:31
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社