基于证券市场的套利模式分析

针对证券市场中跨期套利的基本行为,在套利定价理论、因素模型理论的基础上,建立了两种适用于证券市场的套利模式。对两种模式的构建进行了详细的分析与研究。对结果进行试验验证,证明了该套利模式的可行性。     

智能教学系统中基于BDI的教学Agent建模研究

在以Agent技术作为构建体系结构的智能教学系统中,教学Agent是一类具有教学作用的特殊功能Agent．针对教学Agent的特点,采用信念一愿望一意图（BDI）结构对其进行建模研究,从而较好地反映教学Agent的内部心智状态．在建模方法上采用Petri nets分析方法,Petri nets作为一种有效的图形和数学建模工具,能够方便、自然地描述基于BDI结构的Agent系统,并有助于为教学Agent系统的机上实现提供清晰的可操作的开发模式．     

智能教学系统概述

智能教学系统(Intelligent Tutoring System,ITS)是人工智能技术在教育中最重要的应用。自19世纪初诞生以来,随着认知科学、计算机科学与技术、教育科学的发展,ITS在教育实践中取得了许多成绩,并研制出诸多具有代表性的系统。进入新世纪以来,随着复杂计算、分布式认知、模式识别、知识表示、自然语言的理解、网络计算与计算机可视化等的进步,ITS面临着又一个新的快速发展期。本文主要对ITS的历史演化、基本框架和发展趋势进行了论述与探讨。     

语义Web下的智能授导系统

随着技术支持学习环境的变化,关于智能授导系统的研究趋势也发生了改变。本文对个人计算机环境下、Web环境下以及语义Web环境下智能授导系统的开发进行了分析和总结,通过对语义Web给智能授导系统各模块开发带来的机遇和挑战分析,构建了语义Web下本体驱动的智能授导系统体系结构,并对其功能进行了描述。     

智能教学系统浅析

在阐述智能的本质含义、智能教学系统的组成及运作原理的基础上,详细分析智能教学系统的优势与局限性。     

A Study on Human-Computer Interaction Mechanism in an Intelligent Tutoring System

Discussion is a common and important learning process. Involvement of a virtual agent can provide adaptive support for the discussion process. Argumentative knowledge construction is beneficial to learners’ acquisition of knowledge,but the effectiveness of argumentative scaffolding in existing studies is not consistent. Based on an intelligent discussion system, a total of 47 undergraduate students took part in the experiment and they were assigned to three different conditions: content-related plus content-independent scaffolding condition, content-related scaffolding condition, and the control condition. Under the content-related and content-independent scaffolding condition, the computer agent provided an idea from semantically different categories (content-related scaffolding) according to the automatic categorization of the current contributions, and further inquired the participants about their attitudes and reasons (content-independent scaffolding). Under the condition of content-related scaffolding condition, the virtual agent only provided semantically different viewpoints. Under the control condition, the subjects expressed their opinion independently without the participation of the virtual agent. Findings revealed that compared with the control group, when the virtual agent provided semantically different ideas (content-related scaffolding), the discussion breadth (number of categories) was improved and the subjects felt that they had a more comprehensive understanding of the problem. Compared with the content-related scaffolding condition, when the virtual agent provided semantically different ideas and further asked about the attitudes and reasons, the subjects expressed more agreement with these views, but mentioned fewer categories during the discussion. This study suggests that the content-related scaffolding can facilitate the cognitive processing effect relevant to the topic of discussion. When the content independent scaffolding is added, it can promote the argumentative processing, but may have a negative effect on the cognitive processing related to the topic discussed.     

基于互联网的智能英语听写系统设计

针对互联网智能英语听写自动校正系统设计的两个要素,即语音合成系统和自动校正系统。结合产品使用的特定人群,即小学高年级学生其语音资源库数据容量较小的特点,本文运用共振峰合成技术构建语音合成系统。在此基础上,利用SQL Server搜索引擎和Visual J#技术实现自动校正功能。实验结果表明,系统的运行速度和精确度良好,具有一定的商业价值。     

人工智能技术的远程教育应用探索——“希赛可”智能型网上英语学习系统

本文首先指出现有计算机辅助语言学习软件和系统的优点和不足,以及我国英语教学对于网上智能型人机对话系统的实际需求。然后介绍了我们研制的网上智能型英语学习系统—希赛可:依次包括它的理论基础,系统构架,在英语教学上的独特创新功能,以及需要完善和改进的地方。     

基于语音评测的英语口语智能导师系统研究

移动互联网环境下,智能语音技术取得了突破性发展和创新性应用。在教育领域中,语音评测技术也达到了大规模应用的条件。该研究针对英语口语教学中存在的学习环境匮乏和评价难度大等问题,设计了基于语音评测的英语口语智能导师系统,旨在通过一对一个性化教学的途径为上述问题提供解决方案。该智能导师系统主要包括学生模型、领域模型和教学模型三部分,作为核心的学生模型通过自动化语音测评技术描述学生当前的口语技能水平,教学模型依据学生模型向学生推荐个性化的口语学习资源。结果表明,该方法能够有效地辅助学生的英语口语学习。     

电工学智能教学专家系统的研究与开发

采用知识工程语言CLIPS研究、开发的电工学智能教学专家系统是基于互联网的新型专家系统。该系统包括学生模型、教师模型、教学模块、诊断模块、测试模块和知识库建设、方法库、试题库、策略库等部分,以最适合学生特点的方式组织教案和教学手段,诊断、纠正学习过程中出现的错误,实现个性化的电工学课程教学。     

一种面向问题解决的智能导师系统

个性化与智能导师是学习环境研究的两个关键因素,智能导师系统(Intelligent Tutoring System,ITS)能够在一定程度上模拟人类教师实施一对一的个性化教学,是训练问题解决能力的有效工具.以问题解决为中心的学习环境设计包括激活、展示、应用和整合四个阶段,本文探讨了面向问题解决的智能导师系统的设计理念与方法,并基于扩展的ITS体系结构,设计了一种新型的智能导师系统--iTutor,它能创设有利于主动学习的交互式问题解决环境.支持真实情境下的做中学和问题解决.     

Ontology建模及其ITS知识库设计

本文运用Ontology研究了知识库系统建模原理,并应用该建模方法对学习支持系统(SPSS)的知识查询模块进行了设计与实现.有效地支持了知识的共享、获取和管理,电支持了教学系统的开发.     

Multi-Agent Architecture for Intelligent Tutoring Systems

This paper shows a multi-agent architecture based on reactive agents for an intelligent tutoring system (ITS). The global system behavior is modeled taking into account the mental models and the cognitive task analysis. We present the basic characteristics of the reactive system in terms of reactive robotics, where they started. Next we introduce some definitions and schemes in order to characterize the multi-agent architecture. Finally, we present an ITS example called Makatsiná Makatsiná means tutor in TOTONACA, a Mexican pre-Spanish language. which teaches the skills necessary to solve a truss analysis problem by the joint method. This domain is an integration skill.     

论分布式学习环境下的智能授导系统发展

本文在回顾智能授导系统研究的基础上,解析了当前部分热点研究问题,归纳了以分布式的学习理念为指导、学习环境建构为前提的智能授导系统的发展动向,指出:人机协调、协同分布以及拟生态特征将是近期智能授导研究的重要趋势。     

智能教学系统中个性化题库的设计与实现

本文针对当前智能教学系统中个性化测评方面的需求,认为有必要构建个性化题库,并使用相关流图模型技术,构建了智能教学系统中的个性化练习模型.在进行相关理论分析并拟定该模型的实施目标后,设计了具有增量式循环的教学知识问题资源建设机制,并且建立了该练习问题资源的集成应用框架,最后以案例说明了该体系的有效性.     

Automatic debugging of Prolog programs in a Prolog Intelligent Tutoring System

This paper describes an approach to the debugging of student Prolog programs in a Prolog Intelligent Tutoring System (PITS) that detects errors in them and proposes the corrections necessary to fix them. It proposes the use of multiple sources of expertise to analyse Prolog programs for tutoring purposes, and the collaboration of these sources for understanding student programs, detection of bugs and suggesting fixes to buggy student programs. It also demonstrates the use of a heuristic bestfirst search of the program decomposition space to parse a Prolog program into a hierarchical structure of predicate definitions, clauses, subgoals, arguments and terms. This article illustrates the merits of an algorithm-based approach supplemented by multiple sources of expertise for program debugging by showing that APROPOS2 is an effective, realistic and useful tool for program debugging. It then highlights the difficulties inherent in debugging Prolog programs and discusses the limitations of our algorithm-based approach.     

web使用挖掘在智能化教学系统中的应用

网络教学已经成为当前计算机辅助教学的重要手段,网络教学系统的智能化是当前研究的热点。人工智能、数据挖掘技术等均已应用到网络教学系统中,目的就是为了更好地体现个性化、差异化教学。本文从web使用挖掘技术的角度,研究了web使用挖掘在智能化教学系统中的应用。     

基于案例的推理:智能授导系统研究的新方法

传统的智能授导系统研究方法是以学习者个体数据作为决策依据,以基于规则的推理作为推理方法,这样的系统面临着学习者个体数据不易测定、决策规则难以描述、系统无法自我完善三条困境.基于案例的摊理方法恰好规避了规则获取和描述的困难,结合群体数据和个体数据作为推理依据,实现了自我完善的推理智能.作为智能授导系统新的研究方法,基于案例的推理具有广阔的应用前景.     

智能教学代理的系统特性及设计框架

智能化已经成为网络教学系统发展的一个必然趋势, 这种智能化的教学系统有利于提高现有网络教学的教学效果, 并能维持及增强学生的学习动机.智能导师系统(ITS)及智能教学代理是当前网络教学系统智能化的两种主要路径, 较之ITS, 智能教学代理能更好地嵌入到已有的网络教学系统中.基于对国内外应用智能代理的网络教学系统的原型和实用设计方案的考察, 分析了应用于网络教学的智能教学代理的系统特性, 从智能代理的运行机制、智能代理与网络学习环境的接口、代理行为的构建及连接、代理行为的控制、与网络教学系统的集成等几个方面, 探析了基于智能代理的网络教学系统的设计框架.     

高职院校学业辅导体系的构建

学业辅导对于高职院校回应学生期待、加强思想政治教育、服务经济社会发展和促进自身发展均有重要价值。高职院校学业辅导存在“六重六轻”典型问题,学业辅导体系亟待完善。基于“以学生为中心”的基本思想,系统构建了包括三维核心内容、六支辅导队伍、六类工作平台和四方支持系统的学业辅导体系框架,并就体系内部关系作出分析。