崔帅
- 作品数：8 被引量：8H指数：2
- 供职机构：山西大学哲学社会学学院科学技术哲学研究中心更多>>
- 发文基金：教育部人文社会科学重点研究基地度重大研究项目国家社会科学基金山西省高等学校哲学社会科学研究项目更多>>
- 相关领域：自然科学总论哲学宗教更多>>
- 矛盾与标注逻辑分析的意义被引量：1
- 2018年
- 矛盾问题是制约人工智能发展的重要问题,而基于矛盾的认识论解释表明了,矛盾是由矛盾信息的共存所致,因此解决矛盾的理想方法便是分析矛盾信息,从中推理命题的有效证据。而一些逻辑学家提出的标注逻辑正是对矛盾信息的分析,该逻辑通过对矛盾信息中有利证据与不利证据的标注,推理出证据的确定度与矛盾度,进而求解命题真正的证据度,以解释命题的意义。基于标注逻辑对矛盾问题的解决,不仅推动了人工智能的发展,同时也促进了人类理性思维的可计算化研究。
- 崔帅郭贵春
- 关键词：注释
- 理论与证据的概率解释模型被引量：1
- 2021年
- 证据是理论建构的重要依据,但是证据与理论之间的非必然性关系使得如何保证二者间关系的可靠性成为科学解释所面临的难题。而证据理论作为一种或然性方法,可以测量理论的证据度,以揭示证据与理论之间的关系;因而我们据此提出了理论与证据的概率解释模型。该模型通过测量所有潜在理论解释的证据度以提取有效的理论解释,并通过概率指派函数为其赋予具体的证据可信度。在此基础上,模型依据对质疑度的计算,从反面为理论解释提供支撑,并最终通过确定度的求解给出理论解释合理的有效证据度。此外,本文还总结了概率解释模型应该遵循的三条规范性准则,以动态地修正理论解释的证据度。概率解释模型不仅尝试为证据和理论之间的关联性以及合理性提供一种可行的概率分析方法,同时也试图以证据的有效性为理论的合理性提供完备性基础。
- 崔帅郭贵春
- 大脑是如何处理信息的——神经元及其模型的计算阐释被引量：2
- 2014年
- 神经元作为神经系统的基本单元,提供了人类认知的基本信息功能处理机制。文章通过对神经元及其模型进行计算分析,指出了神经元内离子对刺激信息的反应,在此基础上阐释了误差驱动任务学习与BP学习法,最后文章对神经元的计算启示给出了解读。文章表明,脑认知是动态的表征,其非线性地处理认知现象,并指出计算神经科学在解读大脑处理信息上正在尝试突破,具有重要的研究意义和价值。
- 尤洋崔帅
- 关键词：神经元
- 基于模态逻辑的知识情境化表征
- 2017年
- 知识的情境化表征是人工智能需要解决的重要问题,而通过情境语义学与可能世界语义学的对比表明,可能世界语义学可以为情境化表征提供解释。基于情境计算与模态逻辑结构的比较,我们知道在结构上模态逻辑与情境计算存在许多相似性,可以尝试用于知识的情境化表征。最后,时空特征的分析阐明了模态逻辑为知识的情境化表征提供了新颖的方法与工具。
- 崔帅郭贵春
- 关键词：模态逻辑
- 模糊性知识的语境逻辑分析被引量：1
- 2016年
- 模糊性问题是当下机器智能化面临的主要难题之一,因此"如何消除知识的模糊性问题"成为当下机器智能化研究的主要方向。本文从两种不同语境逻辑的视角出发,分别诠释了谓词模糊问题与主词或句子的语义模糊问题的回避方式,为模糊问题的解释与表征提供了新方法。事实上,模糊问题是由于语境的不确定性所致,因此语境逻辑的分析方法将是模糊问题解决的主要方式。
- 郭贵春崔帅
- 当代计算神经科学研究述略被引量：2
- 2015年
- 计算神经科学致力于脑认知的计算探索,为心脑关系的研究提供了新颖的研究进路。文章对计算神经科学的学科发展进行了历史分析,指出其具有非程序性、低重复性、弱实验性的研究特征,在此基础上论述了该领域存在的四种研究机制,最后文章对计算神经科学的意义进行了简单阐释表明其重要的研究价值。
- 尤洋崔帅
- 关键词：计算神经科学脑认知脑机制
- 科学解释的计算化被引量：1
- 2022年
- 科学解释的本质功能在于阐明科学理论意义的建构,并且反思该意义建构的合理性。为此,如何保证科学解释的准确性与客观性成为科学解释所面临的难题。在这其中,计算作为形式工具,在特征与功能上都是科学解释研究中具有潜力的研究方法。同时,计算的语境相关性特征也对科学理论的意义探索起到了规范作用。因而,语境基底上的计算模型将有效地统一科学解释的形式表征与意义所在。
- 崔帅郭贵春
- 非经典逻辑的本质及其意义
- 2016年
- 非经典逻辑致力于扩展逻辑的推理能力,为机器智能化提供新的研究方式。故而我们对非经典逻辑发展的动因进行了分析,在此基础上探究了非经典逻辑的特征,指出其具有多值性、不确定性以及非单调性的特征,最后通过总结非经典逻辑的研究意义表明,非经典逻辑是一种依赖语境的分析方法,其因独特的研究形式拓宽了研究内容的范围,试图实现科学理性与人文理性的统一。
- 郭贵春崔帅
- 关键词：非经典逻辑不确定性
