认知逻辑

摘要： 一节精彩的化学课,离不开课前精心的备课,教师不仅需要认真研读教材、课标及优秀教学案例,把握每节课的重难点,更需要了解学生的学习水平和认知规律。有的初三化学教师每年在教授物质除杂类题型时,尽管已经十分用心地备课,能准确地把握重难点,但在具体教学实施过程中,总有学生看似理解除杂的原理和方法,但真正解题应用时还是出现不理解除杂方法、辨析不出生成物状态、不善于总结新杂质来源等各种问题。细究原因,与教师在教学设计时未考虑到初中生的在认知顺序性、认知抽象思维、认知逻辑等方面的发展有关。

摘要： 赋权理论源于西方社会工作学。在国内赋权理论本土化进程向纵深推进的关键阶段,对其所走过的认知逻辑历程做一种反思性评估是十分必要的。对国内学术场进行深层透视之后,可以发现国内赋权理论本土化进程正在走向一种深层话语塑型方式建构。这种深层话语塑型方式,建立于赋权理论本土化意识觉醒的基础之上,在从“误读”式、“独特”式、“失灵”式到“转型”式理解路径的演进序列中初冶原型,并在西方中心主义与本土中心主义、普遍主义与特殊主义、传统主义与现代主义、本质主义与历史主义的话语争论中获得正反两方面的认知逻辑参照。这种深层话语塑型方式实质上是一种历史性、情境化、扩大化的知识共同再生产方式。构建这种深层话语塑型方式,需要跳出既有认知框架,实现从“中心论”向“互构论”、“单变论”向“共变论”、“符合论”向“创制论”、“纯粹论”向“共在论”、“还原论”向“生成论”的转变。

摘要： 人工智能教育研究已成为教育技术界研究的热点,但中国现有研究成果中存在一些认识上的误区。文章采用现象学方法对近些年的文献进行评论,针对人工智能教育应用对教师角色的影响,对教育目标与教育方法的改变,以及对教育公平与教育质量提升等方面的盲目认识进行了分析;揭示了蕴藏其中的认知逻辑与教育理念,包括对学习复杂性的低估、对教师角色的认知错位和对教改目标的自负;提出了基于历史与社会的、基于现象学的和基于循证的三个研究视角的建议。

摘要： 教学逻辑的合理性是教师教学有效性的重要指标。基于课程标准,从物理学科逻辑、学生认知逻辑和教师教学逻辑三个方面对新旧人教版教材中“闭合电路的欧姆定律”一节的教材逻辑进行宏观和微观分析,探讨更清晰合理的教学逻辑,以提高课堂教学的有效性。

摘要： 具身认知对重构教育认知和体育认识论具有重要的现实意义。采用文献资料法、逻辑分析法追溯教育认知的本源,辩证身心二元论对体育教育主体元认知的影响,厘清离身认知造成体育教育的现实困境,探寻从“离身”到“具身”体育教育认知转向的价值意蕴,为体育教育的科学发展、培育新时代高素质健康人才提供重要的理论参考和依据。

摘要： 针对"探究杠杆平衡条件"的实验教学方案,基于科学方法进行了重新设计,结合实测数据给出了合理运用方法的结果,呈现了新教学设计的要点,弥补了现行教科书及现实教学方案的缺陷,讨论了新教学设计的特点.

摘要： 概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型,并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率,因而是一种比较理想的概率认知逻辑语义模型。本文给出了一个可靠且完全的概率认知逻辑公理系统,提出并证明了概率函数存在引理,进而给出了这一逻辑的完全性证明。最后,本文运用这一逻辑刻画了混合策略博弈的两种状态,为进一步讨论混合策略博弈奠定了基础。

摘要： 以“勾股定理(第一课时)”数学为例,通过对数学设计的三次修改引发的思考,试图阐述蕴含在知识结构中的逻辑关系与学生的认知逻辑水平的统一对数学课堂教学的极端重要性,努力探究实施“尊重学生认知逻辑”的数学教学的方法与路径.

摘要： 基础教育教学阶段注重在“授”与“学”的关系层面上,让学生转向理解课程知识的内涵及知识之间的协同性和整体性,实现在领会中达成学习的“领”学,在感悟中获取学习的“悟”学,在融通中探索学习的“通”学。这一教育教学的实践导向体现了如何深化和扩展知识的状态,以及注重如何选择知识点之间存在的“关系性”含义,这关系到促使学生对相互依存的知识内容进行思索和合理运用,由此,在获取知识和应用知识等方面形成更有责任意识的教学形态。

摘要： 学校通过钟表、空间布局、作息时间表等将学生放置在时间运行的系统中。学校控制时间的认知逻辑是学生缺少掌握时间的自律意识、成人的时间经验是学生的指南,其思维方式是简单的线性思维,目的在于最大可能溢出社会时间。学校需从以下三方面切入进行教育变革,解放时间,进而使人的个性发展成为可能:第一,反思时间归属权,寻求公共时间与个人时间的平衡;第二,审视时间与学业成就,提高时间利用率;第三,认识个人时间的独特性,提供个性化定制教育。

摘要： 归纳逻辑中的概率逻辑是逻辑学界、哲学界和心理学界共同关注的研究领域，探讨归纳逻辑中有关概率的认知基础及哲学问题非常必要。自休谟以来的历史经验证明，对归纳逻辑的研究 离不开认知方面的分析，将认知逻辑和动态、时间逻辑等和概率逻辑相组合来对概率进行研究是目前国际上比较前沿的研究领域。利用组合模态逻辑的方法构造概率动态认知逻辑可以用来处理信息、高阶信息和理信息变化，同时也可用来分析一些哲学问题，如认知悖论等。

摘要： 不可能世界在认知逻辑系统中理解为在逻辑上是不可能的而认知上是可能的，能够为认知逻辑系统中认知主体的矛盾信念提供语义支持，同时在一定程度上可以缓解认知逻辑系统中的逻辑全能问题。对于不可能世界本体论的归谬法证明遭遇丐题的困境问题，本文表明该证明无法真正否证不可能世界，因为不可能世界就是一个初始概念，而对于否定算子在不可能世界中的定义变化问题，本文认为这仅仅是一个众多语义解释的选择问题，并不是由于不可能世界的引入而引发该问题。

摘要： 在关于行动的哲学理论中，意图的研究在过去的二十余年间取得了很大的进展。而随之发展起来的有关意图的形式化理论也引起了广泛关注。本文首先介绍意图在决策问题中的形式刻画；通过形式分析主体的行动意图和结果意图以及它们之间关系，本文发展了意图认知逻辑来对主体知识和意图进行推理；最后通过本文提供的方法分析主体行动的执行和该行动的意图之间的关系。

摘要： 本文旨在阐述逻辑全能问题的各种表现形式以及解决该问题的不同方案。对于解决方案，本文主要从逻辑的三个方面来加以阐述：(1)语形方面。这主要是通过对初始公理和初始推理规则的限制弱化认知主体的推理能力，从而达到避免逻辑全能。(2)语义方面.通过修改克里普克语义模型，使得赋值发生改变，从而避免逻辑全能。(3)语用方面。引进与认知主体密切相关的情境，使得认知主体的认知能力符合实际，从而达到避免逻辑全能。

摘要： 本文旨在阐述逻辑全能问题的各种表现形式以及解决该问题的不同方案。对于解决方案，本文主要从逻辑的三个方面来加以阐述：(1)语形方面。这主要是通过对初始公理和初始推理规则的限制弱化认知主体的推理能力，从而达到避免逻辑全能。(2)语义方面.通过修改克里普克语义模型，使得赋值发生改变，从而避免逻辑全能。(3)语用方面。引进与认知主体密切相关的情境，使得认知主体的认知能力符合实际，从而达到避免逻辑全能。

摘要： 本文旨在阐述逻辑全能问题的各种表现形式以及解决该问题的不同方案。对于解决方案，本文主要从逻辑的三个方面来加以阐述：(1)语形方面。这主要是通过对初始公理和初始推理规则的限制弱化认知主体的推理能力，从而达到避免逻辑全能。(2)语义方面.通过修改克里普克语义模型，使得赋值发生改变，从而避免逻辑全能。(3)语用方面。引进与认知主体密切相关的情境，使得认知主体的认知能力符合实际，从而达到避免逻辑全能。

摘要： 本发明公开了一种多重逻辑问题的认知数据处理方法及装置。其中，该方法包括：确定多重逻辑问题的多个认知关键点，以及多个认知关键点之间的多个关联关系；根据目标对象的认知能力，确定相对于目标对象，多个认知关键点的第一目标认知难度值，以及多个关联关系的第二目标认知难度值，其中，目标对象为多重逻辑问题对应的问题解答者；根据第一目标认知难度值和第二目标认知难度值中，难度值最高的目标难度值对应的认知关键点或者关联关系，生成提示信息。本发明解决了相关技术中针对多重逻辑问题的解答过程中，难以对解答者进行有效和准确提示的技术问题。

摘要： 本发明提供一种人机交互动态故障树认知过载故障逻辑门的设计方法，包含三个阶段：1、认知过载故障逻辑门设计；2、认知过载可靠性建模；3、认知过载模型定量计算；通过以上各阶段的论述，分析了人机交互过程，查找出多任务并行的情景，明晰了认知过载故障逻辑，定量分析了并行任务的冲突值，达到和建立了认知过载故障可靠性模型的效果，解决了复杂系统人机交互认知过载故障定量定性分析问题。

摘要： 一种具有逻辑阵列块(LAB)互连线的可编程逻辑器件(PLD)，所述LAB互连线跨越该阵列中的相邻LAB并且具有互连不同LAB中的两个逻辑单元的能力。该PLD包括以阵列排列的多个以及互连该阵列的LAB的多条LAB间线。每个所述LAB包括预定数量的逻辑元件，在所述LAB中的所述预定数量的逻辑元件之间分配的一个或更多个控制信号，和跨越该阵列中不同LAB内的逻辑元件之间的LAB线。在不同的实施例中，LAB线被排列成交错排列模式，其中这些线之间存在一预定间距。在其他实施例中，相邻LAB的控制信号可以重叠，以允许控制信号被路由到相邻LAB的逻辑元件。

摘要： 本发明公开了基于逐层泛化推送逻辑的孤独症儿童认知能力评估干预系统，所述系统包括数据采集模块、摄像头录像权限请求模块、认知能力评估模块、认知能力干预计划生成模块、认知能力干预训练模块、认知能力数字康复报告模块。本发明由于没有特殊的设备要求，只要家庭拥有一台可上网的智能终端设备即可，设备成本低廉，且对家长的介入需求非常少，孤独症儿童就能够在熟悉的环境下进行数字康复干预训练，大幅度提高其干预效果，因此，该系统是有认知功能缺陷的孤独症儿童接受专业康复治疗师干预训练的有益补充，特别适用于医疗条件落后、缺乏专业康复治疗师地区的有认知功能缺陷的孤独症儿童或家长精力有限的家庭。

摘要： 本发明公开了一种多重逻辑问题的认知数据处理方法及装置。其中，该方法包括：确定多重逻辑问题的多个认知关键点，以及多个认知关键点之间的多个关联关系；根据目标对象的认知能力，确定相对于目标对象，多个认知关键点的第一目标认知难度值，以及多个关联关系的第二目标认知难度值，其中，目标对象为多重逻辑问题对应的问题解答者；根据第一目标认知难度值和第二目标认知难度值中，难度值最高的目标难度值对应的认知关键点或者关联关系，生成提示信息。本发明解决了相关技术中针对多重逻辑问题的解答过程中，难以对解答者进行有效和准确提示的技术问题。

摘要： 本发明提供一种人机交互动态故障树认知过载故障逻辑门的设计方法，包含三个阶段：1、认知过载故障逻辑门设计；2、认知过载可靠性建模；3、认知过载模型定量计算；通过以上各阶段的论述，分析了人机交互过程，查找出多任务并行的情景，明晰了认知过载故障逻辑，定量分析了并行任务的冲突值，达到和建立了认知过载故障可靠性模型的效果，解决了复杂系统人机交互认知过载故障定量定性分析问题。

摘要： 本发明公开了基于非单调性动态认知逻辑的密码协议分析方法，涉及信息安全的密码协议形式化分析领域，解决了具有知识非单调性的密码协议不能用现有方法来分析的问题，现有的逻辑分析方法所建的模型不精确或推理复杂，导致分析不成功的问题。本发明中所述密码协议中包括多主体，主体包括主体的知识，各主体在协议运行过程中，主体的知识发生变化，该密码协议的整个执行过程采用LNC逻辑语言形式化，采用克里普克模型形式化各主体的知识以及知识的变化，所述LNC逻辑语言采用Forget行为扩展动态认知逻辑。本发明能够发现密码协议的潜在缺陷可以及时更正或更换协议。

摘要： 本发明涉及一种模拟人脑记忆结构和认知逻辑信息处理的机器和方法，特别是模拟人脑的等级双记忆结构及由此结构生成的认知逻辑对自然语言进行关系存储和关系索取的机器和方法，包括在确定型图灵机上的实施方法。该机器包括输入装置，认知逻辑处理装置，知识记忆装置，和输出装置。该机器对自然语言进行认知逻辑处理，包括感知，归纳，演绎，和反绎，从而实现机器的学习/遗忘，理解/回忆，识别/想象和推理等认知功能。该认知逻辑处理方法是一个双语言相互归约的算法，克服了目前计算机指令存取方法导致的算法时间指数增长问题，提供了自然语言处理的关系存储和查询方法。

摘要： 本发明公开了基于非单调性动态认知逻辑的密码协议分析方法，涉及信息安全的密码协议形式化分析领域，解决了具有知识非单调性的密码协议不能用现有方法来分析的问题，现有的逻辑分析方法所建的模型不精确或推理复杂，导致分析不成功的问题。本发明中所述密码协议中包括多主体，主体包括主体的知识，各主体在协议运行过程中，主体的知识发生变化，该密码协议的整个执行过程采用LNC逻辑语言形式化，采用克里普克模型形式化各主体的知识以及知识的变化，所述LNC逻辑语言采用Forget行为扩展动态认知逻辑。本发明能够发现密码协议的潜在缺陷可以及时更正或更换协议。

摘要： 本发明涉及一种模拟人脑记忆结构和认知逻辑信息处理的机器和方法，特别是模拟人脑的等级双记忆结构及由此结构生成的认知逻辑对自然语言进行关系存储和关系索取的机器和方法，包括在确定型图灵机上的实施方法。该机器包括输入装置，认知逻辑处理装置，知识记忆装置，和输出装置。该机器对自然语言进行认知逻辑处理，包括感知，归纳，演绎，和反绎，从而实现机器的学习/遗忘，理解/回忆，识别/想象和推理等认知功能。该认知逻辑处理方法是一个双语言相互规约的算法，克服了目前计算机指令存取方法导致的算法时间指数增长问题，提供了自然语言处理的关系存储和查询方法。