AGM contraction and revision of rules

DOI10.1007/S10849-016-9244-9MaRDI QIDQ1698336zbMATH OpenOpenAlexFDO

Authors Guido Boella, Gabriella Pigozzi, Leendert van der Torre

Publication date 15 February 2018

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL http://orbilu.uni.lu/handle/10993/30685

zbMATH Keywords

AGM theory changebelief revisionknowledge representationnormative systemsrule based systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Contraction in propositional logic
• New foundations for a relational theory of theory-revision
• On the logic of theory change: Contraction without recovery
• On the degeneracy of the full AGM-theory of theory-revision
• Contraction in propositional logic

Cites work

• A program-level approach to revising logic programs under the answer set semantics
• Changing legal systems: legal abrogations and annulments in Defeasible Logic
• Constraints for input/output logics
• scientific article; zbMATH DE number 3792134 (Why is no real title available?)
• scientific article; zbMATH DE number 3641411 (Why is no real title available?)
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• scientific article; zbMATH DE number 1487805 (Why is no real title available?)
• scientific article; zbMATH DE number 6741901 (Why is no real title available?)
• Input/output logics
• Merging Logic Programs under Answer Set Semantics
• Normative design using inductive learning
• On the logic of theory change: Partial meet contraction and revision functions
• Permission from an input/output perspective
• Reversing the Levi identity
• Two modellings for theory change

Cited in

(1)

• scientific article; zbMATH DE number 7659875 (Why is no real title available?)

This page was built for publication: AGM contraction and revision of rules

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