郑联合
- 作品数:2 被引量:0H指数:0
- 供职机构:兰州大学信息科学与工程学院计算机科学系更多>>
- 相关领域:文化科学自动化与计算机技术更多>>
- 非确定信息系统中知识算子的语义
- 1992年
- 在基于知识的计算机系统中,如何对知识进行推理的方法是很重要的,从粗略集合出发,可以给出知识算子的定义,在[1]中,E.Orlowska 给出了不可辨明关系是等价关系的情形,由于我们一般情况下考查的不可辨明关系不具有传递性,我们考查了不可辨明关系是半等价关系的情形,重新给出了集合的上、下逼近的定义,给出了相应的知识算子,以及一组当事人的公共知识和合知识的情形,我们的结果是 E.Orlowska 的推广。
- 李永礼郑联合吕献忠
- 关键词:公共知识
- 泛系哲学逻辑和人工智能
- 1991年
- 不管什么学科都是在特定的物质运动层次上展开对客观世界某一方面的研究,人工智能(AI)这门年轻而又处于前沿的学科在对人类的智能、人类的认知行为这一人类本身主观世界,主观世界与客观世界的关系(认识和改造),这样一个侧面的研究中,必须寻求一种正确的哲学思想为指导.几十年来AI研究之所以走过不少弯路,除了其本身的困难性之外,研究方法与指导哲学上也存在问题,这是在AI研究中值得注意的问题.在经过近十年的人工智能研究的紧张角逐之后,西欧科学工作者出现了寻求东方哲学的心理,日本在宣布完成第五代计算机计划之后,在更新的一代计算机计划中提出了“soft logic”(软逻辑)的理论需求.
- 李永礼郑联合张吉慧
- 关键词:哲学逻辑第五代计算机非经典逻辑泛系理论非单调推理