关于函数空间的超连续性

超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.

在线电化学习的优势与弊端——以学习者的视角分析

在线电化学习能使学习者超越时空的限制、选择灵活的学习方式、便利获取学习资源,并使学习者利用多种在线学习互动系统,以较低成本进行学习。但因其对学习能力要求高,并且发生在虚拟网络环境中,在线电化学习仍具有适用群体受限、教育功能有限、还需依赖教师,而且学位尚不被广泛认可的弊端。为了发挥其优势、克服其弊端,学习者应根据自身情况,结合学习目标、学习内容、学习组织等要素,理性选择并运用这种学习方式。

AGM信念收缩算子的拓扑式刻画

当agent的信念集是无限集时,传统的基于有限逻辑语言的刻画信念变化(belief change)的简单语义模型通常不再适用。Grdenfors和Makinson引入的epistemic entrenchment(认知牢固度)模型虽然可以用来从语义上刻画AGM型信念收缩算子,但他们并未给出如何构造一个具体的epistemic entrenchment的方法。在无限命题逻辑语言的背景下,通过在模型集上引入一个拓扑结构,构造出一种新的用来刻画AGM信念收缩的语义结构,称为认知链,并给出相应表示定理。讨论了epistemic entrenchment与认知链之间的关系。相对epistemic entrenchment而言,认知链具有结构简单并易于构造的特点。

函数空间[X→L]上若干拓扑之间的关系(英文)

作者讨论在函数空间上lsbell拓扑和Scott拓扑何时一致的问题,给出了以下主要定理:设L是带有性质m的含最小元的连续domain,则函数空间[X→L]上Scott拓扑与lsbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain.