检索结果-南通市图书馆

Logic Programs,Compatibility and forward chaining Construction

Journal of Computer Science & Technology 2009年第6期24卷 1125-1137页

作者：王以松张明义犹嘉槐 Department of Computer Science & Technology Guizhou University School of Computer and Information Science Southwest University Guizhou Academy of Sciences Department of Computing Science University of Alberta Canada

Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the A operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal forward chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.

关键词： artificial intelligence default theory answer set compatibility forward chaining

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Eliminating Redundant Search Space on Backtracking for forward chaining Theorem Proving

引用

Journal of Computer Science & Technology 2003年第5期18卷 580-591页

作者： LifengHe YuyanChao HidenoriItoh FacultyofInformationScienceandTechnology AichiPrefecturalUniversityAichi480-1198.Japan FacultyofEnvironment InformationandBusinessNagoyaSangyoUniversityAichi488-8711Japan DepartmentofArtificialIntelligenceandComputerScience NagoyaInstituteofTechnoloovNagoya466-8555Japan

This paper introduces some improvements on the intelligent backtrackingstrategy for forward chaining theorem proving. How to decide a minimal useful consequent atom setfor a refutation derived at a node in a proof tree is discussed. In most cases, an unnecessarynon-Horn clause used for forward chaining will be split only once. The increase of the search spaceby invoking unnecessary forward chaining clauses will be nearly linear, not exponential anymore. Inthis paper, the principle of the proposed method and its correctness are introduced. Moreover, someexamples are provided to show that the proposed approach is powerful for forward chaining theoremproving.

关键词： theorem proving forward chaining SATCHMO I-SATCHMO model generation

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

I—SATCHMORE：An Improvement of A—SATCHMORE

引用

Journal of Computer Science & Technology 2003年第2期18卷 181-189页

作者：何立风 Yuyan Chao Tsuyoshi Nakanura Hidenori Itoh Faculty of Information Science and Technology Aichi Prefectural University Aichi 480-1198 Japan Faculty of Environment Information and Business Nagoya Sangyo University Aichi 488-8711 Japan Department of Artificial Intelligence and Computer Science Nagoya Institute of Technology Nagoya 466-8555 Japan

This paper presents an improvement of A-SATCHMORE (SATCHMORE withAvailability) . A-SATCHMORE incorporates relevancy testing and availability checking into SATCHMOto prune away irrelevant forward chaining. However, considering every consequent atom of thosenon-Horn clauses being derivable, A-SATCHMORE may suffer from a potential explosion of thesearch space when some of such consequent atoms are actually underivable. This paper introducesa solution for this problem and shows its correctness.

关键词： theorem proving availability forward chaining SATCHMO SATCHMORE A-SATCHMORE

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

FC-normal and extended stratified logic program

引用

Science in China(Series F) 2002年第4期45卷 259-272页

作者：许道云丁德成 DepartmentofMathematics NanjingUniversityNanjing210093China CorrespondenceshouldbeaddressedtoXuDaoyun

This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-normal program. The deciding condition describes the characterizations of FC-normal program. By the Petri-net presentation of a logic program, the characterizations of stratification of FC-normal program are investigated. The stratification of FC-normal program motivates us to introduce a new kind of stratification, extended stratification, over logic program. It is shown that an extended (locally) stratified logic program is an FC-normal program. Thus, an extended (locally) stratified logic program has at least one stable model. Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finite FC-normal program.

关键词： forward chaining FC-normal program stable model extended stratification.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Micro Perspective of Research Dynamics Through“Citations of Citations”Topic Analysis

引用

Journal of Data and Information Science 2020年第4期5卷 19-34页

作者： Xiaoli Chen Tao Han National Science Library Chinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100049China

Purpose:Research dynamics have long been a research *** is a macro perspective tool for discovering temporal research trends of a certain discipline or subject.A micro perspective of research dynamics,however,concerning a single researcher or a highly cited paper in terms of their citations and“citations of citations”(forward chaining)remains ***/methodology/approach:In this paper,we use a cross-collection topic model to reveal the research dynamics of topic disappearance topic inheritance,and topic innovation in each generation of forward ***:For highly cited work,scientific influence exists in indirect *** modeling can reveal how long this influence exists in forward chaining,as well as its *** limitations:This paper measures scientific influence and indirect scientific influence only if the relevant words or phrases are borrowed or used in direct or indirect *** or semantically similar concept may be neglected in this *** implications:This paper demonstrates that a scientific influence exists in indirect citations through its analysis of forward *** can serve as an inspiration on how to adequately evaluate research ***:The main contributions of this paper are the following three ***,besides research dynamics of topic inheritance and topic innovation,we model topic disappearance by using a cross-collection topic ***,we explore the length and character of the research impact through“citations of citations”content ***,we analyze the research dynamics of artificial intelligence researcher Geoffrey Hinton’s publications and the topic dynamics of forward chaining.

关键词： Research dynamics forward chaining Topic model Scientific influence Citations content analysis

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：