The maintenance sequences of a knowledge base and their limits are intro-duced. Some concepts used in knowledge base maintenance, such as new laws,user's rejections, and reconstructions of a knowledge base are def...The maintenance sequences of a knowledge base and their limits are intro-duced. Some concepts used in knowledge base maintenance, such as new laws,user's rejections, and reconstructions of a knowledge base are defined; the re-lated theorems are proved. A procedure is defined using transition systems; itgenerates maintenance sequences for a given user's model and a knowledge base.It is proved that all sequences produced by the procedure are convergent, andtheir limit is the set of true sentences of the model. Some computational aspectsof reconstructions are studied. An Rcalculus is given to deduce a reconstruc-tion when a knowledge base meets a user's rejection. The work is comparedwith AGM's theory of belief revision.展开更多
Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP...Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP) is given,where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalculus for ELP are proved, and the Rcalculus for ELP is implemented in Prolog. In addition, the research is compared with other relevan work.展开更多
It is becoming an important social problem to make maintenance and rehabilitation of existing infrastructures such as bridges, buildings, etc. in the world. The kernel of such structure management is to develop a meth...It is becoming an important social problem to make maintenance and rehabilitation of existing infrastructures such as bridges, buildings, etc. in the world. The kernel of such structure management is to develop a method of safety assessment on items<span style="font-family:;" "=""> </span><span style="font-family:;" "="">which include remaining life and load carrying capacity. The purpose of this paper is to summarize the finding of up-to-date research articles concerning the application of knowledge-based systems to assessment and management of structures and to illustrate the potential of such systems in the structural engineering. In here, knowledge-based systems include knowledge-based expert systems incorporation with artificial neural networks, fuzzy reasoning and genetic or immune algorithms.</span><span style="font-family:;" "=""> </span><span style="font-family:;" "="">Specifically, two modern bridge management systems (BMS’s) are presented in the paper. The first is a BMS to assess the performance and derive optimal strategies for inspection and maintenance of concrete bridge structures using reliability based and knowledge-based systems. The second is the concrete bridge rating expert system (<i>J-BMS BREX</i>) to evaluate the performance of existing bridges by incorporating with artificial neural networks and fuzzy reasoning.</span>展开更多
This paper presents a knowledge service system for the domain of agriculture. Three key issues for providing knowledge services are how to improve the access of unstructured and scattered information for the non-speci...This paper presents a knowledge service system for the domain of agriculture. Three key issues for providing knowledge services are how to improve the access of unstructured and scattered information for the non-specialist users, how to provide adequate information to knowledge workers and how to provide the information requiring highly focused and related information. Cyber-Brain has been designed as a platform that combines approaches based on knowledge engineering and language engineering to gather knowledge from various sources and to provide the effective knowledge service. Based on specially designed ontology for practical service scenarios, it can aggregate knowledge from Internet, digital archives, expert, and other resources for providing one-stop-shop knowledge services. The domain specific and task oriented ontology also enables advanced search and allows the system ensures that knowledge service could improve the user benefit. Users are presented with the necessary information closely related to their information need and thus of potential high interest. This paper presents several service scenarios for different end-users and reviews ontology engineering and its life cycle for supporting AOS （Agricultural Ontology Services） Vocbench which is the heart of knowledge services in agriculture domain.展开更多
针对复合材料结构适航维修经验知识依赖性强、知识重用困难的问题,提出了构建复合材料结构适航维修知识库这一解决方案。首先基于案例推理(Case Based Reasoning,简称"CBR")的方法系统构建了复合材料结构适航维修知识库框架...针对复合材料结构适航维修经验知识依赖性强、知识重用困难的问题,提出了构建复合材料结构适航维修知识库这一解决方案。首先基于案例推理(Case Based Reasoning,简称"CBR")的方法系统构建了复合材料结构适航维修知识库框架。然后在复合材料结构适航维修案例组成特征分析的基础上,建立了案例表示模型,基于案例表示模型构建了案例检索的语义检索索引和属性值检索索引并设计了相应的相似性评价方法。最后定制了数字化维修模板以实现适航维修知识的应用。实验结果表明,该系统能有效重用复合材料结构适航维修知识,有利于提升适航维修的质量与可靠性。展开更多
文摘The maintenance sequences of a knowledge base and their limits are intro-duced. Some concepts used in knowledge base maintenance, such as new laws,user's rejections, and reconstructions of a knowledge base are defined; the re-lated theorems are proved. A procedure is defined using transition systems; itgenerates maintenance sequences for a given user's model and a knowledge base.It is proved that all sequences produced by the procedure are convergent, andtheir limit is the set of true sentences of the model. Some computational aspectsof reconstructions are studied. An Rcalculus is given to deduce a reconstruc-tion when a knowledge base meets a user's rejection. The work is comparedwith AGM's theory of belief revision.
文摘Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP) is given,where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalculus for ELP are proved, and the Rcalculus for ELP is implemented in Prolog. In addition, the research is compared with other relevan work.
文摘It is becoming an important social problem to make maintenance and rehabilitation of existing infrastructures such as bridges, buildings, etc. in the world. The kernel of such structure management is to develop a method of safety assessment on items<span style="font-family:;" "=""> </span><span style="font-family:;" "="">which include remaining life and load carrying capacity. The purpose of this paper is to summarize the finding of up-to-date research articles concerning the application of knowledge-based systems to assessment and management of structures and to illustrate the potential of such systems in the structural engineering. In here, knowledge-based systems include knowledge-based expert systems incorporation with artificial neural networks, fuzzy reasoning and genetic or immune algorithms.</span><span style="font-family:;" "=""> </span><span style="font-family:;" "="">Specifically, two modern bridge management systems (BMS’s) are presented in the paper. The first is a BMS to assess the performance and derive optimal strategies for inspection and maintenance of concrete bridge structures using reliability based and knowledge-based systems. The second is the concrete bridge rating expert system (<i>J-BMS BREX</i>) to evaluate the performance of existing bridges by incorporating with artificial neural networks and fuzzy reasoning.</span>
文摘This paper presents a knowledge service system for the domain of agriculture. Three key issues for providing knowledge services are how to improve the access of unstructured and scattered information for the non-specialist users, how to provide adequate information to knowledge workers and how to provide the information requiring highly focused and related information. Cyber-Brain has been designed as a platform that combines approaches based on knowledge engineering and language engineering to gather knowledge from various sources and to provide the effective knowledge service. Based on specially designed ontology for practical service scenarios, it can aggregate knowledge from Internet, digital archives, expert, and other resources for providing one-stop-shop knowledge services. The domain specific and task oriented ontology also enables advanced search and allows the system ensures that knowledge service could improve the user benefit. Users are presented with the necessary information closely related to their information need and thus of potential high interest. This paper presents several service scenarios for different end-users and reviews ontology engineering and its life cycle for supporting AOS （Agricultural Ontology Services） Vocbench which is the heart of knowledge services in agriculture domain.
文摘针对复合材料结构适航维修经验知识依赖性强、知识重用困难的问题,提出了构建复合材料结构适航维修知识库这一解决方案。首先基于案例推理(Case Based Reasoning,简称"CBR")的方法系统构建了复合材料结构适航维修知识库框架。然后在复合材料结构适航维修案例组成特征分析的基础上,建立了案例表示模型,基于案例表示模型构建了案例检索的语义检索索引和属性值检索索引并设计了相应的相似性评价方法。最后定制了数字化维修模板以实现适航维修知识的应用。实验结果表明,该系统能有效重用复合材料结构适航维修知识,有利于提升适航维修的质量与可靠性。
