scientific article; zbMATH DE number 1336335
After giving an outlook of some traditional knowledge-base transformations (cf. revision and update operators) in propositional logic the authors generalize the revision operator for the first order case. They introduce an extension of the set of axioms proposed originally by \textit{H. Katsuno} and \textit{A. O. Mendelzon} [Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf. Cambridge/Ma (USA) 1991, 387-394 (1991; Zbl 0765.68197)] in order to eliminate some of their disadvantages. In the consequent paragraphs an extension of the propositional knowledge-base to weighted knowledge-base and the related weighted knowledge-base transformations are defined and examined, as well. The paper constitutes a real progressive contribution to its topic. The problems and results are presented in a very clear form.
- On weighted knowledgebase transformations
- Classical and weighted knowledgebase transformations
- Propositional knowledge base revision and minimal change
- scientific article; zbMATH DE number 4187148
- scientific article; zbMATH DE number 1979478
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases
- Integration of weighted knowledge bases
- Knowledge representation and graph transformation
- An algebraic approach to revising propositional rule-based knowledge bases
- Classical and weighted knowledgebase transformations
- Integration of weighted knowledge bases
- A transformation system for unique minimal normal forms of conditional knowledge bases
- On weighted knowledgebase transformations
- scientific article; zbMATH DE number 6148081 (Why is no real title available?)
- Knowledgebase transformations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4258674)
