×

zbMATH — the first resource for mathematics

Representing and reasoning with qualitative preferences. Tools and applications. (English) Zbl 1348.68009
Synthesis Lectures on Artificial Intelligence and Machine Learning 31. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-839-1/pbk; 978-1-62705-840-7/ebook). xv, 138 p. (2016).
The book contains some techniques for reasoning with qualitative preferences over a set of alternatives and has eight chapters, the first being an introduction. Chapter 2 presents some qualitative preference languages for representing and reasoning with qualitative preferences (CP-nets, TCP-nets, CP-theories, CI-nets), their syntax and semantics and dominance of one alternative over another with respect to a preference specification. Chapter 3 analyzes syntax and semantics (described as Kripke structures) of computation tree temporal logic (CTL), a model checking algorithm for computing the semantics of the CTL properties and the NuSMV model checker. Chapter 4 studies a qualitative preference language L in which preferences are always unconditional. Comparisons of L with CP-theories and TCP-nets are also presented. The second part of the chapter describes how the induced preference graph can be translated into a Kripke structure preserving the preference semantics and how dominance queries with respect to a preference specification can be translated into temporal queries in CTL. Chapter 5 studies the equivalence and the subsumption between two sets of preference statements; for this study the encoding strategy from the previous chapter is extended. Chapter 6 presents a model checking technique used to order alternatives with respect to preferences. The sequence of alternatives is characterized as the optimistic minimal weak order extension of the partial order induced by the preferences. Chapter 7 proposes a tool for reasoning about qualitative preferences in CP-languages. Figures present the architecture and how to work with this tool. The last chapter summarizes the book’s contents and future research directions. The book ends with some source code examples.
MSC:
68-02 Research exposition (monographs, survey articles) pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
68T27 Logic in artificial intelligence
68T30 Knowledge representation
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T37 Reasoning under uncertainty in the context of artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI