发表服务
（二）纳思的理论预设纳思（非公理化推理系统，Non-AxiomaticReasoningSystem，NARS）是我设计的一个通用人工智能系统。徐英瑾在《对话》中在用通俗易懂的语言和实例介绍人工智能中的主要技术方案（符号进
最近读了2018和2019年的ArtificialGeneralIntelligence会议论文。一大感想是，当前AGI的发展依然延续着21世纪初的景象，AIXI，OpenCog，NARS占据着主要位置，他们分别代表着程序搜索、认知架构、非经典逻辑这几…
概率理体系不仅使概率理论的形式结构清晰、逻辑推理严密,而且还使概率论本身及形式结构与之相近的其他数学理论都取得了实质性的进展。柯尔莫格罗夫自20世纪20年代初开始研究概率理化系统。1929年在论文“一般测度论和概率论...
《高等代数》的公理化思想方法的认识与研究.pdf,()2002年2期邵阳学院学报自然科学Oct.2002第1卷第2期JournalofShaoyangUniversityVol.1.No.2文章编号:1672-1012(2002)02-0010-03《高等代数》的公理化思想方法的认识与研究胡...
ACBD理论以及精确求解非线性波动方程.本文以数学机械化思想为指导，根据导师张鸿庆教授提出的“AC＝BD”理论，研究了孤立子理论中的非线性偏微分方程（组）的问题，同时提出了利用Maple软件精确求解非线性偏微分方程（组）的一些方法。.第一章介绍了...
纳思系统。（1）系统规则引论。首先给出一些关键词：能对经验加以学习的、实时解读的；可计算的语义推理模型；“非公理化”的；词项式的；（句法上）具有自返性和传递性。这里笔者只稍微观察一下纳思系统的逻辑规则友好性。
人物简介：江雷，1965年3月生吉林长春，无机化学家、纳米材料专家，中国科学院院士、发展中国家科学院院士、美国国家工程院外籍院士，中国科学院化学研究所研究员、博士生导师，北京航空航天大学化学与环境学院院长。1987年江雷从吉林大学固体物理专业毕业后留在本校化学系物理化学...
公理化方法（或公理方法），就是从尽可能少的无定义的原始概念（基本概念）和一组不证自明的命题（基本公理）出发，利用纯逻辑推理法则，把一门数学建立成为演绎系统的一种方法。所谓基本概念和公理，当然必须反映数学实体对象的最单纯的本质和客观关系，而并非人们自由意志的随意创造。
模型化把理论看作一簇与经验同构的模型，以模型化而非公理化的方法表达理论。按照模型化的科学理论观，科学理论的基本作用就是给我们提供用于描述各种经验现象的一簇模型。一个好的科学理论不仅要与观察经验相一致，而且也要包含将来...
公理化则以若干公理、原理或基本假设为依据，进行严密的推理，最终得出问题的数学模型。应用公理化方法成败的关键在于推理所依据的基本假设（或公理、原理）是否合理。就理论而言，建模应当有一个适当的理论基础。
（二）纳思的理论预设纳思（非公理化推理系统，Non-AxiomaticReasoningSystem，NARS）是我设计的一个通用人工智能系统。徐英瑾在《对话》中在用通俗易懂的语言和实例介绍人工智能中的主要技术方案（符号进
最近读了2018和2019年的ArtificialGeneralIntelligence会议论文。一大感想是，当前AGI的发展依然延续着21世纪初的景象，AIXI，OpenCog，NARS占据着主要位置，他们分别代表着程序搜索、认知架构、非经典逻辑这几…
概率理体系不仅使概率理论的形式结构清晰、逻辑推理严密,而且还使概率论本身及形式结构与之相近的其他数学理论都取得了实质性的进展。柯尔莫格罗夫自20世纪20年代初开始研究概率理化系统。1929年在论文“一般测度论和概率论...
《高等代数》的公理化思想方法的认识与研究.pdf,()2002年2期邵阳学院学报自然科学Oct.2002第1卷第2期JournalofShaoyangUniversityVol.1.No.2文章编号:1672-1012(2002)02-0010-03《高等代数》的公理化思想方法的认识与研究胡...
ACBD理论以及精确求解非线性波动方程.本文以数学机械化思想为指导，根据导师张鸿庆教授提出的“AC＝BD”理论，研究了孤立子理论中的非线性偏微分方程（组）的问题，同时提出了利用Maple软件精确求解非线性偏微分方程（组）的一些方法。.第一章介绍了...
纳思系统。（1）系统规则引论。首先给出一些关键词：能对经验加以学习的、实时解读的；可计算的语义推理模型；“非公理化”的；词项式的；（句法上）具有自返性和传递性。这里笔者只稍微观察一下纳思系统的逻辑规则友好性。
人物简介：江雷，1965年3月生吉林长春，无机化学家、纳米材料专家，中国科学院院士、发展中国家科学院院士、美国国家工程院外籍院士，中国科学院化学研究所研究员、博士生导师，北京航空航天大学化学与环境学院院长。1987年江雷从吉林大学固体物理专业毕业后留在本校化学系物理化学...
公理化方法（或公理方法），就是从尽可能少的无定义的原始概念（基本概念）和一组不证自明的命题（基本公理）出发，利用纯逻辑推理法则，把一门数学建立成为演绎系统的一种方法。所谓基本概念和公理，当然必须反映数学实体对象的最单纯的本质和客观关系，而并非人们自由意志的随意创造。
模型化把理论看作一簇与经验同构的模型，以模型化而非公理化的方法表达理论。按照模型化的科学理论观，科学理论的基本作用就是给我们提供用于描述各种经验现象的一簇模型。一个好的科学理论不仅要与观察经验相一致，而且也要包含将来...
公理化则以若干公理、原理或基本假设为依据，进行严密的推理，最终得出问题的数学模型。应用公理化方法成败的关键在于推理所依据的基本假设（或公理、原理）是否合理。就理论而言，建模应当有一个适当的理论基础。
发表服务