结合当前工程设计领域KBE技术的发展和模架设计的数据流图,给出了注塑模模架设计KBE系统的基本框架,并对其关键技术进行了分析:模......

基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,......

动态描述逻辑DDL（dynamic description logic）提供了一种基于描述逻辑的动作理论，适用于语义Web环境下对动态领域知识的刻画和推理．为......

智能解答是人工智能中的重要研究领域。随着教育信息化的深入发展,要求教育资源智能化,而不是简单的“电子化”。教育软件缺少智能......

时代发展要求教育资源智能化,而不是简单的"电子化".智能解答能在教育领域得以应用的基本要求是能被人理解接受,即有很好的可读性.......