First-Order Logic for Decision Problems with Preference Aggregation

Decision-making is a cognitive procedure that leads to a selection of a course of action among several. In order to perform the correct decision-making, an intelligent agent should have a strategy to analyse the problem, based on some criteria, and determine the alternatives to be choosen. One way to represent and solve this problem is by using mathematical logic. Based on preference logics, we propose a logic, namely the First-Order Logic for Decision Problems with Preference Aggregation to model Multi-criteria Decision Problems in multi-agent environments and support decision-making. We will present the syntax and semantics of our logic, some query examples to illustrate its adequacy in properly model the problem of preference aggregation, and comparisons with other works.