检索结果-南通市图书馆

The Eighth International Conference on Information and Management Sciences

作者： Dan A.Ralescu Department of Mathematical Sciences University of CincinnatiCincinnatiOH 45221-0025USA

＜正＞Liu’s inference is a process of deriving consequences from uncertain knowledge or evidence via the tool of conditional *** identification functions,this paper derives some expressions of Liu’s inference rule for uncertain *** paper also discusses Liu’s inference rule with multiple antecedents and with multiple if-then rules.

关键词： Uncertain inference inference rule Uncertainty Theory

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

inference rules in Credibilistic Logic

Inference Rules in Credibilistic Logic

引用

第六届中国不确定系统年会

作者： Xiang Li Department of Mathematical Sciences,Tsinghua University,Beijing 100084,China

＜正＞In this paper,a concept of inference func- tion is defined as an extension of truth *** the basis of this concept,a basic inference rule in cred- ibilistic logic is proposed and some important infer- ence theore... 详细信息

关键词： Multi-valued logic inference rule Modus ponens Modus tollens Credibilistic logic

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Syntax theory of finite lattice-valued propositional logic

引用

Science China(Information Sciences) 2013年第8期56卷 177-188页

作者： PAN XiaoDong MENG Dan XU Yang School of Mathematics Southwest Jiaotong University Intelligent Control Development Center Southwest Jiaotong University School of Economics Information Engineering Southwestern University of Finance and Ecnomics

In this paper,we establish the graded syntax theory of lattice-valued propositional logic based on finite lattice implication algebras,define the notions of syntactic consequence operation and formal proof,and develop a kind of graded finite lattice-valued propositional *** generalizing classic provable equivalence relation,we present a kind of generalized provable equivalence relation,and establish the corresponding quotient ***,we establish the generalized deduction theorem by syntactic consequence operation,and establish the completeness in Pavelka’s sense based on finite chains.

关键词： Lattice-valued propositional logic syntax theory inference rule generalized deduction theorem completeness

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

An Operational Approach to Belief Revision

引用

Journal of Computer Science & Technology 1996年第2期11卷 97-107页

作者：张玉平李未 DepartmentofComputerScience BeijingUniversityofAeronauticsandAstronatuticsBeijing100083 DepartmentofC

A deduction system, called RE-proof system, is constructed for generating the revisions of first order belief sets. When a belief set is rejected by a given fact, all maximal subsets of the belief set consistent with the fact can be deduced from the proof system. The soundness and completeness of the RE-proof system are proved, which imply that there exists a resolution method to decide whether a revision retains a mtalmal subset of a belief set.

关键词： Revision inference rule belief set

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Functional Dependencies and Its Axiom System in XML

引用

Wuhan University Journal of Natural Sciences 2007年第5期12卷 845-849页

作者： ZHAO Xiangguo WANG Guoren HOU Huan DING Dabin College of Information Science and Engineering Northeastern University Shenyang 110004 Liaoning China

According to the analysis of existing complicated functional dependencies constraint, we conclude the conditions of defining functional dependency in XML, and then we introduce the concept of the node value equality. A new path language and a new definition of functional dependencies in XML （XFD） are proposed XFD includes the relative XFD and the absolute XFD, in which absolute key and relative key are the particular cases. We focus on the logical implication and the closure problems, and propose a group of inference rules. Finally, some proofs of the correctness and completeness are given. XFD is powerful on expressing functional dependencies in XML causing data redundancy, and has a complete axiom system.

关键词： XML functional dependencies path language inference rule

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：