基于因果关系的行动理论扩充
在因果条件逻辑的基础上进一步改进因果理论语义,并给出扩充的行动理论,统一表述动作执行和原因蕴涵,从而可以整体论述逻辑语言本身相互动作的独立与非独立性,使得处理并发动作和动作之间独立与非独立性关系变得更为自然形式化.
行动理论 因果关系 条件逻辑
吴梅红 薛永生 胡文华 张敏 邓安生
厦门大学,计算机科学系,福建,厦门,361005
国内会议
海口
中文
42-45
2006-10-14(万方平台首次上网日期,不代表论文的发表时间)
行动理论 因果关系 条件逻辑
吴梅红 薛永生 胡文华 张敏 邓安生
厦门大学,计算机科学系,福建,厦门,361005
国内会议
海口
中文
42-45
2006-10-14(万方平台首次上网日期,不代表论文的发表时间)