Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result
Artificial Intelligence(2016)
摘要
In this paper we show that, contrary to what is the case in what concerns contractions by a single sentence, there is not a system of spheres-based construction of multiple contractions which generates each and every transitively relational partial meet multiple contraction.
更多查看译文
关键词
Belief change,Theory contraction,Multiple contraction,System of spheres,(Transitively relational) partial meet
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络