| 書目名稱 | Representing and Reasoning with Qualitative Preferences | | 副標(biāo)題 | Tools and Applicatio | | 編輯 | Ganesh Ram Santhanam,Samik Basu,Vasant Honavar | | 視頻video | http://file.papertrans.cn/828/827534/827534.mp4 | | 叢書名稱 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-24 03:48
發(fā)表于 2025-3-21 18:16:43
