排序方式: 共有23条查询结果,搜索用时 0 毫秒
1.
智能教学系统NKI-Tutor的知识查询设计 总被引:1,自引:0,他引:1
NKI-Tutor是国家知识基础设施面向应用的智能教学系统,其功能是将NKI丰富的知识传授给用户。知识查询是NKI-Tulor给用户提供的一种查询式学习模式。该文研究如何通过NKI-Tutor的知识查询界面实现用户与智能教学系统的交互而获得所需知识,提出了基于自然语言理解的知识查询方法,用于构造和实现NKI-Tutor中用户查询知识的交互界面。该方法包括3方面内容:(1)分析用户的知识查询形式,采集用户查询句型模板;(2)根据用户查询的知识特征,把知识查询映射到概念.关系模型上;(3)通过智能分词和模糊匹配构造查询结果。 相似文献
2.
从非计算机专业的视角切入,基于非计算机专业学生学习数据结构存在的主要问题,探讨数据结构教学的一些实践策略以及创新思路。例如在课程教学中加入算法设计的学习,用比较法贯穿学习的始终等。通过培养学生对课程内容的兴趣,提高其学习效率、效果及应用能力。 相似文献
3.
提出一种用于求解约束优化问题的自适应佳点集进化算法.新算法利用佳点集原理设计多点交叉算子,该交叉算子能够根据父代个体的相似度自适应调整交叉点的位置和子代个体的数目,产生具有代表性的子代个体.在约束处理技术上,改进了Deb的三条比较准则,提出一种新的适应度函数用于比较个体优、劣的比较准则.通过对13个标准测试函数的试验比较验证了新算法的有效性和稳健性. 相似文献
5.
6.
一种面向领域本体的教学策略研究方法 总被引:4,自引:0,他引:4
唐素勤 《计算机工程与应用》2004,40(2):194-196,210
教学策略是智能教学系统研究的一个核心问题。论文提出一种基于领域本体的教学策略研究方法,该方法主要包括微教学策略、宏教学策略和教学策略描述语言(TSDL),在领域本体抽象层上实现多个学科教学和个别化教学。该方法在智能教学系统NKI-Tutor中已实现。 相似文献
7.
研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库. 相似文献
8.
精细化的领域文本分析是高质量领域知识获取的重要前提,它通常依赖于大量某种形式的语义文法产生式,但总结这些文法通常耗时耗力.对此,文中提出了 一种基于容错Earley解析算法的语义文法自动学习方法,根据种子文法自动生成新的语义文法(包括词类和文法产生式),以减少人工成本.该方法利用优化后的容错Earley解析器,对输入的语句进行容错解析,然后根据容错解析生成的解析树产生候选语义文法,最后对候选语义文法进行过滤或纠正得到最终的语义文法.在5种不同疾病的中医医案的实验中,该方法的词类学习的正确率达到63.88%,文法产生式学习的正确率达到81.78%. 相似文献
9.
分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足,研究了带传递关系和存在量词的描述逻辑εL+的MSC推理问题.提出了一种新的εL+-述图,利用描述树和描述图给出了描述逻辑εL+的MSC近似推理算法,并利用εL+-描述树同态和εL+-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL+-描述树描述图同态给出了εL+的实例推理算法,也证明了实例推理算法的正确性. 相似文献
10.