| 书目名称 | Representing and Reasoning with Qualitative Preferences | | 副标题 | Tools and Applicatio | | 编辑 | Ganesh Ram Santhanam,Samik Basu,Vasant Honavar | | 视频video | | | 丛书名称 | Synthesis Lectures on Artificial Intelligence and Machine Learning | | 图书封面 |  | | 描述 | 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 toreason 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 | | 出版日期 | Book 2016 | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-01573-1 | | isbn_softcover | 978-3-031-00445-2 | | isbn_ebook | 978-3-031-01573-1Series ISSN 1939-4608 Series E-ISSN 1939-4616 | | issn_series | 1939-4608 | | copyright | Springer Nature Switzerland AG 2016 |
The information of publication is updating
|
|
发表于 2025-3-21 18:16:43
