摘要
一、前言我们正处在一个所谓“知识爆炸的时代”,由于微电子技术的飞跃发展,计算机技术的日趋成熟,当今,计算机系统的应用已经由数值计算和数据处理进入到知识处理的阶段,知识处理是计算机系统发展的必然趋势,一些计算机界的权威预言:“九十年代将是知识处理的年代”,“二十一世纪将是智能处理的时代”。由此,“知识工程”作为一门新型学科应运而生,正成为人们研究的一个热门课题,它涉及到计算机科学、微电子学、数学、认知科学、人工智能、逻辑学、心理学等等多门学科的内容。
Logic Inference and Problem Solving,Learning,Associate are main in- telligent behaviours of human.Various classical logic and non-classical logic are composed as fundamentation for knowledge procerssing,which logic infe- rence is supported by.In this paper,from the view of knowledge processing,we describe mechanism,relation and efficiency of situation logic and temporal logic,which are used most frequently.
出处
《计算机科学》
CSCD
北大核心
1992年第2期25-28,共4页
Computer Science
