Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences

In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Preferences allow users to introduce a bias in the way agents update their knowledge to meet a given set of constraints. In particular, they provide a way to select one between alternative feasible revisions and they allow for the generation of revisions in presence of conflicting constraints, by relaxing the set of satisfied constraints (soft constraints). A methodology for computing preferred revisions using answer set programming is presented.

• Type: Conference
• Year: 2004
• Where: CLIMA
• Authors: Inna Pivkina, Enrico Pontelli, Tran Cao Son
• Keywords: Alternative Feasible Revisions, CLIMA 2004, CLIMA 2007, Preferences Allow Users, Satisfied Constraints