An algebraic approach to revising propositional rule-based knowledge bases

DOI10.1007/S11432-008-0021-5MaRDI QIDQ2425850zbMATH OpenOpenAlexFDO

Authors Shangmin Luan, Guozhong Dai

Publication date 7 May 2008

Published in Science in China. Series F (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11432-008-0021-5

zbMATH Keywords

consistency checkknowledge base revisionPetri netrule-based knowledge base

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• A practical parallel algorithm for propositional knowledge base revision
• A programmable approach to revising knowledge bases
• Propositional knowledge base revision and minimal change
• A logic-algebraic tool for reasoning with knowledge-based systems
• scientific article; zbMATH DE number 4187148

Cites work

• A consistency-based approach for belief change
• A development calculus for specifications
• A programmable approach to maintenance of a finite knowledge base
• A programmable approach to revising knowledge bases
• Canonical prefixes of Petri net unfoldings
• Fast algorithms for revision of some special propositional knowledge bases
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 4185089 (Why is no real title available?)
• Iterated Belief Change in Multi-Agent Systems
• On Computing Belief Change Operations using Quantified Boolean Formulas
• On properties of update sequences based on causal rejection
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Reasoning about action. I: A possible worlds approach

Cited in

(4)

• Fast algorithms for revision of some special propositional knowledge bases
• A practical parallel algorithm for propositional knowledge base revision
• scientific article; zbMATH DE number 1336335 (Why is no real title available?)
• Reusing and modifying rulebases by predicate substitution

This page was built for publication: An algebraic approach to revising propositional rule-based knowledge bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2425850)