论文部分内容阅读
认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题，多主体的自认知逻辑系统，是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统，并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论，同时也对该系统的可靠性和完全性进行了证明。
多主体自认知逻辑系统
【摘 要】
：
认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题，多主体的自认知逻辑系统，是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主
【机 构】
：
南开大学哲学系
【出 处】
：
西南大学学报：社会科学版
【发表日期】
：
2009年5期
其他文献
太原刚玉物流工程有限公司是我国最早开发和生产物流仓储设备的专业厂家之一，是太原高新技术产业开发区的首批入区企业，是中国钢协冷弯型材分会的理事单位，太原市15个优势企业之
作为全球自动化存取解决方案供应商中的佼佼者，瑞士卡迪斯(Kardex)公司拥有35年的专业经验，已成功地安装了80000台自动货柜设备。质量、创新、人性化、优秀员工是卡迪斯坚持不
现代诗学的学科建设讨论已经渐入佳境,也引起外界一定的关注。本来按照我们的设想,准备今年结束这场讨论。但是现在看来,好像欲罢不能。稿件源源不断,参与讨论的学者正在兴头
汽车工业以前的供货模式基本上属于按计划分散型供货,物料筹措部门按整车计划及零件的需求数量和到货时间,通知供货商或众多的供应商仓库,将所需零部件从各地运送到装配厂.
供应链的概念一、供应链的概念及结构模型供应链是围绕核心企业,通过对信息流、物料流、资金流的控制,从原材料采购开始,制成中间产品以及最终产品,最后由销售网络把产品送到
日东电子设备有限公司1979年在香港成立，最初主要从事标准机的组装和市场推广工作。1986年在深圳建设了生产基地，主要从事生产线物料输送设备的设计、生产和销售工作。2000年10
江苏天奇物流系统工程股份有限公司是一家主要为制造业提供工业自动化物流技术装备的专业企业。该公司以物流输送系统设备设计、制造、安装和服务为主，产品应用涉及汽车、家电
关于巴人的起源，有学者提出巴人源于古羌人的观点，该文作者针对此观点的相关论据，从巴人始祖太嗥伏羲氏、板檐蛮与羌人、廪君蛮与羌人、父子连名制等方面进行了分析论证，认为巴人