Kernel contraction

DOI10.2307/2275912zbMath0810.03017WikidataQ59699516 ScholiaQ59699516MaRDI QIDQ4314675

Sven Ove Hansson

Publication date: 18 December 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275912

zbMATH Keywords

belief revision; theory change; non-relational generalization of safe contraction

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

Related Items

Local Diagnosis, Reasoning with Uncertain and Inconsistent OWL Ontologies, Knowledge base dynamics, abduction, and database updates, Unnamed Item, OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION, Credibility-limited Base Revision: New Classes and Their Characterizations, Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change, EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS, (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG, Scientific discovery on positive data via belief revision, Merging operators on stratified belief bases equipped with argumentative inference, Toward credible belief base revision, Deductive belief change, Levi and Harper identities for non-prioritized belief base change, A quantitative approach to belief revision in structured probabilistic argumentation, Bootstrap contraction, Prioritized and non-prioritized multiple change on belief bases, Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches, Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases, Rational evaluation in belief revision, Belief revision in structured probabilistic argumentation, model and application to cyber security, Studies on brutal contraction and severe withdrawal, AGM 25 years. Twenty-five years of research in belief change, On AGM for non-classical logics, A belief revision approach for argumentation-based negotiation agents, Residual contraction, Specified meet contraction, Preference-based belief revision for rule-based agents, Belief revision in the service of scientific discovery, Shielded base contraction, Rational metabolic revision based on core beliefs, Partial meet pseudo-contractions, Stratified belief bases revision with argumentative inference, Belief base change as priority change: a study based on dynamic epistemic logic, Choice revision, \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions, Trust is all you need: from belief revision to information revision, Bayesian belief revision based on Agent's criteria, Selective base revisions, Merging existential rules programs in multi-agent contexts through credibility accrual, Formalization and implementation of credibility dynamics through prioritized multiple revision, Credibility dynamics: a belief-revision-based trust model with pairwise comparisons, Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies, Repertoire contraction, Multi-source multiple change on belief bases, Rethinking epistemic logic with belief bases, Belief base contraction by belief accrual, Blockage contraction, On the revision of informant credibility orders, Knowledge-level analysis of belief base operations, Semi-revision, Unnamed Item