TL;DR
This paper introduces a generalized model of choice revision in belief bases, allowing agents to selectively accept or reject new information, supported by formal postulates and representation theorems.
Contribution
It proposes a novel partial expansion operation and constructs two types of choice revision with formal properties and representation theorems.
Findings
Two types of choice revision models developed
Postulates and representation theorems established
Operations for making up one's mind analyzed
Abstract
In this contribution we explore choice revision, a sort of belief change in which the new information is represented by a set of sentences and the agent could accept some of the sentences while rejecting the others. We propose a generalized version of expansion operation called partial expansion for developing models of choice revision. By using the partial expansion and two multiple contraction operations previously introduced in the literature, we construct two kinds of choice revision on belief bases. For each of them we propose a set of postulates and prove a partial or full representation theorem. Furthermore, we investigate the operations of making up one's mind derived from these two kinds of choice revision and also give the associated representation theorems.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · AI-based Problem Solving and Planning