Gettier反例的误导性——语义失败与语义混淆

普遍观点认为,Gettier反例有效地挑战了传统的知识分析(JTB),而Mizrahi等学者尝试从语义学的角度探讨这些反例中的误导性。根据Kripke对于“说话者指称”和“语义学指称”的区分,Mizrahi认为在Gettier反例中存在一种语义失败的现象:于某个认知主体而言,某个指示词的说话者指称未能满足其作为语义学指称的条件。然而,本文首先指出Mizrahi对Kripke理论的应用存在误解。其次,即便Mizrahi对Kripke理论的理解与应用是准确的,他所主张的语义失败也不普遍存在于所有的Gettier反例之中。最后,本文基于Mizrahi的论述,进一步探讨了Gettier反例中的另一种语义问题——语义混淆:反例声称认知主体知道的那个命题既有认知主体的意向所指,也有实际所指。因此,Gettier反例仍然具有误导性。

补偿通信顺序进程的扩展及失败发散语义

补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展,可用来描述服务计算中的编制程序,比如WS-BPEL程序。目前,cCSP只有操作语义和基于迹的指称语义,对死锁和发散行为的推理支持不够。本文扩展了cCSP,引入新的组合操作子,给出扩展cCSP的失败发散语义;并根据该语义,给出新引入组合操作子的重要代数规则,用于语义的理解和佐证。最后,给出一个案例描述用于展示扩展cCSP。

基于ASP及稳定失败语义的CSP模型检测

针对现有模型检测工具对活性描述不足、模型转换复杂,提出一种基于ASP及稳定失败语义的CSP模型检测方法。该方法采用时态逻辑LTL刻画性质,将进程的稳定失败模型和LTL公式转化为ASP,利用ASP求解器验证性质,实现一次运行验证多条性质。实验结果表明,该方法既扩大了基于稳定失败模型的活性验证范围,也避免了不同模型之间的转换。

事件结构的近似迹与单元失败等价（英文）

迹等价和测试等价等事件结构上的系统等价关系都立足于观测集上的精确相等,然而精确相等需要的精确度量在现实物理世界里是无法实现的,因此精确等价的应用是非常有限的,并且精确等价关系不具有鲁棒性。为了克服以上缺陷,该文通过使用Baire度量,提出了包含近似交织迹等价、近似交织单元失败等价、近似步骤迹等价和近似步骤单元失败等价的事件系统近似等价框架。这些近似等价具有以下几种良好性质:1)近似等价涵盖了精确等价,即传统精确等价是近似等价的特例。2)近似等价关系具有传递性,可以连续使用。