Working With Preferences Less Is More

Preferences are useful in many real-life problems, guiding human decision making from early childhood up to complex professional and organizational decisions. In artificial intelligence specifically, preferences is a relatively new topic of relevance to nonmonotonic reasoning, multiagent systems, constraint satisfaction, decision making, social choice theory and decision-theoretic planning The first part of this book deals with preference representation, with specific chapters dedicated to representation languages, nonmonotonic logics of preferences, conditional preference networks, positive and negative preferences, and the study of preferences in cognitive psychology. The second part of the book deals with reasoning with preferences, and includes chapters dedicated to preference-based argumentation, preferences database queries, and rank-ordering outcomes and intervals. The author concludes by examining forthcoming research perspectives. This is inherently a multidisciplinary topic and this book will be of interest to computer scientists, economists, operations researchers, mathematicians, logicians, philosophers and psychologists.

This book provides a tutorial introduction to modern techniques for representing and reasoning about qualitative preferences with respect to a set of alternatives. The syntax and semantics of several languages for representing preference languages, including CP-nets, TCP-nets, CI-nets, and CP-theories, are reviewed. Some key problems in reasoning about preferences are introduced, including determining whether one alternative is preferred to another, or whether they are equivalent, with respect to a given set of preferences. These tasks can be reduced to model checking in temporal logic. Specifically, an induced preference graph that represents a given set of preferences can be efficiently encoded using a Kripke Structure for Computational Tree Logic (CTL). One can translate preference queries with respect to a set of preferences into an equivalent set of formulae in CTL, such that the CTL formula is satisfied whenever the preference query holds. This allows us to use a model checker to reason about preferences, i.e., answer preference queries, and to obtain a justification as to why a preference query is satisfied (or not) with respect to a set of preferences. This book defines the notions of the equivalence of two sets of preferences, including what it means for one set of preferences to subsume another, and shows how to answer preferential equivalence and subsumption queries using model checking. Furthermore, this book demontrates how to generate alternatives ordered by preference, along with providing ways to deal with inconsistent preference specifications. A description of CRISNER—an open source software implementation of the model checking approach to qualitative preference reasoning in CP-nets, TCP-nets, and CP-theories is included, as well as examples illustrating its use.

Since it was formed in 1994, the Catalan Association for Artificial Intelligence (ACIA) has been promoting cooperation between researchers in artificial intelligence within the Catalan speaking community. The association now holds an annual conference in the Catalan region, which aims to foster discussion of the latest developments in artificial intelligence within the community of Catalan countries, as well as amongst members of the wider AI community. This book presents the proceedings of the 18th International Conference (CCIA 2015), held in Valencia, Spain, in October 2015. It contains full versions of the peer reviewed papers presented at the conference, as well as shorter poster contributions. In addition to this year’s dominant research trends of classification, decision support systems and data mining, many other topics are covered, ranging from theoretical aspects to descriptions of real applications. This overview of current work in the Catalan artificial intelligence community and of the collaboration between ACIA members and the AI community worldwide will be of interest to all those working in the field of artificial intelligence.

This book constitutes the refereed proceedings of the 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013, held in Utrecht, The Netherlands, in July 2013. The 44 revised full papers presented were carefully reviewed and selected from 89 submissions. Papers come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

These three volumes (CCIS 442, 443, 444) constitute the proceedings of the 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, held in Montpellier, France, July 15-19, 2014. The 180 revised full papers presented together with five invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on uncertainty and imprecision on the web of data; decision support and uncertainty management in agri-environment; fuzzy implications; clustering; fuzzy measures and integrals; non-classical logics; data analysis; real-world applications; aggregation; probabilistic networks; recommendation systems and social networks; fuzzy systems; fuzzy logic in boolean framework; management of uncertainty in social networks; from different to same, from imitation to analogy; soft computing and sensory analysis; database systems; fuzzy set theory; measurement and sensory information; aggregation; formal methods for vagueness and uncertainty in a many-valued realm; graduality; preferences; uncertainty management in machine learning; philosophy and history of soft computing; soft computing and sensory analysis; similarity analysis; fuzzy logic, formal concept analysis and rough set; intelligent databases and information systems; theory of evidence; aggregation functions; big data - the role of fuzzy methods; imprecise probabilities: from foundations to applications; multinomial logistic regression on Markov chains for crop rotation modelling; intelligent measurement and control for nonlinear systems.

This SpringerBrief reviews the knowledge engineering problem of engineering objectivity in top-k query answering; essentially, answers must be computed taking into account the user’s preferences and a collection of (subjective) reports provided by other users. Most assume each report can be seen as a set of scores for a list of features, its author’s preferences among the features, as well as other information is discussed in this brief. These pieces of information for every report are then combined, along with the querying user’s preferences and their trust in each report, to rank the query results. Everyday examples of this setup are the online reviews that can be found in sites like Amazon, Trip Advisor, and Yelp, among many others. Throughout this knowledge engineering effort the authors adopt the Datalog+/– family of ontology languages as the underlying knowledge representation and reasoning formalism, and investigate several alternative ways in which rankings can b e derived, along with algorithms for top-k (atomic) query answering under these rankings. This SpringerBrief also investigate assumptions under which our algorithms run in polynomial time in the data complexity. Since this SpringerBrief contains a gentle introduction to the main building blocks (OBDA, Datalog+/-, and reasoning with preferences), it should be of value to students, researchers, and practitioners who are interested in the general problem of incorporating user preferences into related formalisms and tools. Practitioners also interested in using Ontology-based Data Access to leverage information contained in reviews of products and services for a better customer experience will be interested in this brief and researchers working in the areas of Ontological Languages, Semantic Web, Data Provenance, and Reasoning with Preferences.

This book constitutes the refereed proceedings of the 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, held in Regina, SK, Canada, in May 2013. The 17 regular papers and 15 short papers presented were carefully reviewed and selected from 73 initial submissions and are accompanied by 8 papers from the Graduate Student Symposium that were selected from 14 submissions. The papers cover a variety of topics within AI, such as: information extraction, knowledge representation, search, text mining, social networks, temporal associations.

This book constitutes the conference proceedings of the 6th International Conference on Algorithmic Decision Theory, ADT 2019, held in Durham, NC, USA, in October 2019. The 10 full papers presented together with 7 short papers were carefully selected from 31 submissions. The papers focus on algorithmic decision theory broadly defined, seeking to bring together researchers and practitioners coming from diverse areas of computer science, economics and operations research in order to improve the theory and practice of modern decision support.