A rule-map based technique for information inconsistency verification

This paper focuses on the problem of verifying information inconsistencies in acquired information. A rule-map based technique for data inconsistency is presented, where rule-map is used to describe hierarchical structure of rules and estimate judgment standard for consistency dynamically. Moreover, a state-based knowledge representation technique for logical inconsistency is investigated, in which knowledge is illustrated as states set of related objects and logical inconsistency is determined by the relationships between those state-sets. To illustrate the presented techniques, two examples are given. © 2007 IEEE

Analysis of Current Supplier Relationship Management Practices: A Solution Proposal

The work contributes with the existing literature by investigating current SRM practices. Based on the research, the author has designed an information system framework, which provides companies with an innovative SRM solution to manage their indirect material purchasing process through an environment that supports companies entire plan-to-order activities, including functionalities such as central data management, spend data management, e-sourcing and the usual e-procurement features

Abstract Rule Validation Based On Logical Deduction

Expert systems and deductive database systems are knowledge-based systems which have the capability of stor-ing andproeessing datartndknowledge rules, and performing logical deductions. The knowledge bases of these systems are usually assumed to be eonsisten ~ that is, no contradic-tions are deduced by the system. This assumption is not realistic since, in real-world applications, a knowledge base can contain a large number of rules which pose problems in terms of their ecmsistency. Thus, an automatic knowledge validation procedure is necessary for building a reliable knowledge-based system. In this paper, we present a knowl-edge validation technique based on the resolution principle to detect inconsistencies of a knowledge base. In this work, we formally define the eoneept of rule base inconsistency and show its relationship with the concept of unsatisfiability in formal logic. We also define completeness of a rule val-idation algorithm and show that our rule validation method is complete in the sense that it can not only identify all the input facts casing the system to deduee contradictions but also determine the specific subset of rules involved in the deductions of the contradictions. Based on this information, knowledge base designers can then make proper corrections to their knowledge base designs. A rule validation system using the proposed technique has been implemented in Prolog. Key Words: knowledge-based systems, knowledge base design, logical deduction, resolution principle and theorem proving, rule validation.