Merging Information Under Constraints: A Logical Framework
From MaRDI portal
Publication:4779587
DOI10.1093/logcom/12.5.773zbMath1020.68086OpenAlexW2007807962MaRDI QIDQ4779587
Sébastien Konieczny, Ramón Pino Pérez
Publication date: 27 November 2002
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/12.5.773
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (98)
Belief Merging within Fragments of Propositional Logic ⋮ Merging in the Horn Fragment ⋮ Merging existential rules programs in multi-agent contexts through credibility accrual ⋮ Fuzzy skeleton by influence zones -- application to interpolation between fuzzy sets ⋮ Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory ⋮ A consistency-based framework for merging knowledge bases ⋮ An Implementation of Consistency-Based Multi-agent Belief Change Using ASP ⋮ Considerations on Belief Revision in an Action Theory ⋮ Consistency-Based Reliability Assessment ⋮ Implementing semantic merging operators using binary decision diagrams ⋮ Graph-Based Belief Merging ⋮ Constrained incomplete argumentation frameworks ⋮ Merging epistemic states and manipulation ⋮ Measuring inconsistency with constraints for propositional knowledge bases ⋮ A split-combination approach to merging knowledge bases in possibilistic logic ⋮ Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation ⋮ How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? ⋮ A partial taxonomy of judgment aggregation rules and their properties ⋮ The theory of judgment aggregation: an introductory review ⋮ A graded approach to database repair by context-aware distance semantics ⋮ Using inconsistency measures for estimating reliability ⋮ Impossibility in belief merging ⋮ The doctrinal paradox, the discursive dilemma, and logical aggregation theory ⋮ Scoring rules for judgment aggregation ⋮ Aggregation theory and the relevance of some issues to others ⋮ Characterization of logic program revision as an extension of propositional revision ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ On manipulation in merging epistemic states ⋮ Equilibria in social belief removal ⋮ On incompleteness in abstract argumentation: complexity and expressiveness ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ A logical encoding for \(k\)-\(m\)-realization of extensions in abstract argumentation ⋮ Rational metabolic revision based on core beliefs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Confluence Operators ⋮ OMFM: A framework of object merging based on fuzzy multisets ⋮ Solving conflicts in information merging by a flexible interpretation of atomic propositions ⋮ Lifting integrity constraints in binary aggregation ⋮ Geodesic merging ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Sum-based weighted belief base merging: from commensurable to incommensurable framework ⋮ A measure of distance between judgment sets ⋮ Opinion diffusion and influence: a logical approach ⋮ Propositionwise judgment aggregation: the general case ⋮ Judgment aggregation without full rationality ⋮ A liberal paradox for judgment aggregation ⋮ The Complexity Landscape of Outcome Determination in Judgment Aggregation ⋮ On the revision of informant credibility orders ⋮ A new psychologism in logic? Reflections from the point of view of belief revision ⋮ Assertional Removed Sets Merging of DL-Lite Knowledge Bases ⋮ Combining multiple prioritized knowledge bases by negotiation ⋮ Interpreting enthymematic arguments using belief revision ⋮ Distance semantics for database repair ⋮ Lost in translation: language independence in propositional logic -- application to belief change ⋮ Information Fusion and Revision in Qualitative and Quantitative Settings ⋮ Logic-Based Fusion of Complex Epistemic States ⋮ Judgment aggregation in nonmonotonic logic ⋮ Graph aggregation ⋮ Belief merging with the aim of truthlikeness ⋮ Merging Logic Programs under Answer Set Semantics ⋮ Confluence operators and their relationships with revision, update and merging ⋮ Reasoning with prioritized information by iterative aggregation of distance functions ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Logic based merging ⋮ A framework for reasoning under uncertainty based on non-deterministic distance semantics ⋮ Introduction to judgment aggregation ⋮ The possibility of judgment aggregation on agendas with subjunctive implications ⋮ Simplified forms of computerized reasoning with distance semantics ⋮ Revocable belief revision ⋮ The impossibility of unbiased judgment aggregation ⋮ Distance-based paraconsistent logics ⋮ Computer science and decision theory ⋮ Computational methods for database repair by signed formulae ⋮ Judgment aggregation and minimal change: a model of consensus formation by belief revision ⋮ Disjunctive merging: quota and Gmin merging operators ⋮ Merging First-Order Knowledge Using Dilation Operators ⋮ Multi-source multiple change on belief bases ⋮ Judgment aggregation and agenda manipulation ⋮ Methods for distance-based judgment aggregation ⋮ Truth approximation, belief merging, and peer disagreement ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency ⋮ Expressing Belief Flow in Assertion Networks ⋮ Utilitarian welfare and representation guarantees of approval-based multiwinner rules ⋮ Rethinking epistemic logic with belief bases ⋮ Merging Qualitative Constraints Networks Using Propositional Logic ⋮ Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data ⋮ Simple contrapositive assumption-based argumentation. II: Reasoning with preferences ⋮ Majority merging by adaptive counting ⋮ Context-Aware Distance Semantics for Inconsistent Database Systems ⋮ On Revocable and Irrevocable Belief Revision ⋮ On the merging of Dung's argumentation systems ⋮ Belief base merging as a game ⋮ Querying several conflicting databases ⋮ Diffusion of Opinion and Influence ⋮ Prolegomena to dynamic logic for belief revision ⋮ \(\text{DA}^2\) merging operators
This page was built for publication: Merging Information Under Constraints: A Logical Framework
