共查询到20条相似文献，搜索用时 156 毫秒
1.
虚拟语气的种类及用法多样,但只要学会用时态倒退表达非真实状态或动作的虚拟,用零动词表达主观对未来的想象和预期,用合适的情态动词表达委婉和虚拟,符合逻辑的句子,一定是正确的表述。 相似文献
2.
王立福 《辽宁广播电视大学学报》2014,(2):14-15
英语是一门儿重要的语言工具,在各个领域的应用越来越广泛,因此英语教学工作就显得十分重要。英语教学当中时态的掌握对于中国的学生来说是一个难点,掌握了时态就能理解英语句子中所表达的时间前后顺序。英语时态教学要着重培养学生掌握谓语动词的词形变化和时态所表达的时间意义。 相似文献
3.
4.
一、书面表达中存在的典型的错误1.中国式的英语由于对英语知识掌握得不牢,再加上受母语影响,所以在写作时会出现按照汉语方式表达句子,如I in the noon at twelve go to sleep.2.时态和语法的错误第一个情况是在进行书面表达之前没有明确文章的主要时态是什么,让用一般过去时的,却用了其他的时态表达; 相似文献
5.
非单调逻辑是能够处理人工智能等领域中不确定性推理问题的重要的非经典逻辑分支。在经典逻辑中,前提的增加一定会导致结论的增加,结论是确定的;在非单调逻辑中,随着前提的增加,结论却是不确定的。解决常识推理的一个新思路是如何区分和表达加强前提集的相容和不相容问题。 相似文献
6.
本文从逻辑学的发展历程考察了逻辑学发展的认知转向。逻辑学和认知心理学的结合为信息科学尤其是计算机科学的理论与应用提供了方法，形成了一个以计算机为带头学科、以逻辑为基础、以认知为对象的研究方向，从而导致认知逻辑这一研究新课题的产生。认知逻辑的研究内容主要包括认识逻辑和心理逻辑，其研究方法涉及哲学思辨、心理实验、逻辑推理、计算机模拟和数学方法等。我们从认识逻辑、心理逻辑、人工智能三方面的研究成果可了解认知逻辑的研究现状。当前对认知逻辑的研究尚存在一些问题，但未来将会在若干领域有所突破。 相似文献
7.
臧永红 《湖南城市学院学报》2009,30(4):84-86
时态是逻辑命题中的一个内在成分,是语言结构描述的重要组成部分.在功能语法框架下,传统的时态与言语功能之间的关系被打破.英语广告中时态的选用是外化的、显性的,产生的社会心理效应却是内化的、隐形的.时态同样服务于广告信息传递,影响和劝说信息接收者按广告信息中的要求去采取相应的购买行为. 相似文献
8.
一、写作指导1.把握时态规律,提高语言准确性尽管从某地到某地的路径近期不发生改变,但英语书面表达路径式主题以某人未来活动为载体介绍路径,因此应用一般将来时表达文意。这是一个非常重要的时 相似文献
9.
文章从多主体的动态事务管理逻辑出发,给出了多主体动态管理逻辑的语言和语义,并进一步分析了质询的时态协议,给出了其模型。最后从称珍珠的例子出发,分析了一个Q生成模型的语义和模型,并得出了一些结论。 相似文献
10.
马克·雷诺兹 《中山大学学报论丛》2010,3(1)
不同的时态逻辑能够适应不同的推理任务.为了符合应用,关于时间的模型从离散的自然数和整数,延伸到稠密的线性实数,甚至扩展到区间代数和树代数.如果简单的时态连接词的表达力已经足够,就只需使用这些简单的时态连接词来构造的时态逻辑.在能够承担降低运算速度的风险下,我们可以为实现更强的表达力而使用更多的连接词,也可以加上度量信息或者固定点.作者近期提出了一个令人惊讶的结论:建立在实数时间上的具有足够表达力的语言和基于自然数离散时间流的传统简单算子,它们推理的计算复杂性是一样的.在这篇论文中,作者试图对建立在标准时态连接词和线性时间流的普通类上的时态逻辑中所有决策问题的计算复杂性作新的说明.尤其是,文中指出,所有标准逻辑在PSPACE中都存在决策问题. 相似文献
11.
胡培安 《华侨大学学报(哲学社会科学版)》2007,(2):109-116
时间基准是确定一个时间词语所指时间的量度或在时间流中的位置的基本标准。时间基准按性质可以分为天象基准、人为基准、经验基准、事件基准和当前基准;按关系可以分为共点基准和互为基准。每个时间词语都有基准,理解基准是理解时间词语意义的关键,“上(下)、前(后)”与T组合而成的时间词语之间的种种意义和用法的不同可以从基准角度得到科学的解释。 相似文献
12.
阳学军 《岳阳职业技术学院学报》2005,20(3):59-61
采用网络信息资源整合以及各种人工智能技术的方法来研究图书馆信息管理系统，其目的是促进信息资源的有效利用，加强信息资源的深层处理，提高检索系统的性能和易用性，实现信息检索的智能化和信息管理自动化。 相似文献
13.
张鹏飞 《安徽技术师范学院学报》2014,(6):41-46
本文提出对寄存器传送语言（RTL）描述的数字系统运用投影时序逻辑进行形式化描述并验证的方法。通过使用投影时序逻辑对RTL的形式语义进行定义,可把一个用寄存器传输语言描述的系统转换成投影时序逻辑的公式,从而使用投影时序逻辑可执行子集MSVL对系统行为和性质进行形式化的描述及验证,提高系统设计的可信性。 相似文献
14.
图像配准是图像处理的基本任务之一,是图像融合、目标识别等的前提。文章将基于行为的人工智能思想通过动物自治体的模式引入优化命题的解决中,构造了一种解决问题的架构—鱼群模式,并由此产生了一种高效的智能优化算法—人工鱼群算法(AFSA),进而提出以人工鱼群算法为优化搜索策略的人工鱼群算法在图像配准中的应用。 相似文献
15.
文章对教育领域的"三个世界"及其智能虚拟映射进行了认识切割,在此基础上提出了三个新的智能虚拟世界:代表数字化教育事实和存在的世界一’、代表人工智能教育认识的世界二’、代表人工智能教育思想和知识库的世界三’。文章指出,这三个新的智能虚拟世界是教育领域的"三个世界"在人工智能环境下的智能虚拟映射,扩展了传统教育研究的本体论假设,进而导致认识论的全方位变革。此外,文章还从认识主体、研究对象、研究范式、推理思维、知识表征等五个方面的变化,阐明了教育研究的认识论变革所引发的方法论转变。文章的研究有助于理解智能时代教育的过程与本质,并为教育人工智能系统的设计、开发与应用提供理论依据。 相似文献
16.
人工智能驱动的高校智慧教学融合了高校教学与人工智能技术的优势,已成为大数据环境下现代高校教学改革与发展的重要现实课题之一。本研究基于人工智能驱动的视角,审视其内嵌于高校智慧教学空间的融合实践可能性,试图构建一种将方法、技术、资源融为一体的“三维空间设计（物理空间、虚拟空间、数据联通空间）”。为此,面向不同主体（教师、学生和教学过程）来刻画人工智能驱动的智慧教学应用图景,以期理顺智慧教学空间融合的实践面向逻辑,旨在进一步助推高校智慧教学的高质量发展。 相似文献
17.
18.
19.
杨兴江 《阿坝师范高等专科学校学报》2004,21(2):94-97
本文分析了智能入侵检测技术,结合人工免疫原理、机器学习、数据挖掘和Agent技术提出了一个基于Agent的智能分布式入侵检测系统,并对其系统结构和模块功能进行了描述。 相似文献
20.
通过科学知识图谱分析方法,对Scopus数据库中近二十年8660篇的国际人工智能教育研究文献进行深入分析,主要聚焦于国际人工智能教育研究的发展态势和知识结构。结果显示:驱动人工智能研究的主要是政策、经济投入与国际合作;而人工智能教育研究的知识结构间的关系主要涉及机器学习/教育、智能导学系统和人类学习/教育,它们在根本上体现了智能主体(人与机器)间的关系,并凸显数字化学徒制的特征。进而启发人工智能教育专业人才培养:一是要重视政策、经济投入和国际合作等外部动因;二是要紧扣智能主体视域下人机关系及其四种主客体结构的核心内容;三是要加强技术伦理教育。此外,还要应对可能的风险。 相似文献