Inconsistent-tolerant base revision through argument theory change

DOI10.1093/JIGPAL/JZR029MaRDI QIDQ2903754zbMATH OpenOpenAlexFDO

Authors Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa

Publication date 1 August 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzr029

zbMATH Keywords

argumentationargumentation dynamicsbelief base revisionknowledge representationreasoning over inconsistency

Mathematics Subject Classification ID

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

Review text

Recently, there has been a renewed interest on the interplay between belief revision and general forms of reasoning. Argumentation represents a reasoning mechanism that is particularly apt for obtaining the consequences of a repository of potentially inconsistent and/or incomplete beliefs.NEWLINENEWLINEThe area where the two research efforts have become confluent has produced a number of interesting results that show a promising opportunity to further our comprehension of the mechanisms involved in general patterns of reasoning. Clearly, the problems involved in this endeavour call for the participation of both communities.NEWLINENEWLINEIn this paper, the authors provide a model of belief change to handle dynamics of knowledge in inconsistent propositional knowledge bases without (necessarily) restoring consistency. An axiomatic is presented and a constructive method based on kernel contraction (with the corresponding representation theorem).

Recommendations

• An extension-based approach to belief revision in abstract argumentation
• Stratified belief bases revision with argumentative inference
• Consistency-based revision of structured belief bases
• scientific article; zbMATH DE number 108002
• Belief revision and computational argumentation: a critical comparison

Cited in

(10)

• An extension-based approach to belief revision in abstract argumentation
• Reasoning and evolution of consistent ontologies using NORM
• What can argumentation do for inconsistent ontology query answering?
• scientific article; zbMATH DE number 4145361 (Why is no real title available?)
• scientific article; zbMATH DE number 1301606 (Why is no real title available?)
• scientific article; zbMATH DE number 1761411 (Why is no real title available?)
• Argumentation, reasoning, and belief revision
• Dynamics of knowledge in \textsc{DeLP} through argument theory change
• Belief revision and argumentation: a reasoning process view
• Argumentation and inconsistency-tolerant reasoning

This page was built for publication: Inconsistent-tolerant base revision through argument theory change

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