J.S. Mill’s inductive methods in artificial intelligence systems. Part II

In the second part of this article we define the relationship of derivability of hypotheses from fact bases, which is used to detect different types of correctness of JSM reasonings. A correspondence is established between the total correctness of JSM reasonings and tolerance spaces. Inductive methods of residues and concomitant variations are formalized and the appropriate strategies of the JSM reasoning are defined. Using the rules of plausible inference for the method of concomitant variations operational definitions of dynamic patterns in fact bases. Features of the JSM method for the automatic generation of hypotheses in intelligent systems as a means of knowledge discovery are also discussed.     

基于本体的数字图书馆检索模型研究(Ⅳ)——历史领域知识推理机制

基于本体的领域知识推理主要分为基于逻辑的领域知识检错推理和基于关系的领域蕴涵知识发现推理。对本体描述的领域知识进行推理,可以检测知识逻辑体系错误,减少领域本体构建繁琐的工作量,减轻对领域专家的依赖,发现领域蕴涵知识。在国共合作领域知识进行语义关系分析的基础上,提炼推理规则库,并分别运用TABLEAU算法和RETE模式匹配算法,在推理引擎Racer和Jena中实现了逻辑检错推理和蕴涵知识发现推理。     

On the definition of empirical regularities by the JSM method for the automatic generation of hypotheses

In this paper, empirical regularities are defined that were discovered in fact bases using JSM reasoning. These regularities are subdivided into empirical laws and tendencies.     

On the logical tools of intelligent sociological data analysis

The logical tools for formalizing of qualitative sociological data analysis are considered. The capabilities of approaches employing JSM reasoning, a class of cognitive plausible reasoning, and the methods of Boolean algebra are considered and compared.     

略谈技术措施的法律地位和管理措施

针对技术措施法律地位的界定问题,运用辩证推理和归纳推理的方法对其进行分析。确立了技术措施作为版权保护的手段应当得到法律的充分肯定的地位,同时提出技术措施具有垄断性,给公众的合理使用和文化的传播带来了不便,从而辩证地得出某些技术措施不应受到保护的观点。技术措施是一把双刃剑,针对这一问题,提出了一套行之有效的管理程序,以期对技术措施加以管理,使其更人性化。     

基于本体与规则的语义推理研究

为解决本体相关概念的共享和信息集成,发现本体间的语义关联,提出了本体与规则整合下的语义推理模型ORRM,构建了家庭本体FO。将推理集中在两个不同层次,第一层的推理使用Racer推理机进行描述逻辑的推理,检测本体的冲突。第二层使用本体中表示的概念和属性制定成员规则库,采用基于XML的SWRL呈现规则和Jess推理引擎,增加了本体概念问语义的关联。该模型在本体中引入规则表示,弥补了OWL DL在推理机制上的不足,推导出的新本体在原本体的基础上实现了本体成员间隐含关系的语义推理,完善了本体知识库的内容。在语义Web领域,该模型的应用能够提高本体知识的利用率。     

逻辑学原理在基于本体的知识组织中的应用

在介绍本体论和逻辑学基本原理的基础上,分别从概念逻辑、思维逻辑、谓词逻辑和归纳推理逻辑四个方面探讨了逻辑学原理在本体构建方法、本体检错推理和本体整合技术三方面基于本体的知识组织中的应用。     

基于语义关系的本体推理规则研究——以国共合作领域本体库为例

本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。以国共合作领域本体库为实例,分析领域本体中4种常见语义关系的特点,在此基础上定义了推理规则,并采用JRL规则语言形式化了本体推理规则。     

规则增强的知识图谱表示学习方法

知识图谱（Knowledge Graph,简称KG）的表示学习方法旨在将知识图谱的实体和关系表示为稠密低维实值向量, 进而在低维向量空间中高效计算实体、关系及其之间的复杂语义关联, 在知识图谱的构建、推理、融合、挖掘以及应用中具有重要作用。已有的知识图谱表示方法仅仅考虑了知识图谱中的直接事实,忽略了知识图谱中一些隐藏的语义信息,这些语义信息对于知识图谱关系和实体的嵌入表示有着重要的影响。本文提出了一种规则增强的知识图谱表示学习方法,该方法首先通过知识图谱规则挖掘的方法提取一组可代表知识图谱语义信息的Horn 逻辑规则,随后通过基于规则的物化推理方法将相应的隐藏语义信息注入到知识图谱表示学习模型中。实验结果表明,基于规则增强的方法可以显著提升已有知识图谱表示学习模型在链接预测和定理预测上的效果和性能。     

基于情感隶属度模糊推理的网络口碑舆情监测评估实证研究——以手机品牌在线评论数据为例

[目的/意义]针对中文网络客户评论,从消费者真实购买体验的网络平台上抓取在线评论信息,构建基于在线评论情感隶属度模糊推理的网络口碑监测评估方法,有助于企业实时监控网络口碑舆情。[方法/过程]以美国消费者满意度模型（ACSI）为基础,从感知质量、感知价值、感知期望和感知情感4个属性方面构建在线评论网络口碑监测评估模型,结合情感隶属度模糊推理算法,从数据准备、情感分析和网络口碑舆情监测评估3个研究阶段,通过模糊推理系统设定计算规则,采用Mamdani方法对网络口碑舆情进行监测评估。[结果/结论]以亚马逊手机品牌在线评论为例进行实例验证,提出的基于情感隶属度模糊推理的网络口碑舆情监测评估方法得到较好的实验检验效果,可以为在线产品的网络口碑舆情监测评估提供信息决策。     

Intelligent system for diabetes prediction in patients with chronic pancreatitis

This paper presents the results of the JSM-method for automated support of scientific research (ASSR JSM-method) implemented in a computer intelligent system (IS-JSM), which predicts the development of diabetes in patients with chronic pancreatitis. For the first time the ASSR JSM-method is applied to a sequence of expanding databases of facts, which was used for the detection of empirical regularities (ERs), viz., preserved causes of the studied effect (development of diabetes in patients with chronic pancreatitis). To recognize ERs in the IS-JSM, we used an algebraic lattice of JSM-reasoning strategies (inductive inference rules). These results have an informative clinical interpretation and prove the usefulness of data mining using the IS-JSM, which can be used as a tool for evidence-based medicine.     

基于规则的智能检索系统推理机制的研究

本文以数字图书馆的资源检索为应用背景,研究本体支持下的基于规则推理的语义检索机制.在本体知识库支持下,检索系统面向基于本体结构的元数据,依据概念关联及相关推理规则,寻求蕴涵关系,发掘隐含信息.本文从数字图书馆资源的语义关系中提炼出推理规则,并选用正向链推理算法实现推理,基于正向链接的规则推理依照事先定义的规则集,能够从已有事实出发挖掘已存事实中的隐含结论,适用于无确定推理目标且解空间很大的一类推理检索任务.本文通过实例分析验证了这一方法在智能检索系统中应用的可行性,并提出采用先推理后检索的策略解决在面向庞大数据集和复杂推理规则时产生的推理时效问题.     

基于SWRL规则推理的隐含关系挖掘

针对本体系统中,知识的表现形式有限,OWL本身无法建立一般领域的规则,导致很多存在于社会关系本体中的隐含关系信息尚待挖掘的问题,将推理系统中的本体和规则相互分离,在社会关系领域本体的基础上,构建一系列SWRL规则以进行隐含关系的自动挖掘。在实验中,共定义22条关系规则,推理得出50条新的公理,由此进行社会关系本体的自动更新。     

Affordances of mHealth technology and the structuring of clinic communication

Careful examination of communicative outcomes of mHealth technology is critical for understanding its capacity to shape the clinical interview and structure clinic communication. Drawing on a communicative affordances framework and adopting a video-based inductive analytic approach, we extend the concept of actualizations. We do so by examining the in situ communicative actions afforded by a mHealth web interface utilized during medication titration interviews with parents of children beginning stimulant medication for ADHD. We find that the web interface served five broad communicative functions that provided opportunities for improving information accuracy and for rendering clinical reasoning transparent, while jeopardizing opportunities for parents to narrativize medication experiences. We discuss clinical, theoretical, and methodological implications.     

图书馆学研究中问题的过程研究

学理性问题质疑因果关系的客观性和归纳推理的必然性,它不一定有满意的答案。现实性问题包括图书馆学本身问题和跨学科问题。问题从发现到解决全过程包括发现、提出问题、表述问题、解决问题、提出新问题等五个环节,涉及问题本身、问题（域）的演变两个层面。提出问题不一定比解决问题重要。参考文献22。     

J.S. Mill’s inductive methods in artificial intelligence systems. Part I

The principles of J.S. Mill’s induction are formulated. These principles are developed and formalized for the five J.S. Mill’s inductive methods (the method of agreement, the method of difference, the joint method of agreement and difference, the method of residues, and the method of concomitant variations). The method of agreement, the method of difference, and the joint method of agreement and difference are considered in Part I. The possible strategies of plausible reasoning that realize the interaction of Mill’s induction, analogy, and abduction are formulated. These strategies are considered to be cognitive reasoning (justification is provided).     

基于本体理论的文献供应链知识表示及推理

知识表示与匹配推理是语义知识管理的中心环节。为实现文献供应链知识的语义管理，提出文献供应链知识本体模型，以及资源描述框架（RDF）与改进的Voronoi图形式化表示方法；建立了基于RDF形式化表示的定性推理与在此基础上基于改进的Voronoi图形式化表示的定量推理。实验显示，基于形式化表示的推理规则与算法在文献供应链管理中得到合理的结果验证。     

面向关联数据的高校机构知识库构建方法研究

[目的/意义]针对当前我国高校机构知识库研究与应用离真正的开放互连、知识集成、知识检索还有较大差距的问题,提出一种面向关联数据的机构知识库构建方法,该方法覆盖机构知识库构建的整个过程,并支持机构知识的资源整合、语义检索、知识推理和关联数据发布,为各高校机构知识库建设提供参考。[方法/过程]调研和剖析国内外典型的机构知识库,将机构知识库构建方法分为5个步骤,包括:①评价和选择有价值的信息资源;②建立机构知识库概念模型;③进行语义描述和关联设置;④发现并创建关联化数据环境下的语义推理规则;⑤设计系统架构,并通过西南科技大学机构知识库构建实例来验证该方法的有效性。[结果/结论]实例验证表明,面向关联数据的机构知识库构建方法具有合理性和有效性,起到了降低机构知识库开发难度和缩短开发周期的作用,对于其他机构知识库的建设具有参考价值。     

J.S. Mill’s similarity method and difference method in the language of category theory

This article describes the application of the language of category theory to comparison with a sample in order to formalize the similarity method and the difference method, which underlie the JSM method for automatic hypotheses generation.     

叙词表映射语义判定和自动推理规则探析

利用映射方法进行叙词表互操作研究,用以解决用户集成的主题检索问题。叙词表映射可依据相关的规则来保证映射数据的质量,包括依据词表收录的学科范围、用代关系、语义结构、范围注释和时间注释来进行语义判断的指导规则,以及映射的自动继承和传递推理规则,这些规则的综合运用可在一定程度上保证映射数据的准确性。