Titlebook: Representing and Reasoning with Qualitative Preferences; Tools and Applicatio Ganesh Ram Santhanam,Samik Basu,Vasant Honavar Book 2016 Spri

自负的人

集中营

Mercurial

Model Checking and Computation Tree Logic,emantics of different types of preference languages. We will present in Chapter 4 how the answers to these queries can be effectively computed and justified using the technique of model checking. In this chapter, we will present a brief overview of model checking for a specific type of temporal logi

iodides

Dominance Testing via Model Checking,also saw that the complexity of dominance testing, a fundamental preference reasoning task, is in general intractable. To cope with this hardness, in this chapter we discuss how model checking can be used to compute dominance, and how this approach is applicable to a broad class of conditional prefe

里程碑

神秘

Ordering Alternatives With Respect to Preference,e preference specification with respect to another. In this chapter, consider the problem of ordering alternatives with respect to a given set of preferences. This problem finds applications in a variety of settings. For example, in recommendation systems, a user might want to consider the second or

溃烂

Cardiac

Postscript,ject of study in many disciplines including decision theory [38, 54], social choice [78], game theory [67], and other subfields of economics [62]. Artificial intelligence (AI) brings a fresh perspective to the study of preferences, and studies in AI are concerned with how to efficiently represent an

鸟笼

反感

1939-4608 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 preferre