归纳逻辑

摘要： 在世界范围内技术竞争日趋激烈、技术发展日益复杂的趋势下,颠覆性技术识别受到国家和企业越来越多的重视。本文通过对国内外颠覆性技术识别方法的分析,发现颠覆性技术识别方法存在演绎逻辑与归纳逻辑两种不同的视角,并将识别方法在这两种视角下进行归类和述评,从研究前提、研究数据、研究结论严谨性、研究流程四个方面对两种视角进行比较,总结了两种视角下识别方法的优缺点,最后,对这两种视角下关于颠覆性技术识别方法的进一步研究进行了初步展望。本文希望通过比较两种视角下颠覆性技术识别方法的研究工作,为未来颠覆性技术识别方法的研究提供参考。

摘要： 从实践哲学的角度看,传统哲学未能解决休谟问题的根源在于,囿于理论优位的传统哲学忽视了它的实践面向.而具有以下特质的人工智能的方法论可以化解休谟问题的困境与挑战:(1)局域性;(2)语境依赖性;(3)动态可修正性.人工智能哲学作为一种实践哲学可以对"归纳推理在科学实践的合理性"做出一种符合实际的恰当解释,由此休谟困境在一定程度上可以化解.人工智能研究背后的方法论思想揭示了人类知识的不完全性、语境依赖性和流动性,归纳辩护由此应当是语境化、动态可修正的局域辩护.人工智能方法论对化解休谟问题提供了重要启示.

摘要： 中国"推类"逻辑的归纳特性剖析表明,中国古代有归纳逻辑,作为一种非形式逻辑,其推理类型具有不同于西方归纳逻辑的特殊性,具体体现在推类的价值相关性上。从逻辑系统看,伦理推理是中国古代归纳逻辑的基本推理系统。伦理推理具有三个特征:大前提有较强的语境敏感性;推导一般不具演绎有效性,更具概率性;类比是推论的主要方式。

摘要： 归纳逻辑由于通常使用自然语言进行表述等原因,与日常生活联系紧密,且容易与能力测评试题的考法相匹配,在测评逻辑思维能力的选拔考试中被广泛应用。归纳逻辑试题常见的考察角度为归纳论证的评价与合情推理的运用,归纳论证的评价有加强、削弱、解释等角度,合情推理与对因果关系的把握有密切联系。

摘要： 在哲学的历史长河中,人们对归纳问题的争论从未停止,产生了诸如休谟问题、亨佩尔的乌鸦和古德曼绿蓝悖论等问题.这些问题使得哲学家们仍未在归纳逻辑的普遍模式上达成共识.美国科学哲学家和逻辑学家约翰·诺顿(John Norton)提出归纳逻辑是没有一个普遍模式的,因此没有普遍适用的归纳逻辑.同时,归纳推理不是形式上的,而是实质上的,归纳推理是以事实为依据,因此所有归纳推理都是局部的.诺顿实质归纳理论是归纳逻辑领域的前沿性成果,为解决归纳问题指引了新方向[1].

摘要： 毋庸置疑,逻辑史料是中国古代逻辑史研究的基础。然而逻辑学本是一门西方学科,在中国传统知识体系中并无逻辑学——未受西学影响的中国古人当然不会将其作品视为西方逻辑学著述。因此,哪些中国古文献可以被视为逻辑史料,首先取决于研究者的逻辑观。不过,西方逻辑本就是多元的,其中存在演绎逻辑、归纳逻辑、辩证逻辑和非形式逻辑等诸多逻辑类型。进而,根据不同的逻辑观,人们就会搜集、整.理出不同的中国古代逻辑史料。

摘要： 亨迪卡的众多研究项目之一名为"人类思维的逻辑工具及其历史",这实际上是对这位逻辑学大师一生工作的恰当总结.他开创了数理逻辑和哲学逻辑中的几种新方法和新系统,其中包括分配范式、模型集、可能世界语义学、认知逻辑、信念逻辑、归纳逻辑、语义信息、博弈语义学、探究的询问方法和独立友好逻辑.他将其用于研究语言哲学、形式认识论和科学哲学的问题.他将系统性的工作与对亚里士多德、莱布尼茨、康德、皮尔士和维特根斯坦等重要历史人物的全新解释相结合.亨迪卡是被引用次数最多的分析哲学家之一,他对逻辑和哲学的影响,还在于他是一位成功的教师和期刊《综合》(Synthese)的长期主编.

摘要： 人工智能的飞速发展离不开理论知识的支撑,归纳逻辑是人工智能的逻辑基础,其贝叶斯理论在专家系统中起到了不可或缺的作用.机器学习是人工智能的重要研究领域之一.机器学习中的示例学习可以看作是归纳学习,通过一系列的例子归纳出一般规则或规律.

摘要： "事实"命题能否推导出"价值"命题,休谟问题自提出以来一直争议不断.一切归纳得出的因果关系都回到了休谟所说的恒常联想.诚然,为归纳逻辑辩护有重要的意义.休模问题把自然科学与"精神科学"完全隔离,使唯心主义思想在学术界产生重要影响.自然科学强调说明,即对因果关系的揭示;精神科学强调理解,即追求体验.历史上为归纳作出辩护的尝试主要有归纳主义辩护和实用主义辩护.休莫问题的解决可以为唯物主义彻底贯彻到精神科学领域扫除障碍.

摘要： 归纳逻辑研究是逻辑学研究的重要组成部分.国内外不少逻辑学家(与学者)为推进归纳逻辑研究不惜呕心呖血。他们或者从逻辑角度求助数学方法建立形式系统，或者从哲学认识论角度建构理论.围绕这些理论，发生了激烈的论争，甚至对归纳逻辑本身是否真正意义上的逻辑也产生了疑问。回顾、梳理这些理论，评述它们的得失，展望归纳逻辑研究的前景，对于发展归纳逻辑、繁荣逻辑研究，进而推进基础理论研究、促进社会的创新能力都具有重大意义.

摘要： 概率与因果的相互渗透、有机结合是现代归纳逻辑应用发展的一种新趋势.朴素概率因果理论的建立和发展基于这样一种直观,即原因增加其结果发生的概率,但这种直观遭受概率增加非因果和非概率增加因果案例的质疑.近来不少学者从过程连接和概率增加以及将这两种视角综合起来回应这些质疑,但付出的代价是不同程度地忽略这样一些因果情形:远距作用和疏忽或缺席因果情形等.本文通过探析典型案例;比较研究现有解决路径;综合吸取它们的有利因素;结合格林的曲线图分析;建构出一种新概念"构成正生发"作为断定因果的本质要素,并提出"E-lwl"来刻画因果链的结构特征,进而逐步展开对因果分析的一种新方式.这种新方式不仅能解决朴素概率因果的问题,而且能为现有路径所忽视的因果情形提供一种合理解释.

摘要： 由王习胜、张建军教授合著的《逻辑的社会功能》一书，作为“逻辑时空”丛书之一，从题名上就直接体现了“逻辑时空”丛书的编撰目的与基本宗旨，即如丛书主编刘培育先生所言：“向社会普及逻辑知识，发挥逻辑的社会功能，推动全社会健康有效的思维，培育人们的理性品格和科学精神，服务于国家的经济建设和社会的和谐发展”。正因如此，本书被置于该丛书之首。“逻辑时空”丛书定位于大众读物和教学参考书，具有“高级科普”性质。《功能》亦遵循了这一风格要求。通读本书，可从史论两方面获得对逻辑学科的全面、生动的了解，该书与丛书其他著作共同描绘了关于逻辑知识与方法的一幅全景画面。与此同时，本书也凝聚了著者多年从事逻辑及相关学术研究的心得，是多年来在“逻辑的社会文化功能”问题上反复思考与研讨的阶段性总结，体现出了可贵的理论深度。本书的主体部分分别阐述了演绎逻辑、归纳逻辑和辩证逻辑的社会功能，同时阐明了发挥逻辑的社会功能的必要性、重要性和基本途径。

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

摘要： 从二十世纪初以休谟问题为核心研究对象的归纳逻辑的兴起到今天，归纳逻辑的研究已渗透到哲学，逻辑，人工智能等诸多领域，但归纳逻辑的逻辑地位问题却历来受到质疑。现代归纳逻辑的基石之一是概率演算，不仅如此，为了能为基本概率确定指派的规则，人们曾提出非常有影响的无差别原则，有了无差别原则，解决休谟问题似乎指日可待。不幸的是，无差别原则所引起的悖论让人不得不质疑其合理性，尽管有各种解决无差别悖论的方案，但都依赖于过强的条件。对于主观贝叶斯主义者来说，似乎没有这样的问题。因为他们认为，概率指派的唯一限制就是概率演算，而所谓大弃赌定理则保证了遵守概率演算的概率指派的融贯性或一致性。这种一致性不仅仅是信念的融贯性，还是逻辑的一致性。基于这种观点的贝叶斯主义，可称之为“纯粹逻辑的贝叶斯主义”（以下简称“逻辑贝叶斯主义”）。

摘要： 现代归纳逻辑的显著特征是把概率概念引入归纳逻辑中，而采取不同的确定基本概率的原则以及对数学概率给予不同的解释会导致不同类型的经典概率归纳逻辑系统。当今对于数学概率的解释主要有逻辑解释、主观解释、频率解释以及倾向解释。吉利斯以主观概率及其在大弃赌论证方面的根据为出发点，引入主体间概率，从而提出了概率的主体间解释。本文旨在对这种新的概率解释的主要方面作出介绍，展现其独特和新颖之处，试图勾勒出它的一个概貌。

摘要： 以狭义计算机逻辑、人工智能逻辑为主体的广义计算机逻辑，不仅属于逻辑学，而且更属于计算机科学和认知科学。人工智能逻辑以模态逻辑、模糊逻辑、归纳逻辑为基础，甚至它们之间不仅存在交叉关系，而且相互推进。因为，它们也都属于认知科学的范畴。

摘要： 逻辑作为人工智能研究中描述和模拟思维的工具，并利用推理来重现人类智能。但是常规逻辑不适于处理不精确、不完全、不确定的信息，为此，人们提出了许多非常规逻辑。该文从知识工程的角度，介绍了用于处理不精确信息的模糊逻辑、处理不完全信息的非单调逻辑以及处理不确定信息的归纳逻辑和概率逻辑，并分析了这些逻辑在知识处理、知识发现中的应用，为设计充分利用这些逻辑优点的数据发掘／知识发现系统打下基础。

摘要： 逻辑哲学则是围绕着逻辑系统内有效的形式推理如何与系统外的非形式原型恰当地相符合这一中心问题展开，其它问题都是由此派生出来的，这就是本文所要研讨的逻辑哲学的中心问题。

摘要： 逻辑哲学则是围绕着逻辑系统内有效的形式推理如何与系统外的非形式原型恰当地相符合这一中心问题展开，其它问题都是由此派生出来的，这就是本文所要研讨的逻辑哲学的中心问题。

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

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 本发明公开了一种智能厨具归纳装置及归纳方法，包括两个底板，两个底板的顶部分别固定安装有第一支板和第二支板，所述第一支板和第二支板的一侧均固定安装有固定块，两个固定块的顶部固定安装有同一个烘干箱，所述烘干箱为中空设置，所述烘干箱的一侧内壁上滑动安装有蒸汽桶，所述蒸汽桶上连通有蒸汽设备，所述蒸汽桶上传动连接有驱动组件，所述第一支板和第二支板相互靠近的一侧固定安装有同一个矩形框。本发明为一种智能厨具归纳装置，将厨具整合集中放置在一起，不仅可以使厨房看起来更加整齐，还大大提高了空间的利用率，厨具上残留的水渍会被收集，不会影响灶台的洁净性，蒸汽桶能够覆盖的面积大，可实施性强。

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

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本发明公开了量子与逻辑门、逆量子与逻辑门及逻辑运算线路生成方法，其中，上述量子与逻辑门根据以下步骤进行量子比特的与逻辑运算：获取两个输入量子比特；基于上述输入量子比特，通过预设的量子操作获取第一输出量子比特和第二输出量子比特，其中，上述第二输出量子比特用于保存两个上述输入量子比特的与逻辑运算结果，上述第一输出量子比特用于指示两个上述输入量子比特的量子态。与现有技术相比，本发明方案中提供的量子与逻辑门可以应用到量子计算场景下，实现量子比特的与逻辑运算，且可以实现运算结果可逆。有利于实现对量子比特进行快速简便的与逻辑运算操作，且有利于提升对量子比特进行运算的简便性和量子计算过程的效率。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 一种基于归纳逻辑程序设计的数据本体逻辑推理方法，包括以下具体步骤：对需要进行逻辑推理的数据本体进行预处理；提取数据本体中的主语、谓语和客体；根据数据本体中提取出来的主语、谓语和客体将数据本体转化为子句；并建立子句的集合；确定指定的论域A；对子句集合中每一个子句确定赫尔布兰德解释，得到不同的论域B；将论域B与论域A进行比对确定最终的论域范围C；基于论域范围C进行处理，得到推理结果；本发明通过对数据本体进行预处理，再经过子句、赫尔布兰德解释确定论域范围后基于归结原理和逆归结原理，得到推理结果。

摘要： 本发明涉及一种基于归纳逻辑编程的多智能体强化学习方法，包括：步骤1：构建多智能体系统；步骤2：利用可微归纳逻辑编程将智能体获取的环境局部观察信息和接收的通信信息编码为一阶谓词表示；步骤3：对一阶谓词表示进行推理解码得到动作概率；步骤4：智能体根据动作概率选择动作并与环境交互；步骤5：利用优势函数对智能体选择的动作进行评估，并根据评估结果进行优化更新，直至所有智能体的策略收敛。本发明的基于归纳逻辑编程的多智能体强化学习方法在智能体的合作任务中拥有优越的表现，不仅可以学习接近最优的策略，并且比传统的强化学习方法具有更好的可解释性。