Validation and Refinement versus Revision

نویسندگان

  • Florence Bannay
  • Stéphane Loiseau
چکیده

This paper is a first work on the link between two fields: validation and refinement in knowledge base systems and revision in knowledge representation. The validation evaluates knowledge base quality; among the criterion which can define this quality an interesting one is coherency. The coherency of a set of rules can be viewed as the potential consistency of this set of rules with respect to every possible input. Refinement is a way to modify an incoherent knowledge base in order to restore its coherency. A revision operation is an inference relation, which is defined in order to reason under inconsistency, it provides a way to select rules to delete in order to restore the consistency. In the two fields, usually the initial knowledge base is consistent and the inconsistency can only come from some input on which a deduction must be done. This paper underlines the link between refinement and revision by comparing consistency to coherency and then by defining an inference relation for

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comparison of Suture and vertical dome division techniques of bulbous nose refinement

Objective:In this study, we assess long-term effects of vertical dome division (V.D.D) and Suture techniques in patients with bulbous nose deformity and then compare the efficiency of these methods. Material and Methods: In this study 70 patients with bulbous nose deformity were divided into two equal groups of A and B in which group A with suture (transdomal and interdomal) technique and grou...

متن کامل

PDB_REDO: constructive validation, more than just looking for errors

Developments of the PDB_REDO procedure that combine re-refinement and rebuilding within a unique decision-making framework to improve structures in the PDB are presented. PDB_REDO uses a variety of existing and custom-built software modules to choose an optimal refinement protocol (e.g. anisotropic, isotropic or overall B-factor refinement, TLS model) and to optimize the geometry versus data-re...

متن کامل

Some Operators for Refinement of Normative Systems

Refinement is an operation of theory change where new or old beliefs (norms) are restricted by some specific condition, instead of being fully accepted or rejected. We present constructions, based on AGM partial meet contraction and revision, for operators of external, internal and global refinement and show that they satisfy reasonable AGM-like postulates. Then we apply these operators to a ha...

متن کامل

Software as Learning: Quality Factors and Life-Cycle Revised

In this paper Software Development (SD) is understood explicitly as a learning process, which relies much more on induction than deduction, with the main goal of being predictive to requirements evolution. Concretely, classical processes from philosophy of science and machine learning such as hypothesis generation, refinement, confirmation and revision have their counterpart in requirement engi...

متن کامل

A Novel Gaussian Fitting Approach for 2D Gel Electrophoresis Saturated Protein Spots

Analysis of 2D-GE images is a hot topic in bioinformatics research, since currently available commercial and academic software has proven to be not really effective and not completely automatic, often requiring manual revision of spots detection and refinement of computer generated matches. In this work, we present an effective technique for the detection and the reconstruction of over-saturate...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999