|
Showing 1 - 2 of
2 matches in All Departments
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.
|
Grammatical Inference - 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings (Paperback, 1998 ed.)
Vasant Honavar, Giora Slutzki
|
R1,652
Discovery Miles 16 520
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the Fourth
International Colloquium on Grammatical Inference, ICGI-98, held in
Ames, Iowa, in July 1998.
The 23 revised full papers were carefully reviewed and selected for
inclusion in the book from a total of 35 submissions. The book
addresses a wide range of grammatical inference theory such as
automata induction, grammar induction, automatic language
acquisition, etc. as well as a variety of applications in areas
like syntactic pattern recognition, adaptive intelligent agents,
diagnosis, computational biology, data mining, and knowledge
discovery.
|
You may like...
Top Five
Rosario Dawson, Cedric The Entertainer, …
Blu-ray disc
R40
Discovery Miles 400
|