000 -LEADER |
fixed length control field |
08899nam a2200733 i 4500 |
001 - CONTROL NUMBER |
control field |
7384983 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
IEEE |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20200413152920.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
fixed length control field |
m eo d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cn |||m|||a |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
160122s2016 caua foab 000 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781627058407 |
Qualifying information |
ebook |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Canceled/invalid ISBN |
9781627058391 |
Qualifying information |
print |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.2200/S00689ED1V01Y201512AIM031 |
Source of number or code |
doi |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(CaBNVSL)swl00406111 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)935806624 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
CaBNVSL |
Language of cataloging |
eng |
Description conventions |
rda |
Transcribing agency |
CaBNVSL |
Modifying agency |
CaBNVSL |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
Q387 |
Item number |
.S267 2016 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
006.332 |
Edition number |
23 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Santhanam, Ganesh Ram., |
Relator term |
author. |
245 10 - TITLE STATEMENT |
Title |
Representing and reasoning with qualitative preferences : |
Remainder of title |
tools and applications / |
Statement of responsibility, etc. |
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : |
Name of producer, publisher, distributor, manufacturer |
Morgan & Claypool, |
Date of production, publication, distribution, manufacture, or copyright notice |
2016. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 PDF (xv, 138 pages) : |
Other physical details |
illustrations. |
336 ## - CONTENT TYPE |
Content type term |
text |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
electronic |
Source |
isbdmedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Source |
rdacarrier |
490 1# - SERIES STATEMENT |
Series statement |
Synthesis lectures on artificial intelligence and machine learning, |
International Standard Serial Number |
1939-4616 ; |
Volume/sequential designation |
# 31 |
538 ## - SYSTEM DETAILS NOTE |
System details note |
Mode of access: World Wide Web. |
538 ## - SYSTEM DETAILS NOTE |
System details note |
System requirements: Adobe Acrobat Reader. |
500 ## - GENERAL NOTE |
General note |
Part of: Synthesis digital library of engineering and computer science. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references (pages 127-135). |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
1. Qualitative preferences -- 1. Motivating examples -- 1.1 Cyberdefense policy -- 1.2 Education -- 1.3 Software engineering -- 1.4 Countermeasures for network security -- 1.5 Minimizing credential disclosure -- 2. Organization of the book -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
2. Qualitative preference languages -- 1. Preliminaries -- 1.1 Notation -- 1.2 Succinct preference specification -- 2. Qualitative preference languages -- 2.1 Representing qualitative preferences -- 2.2 Preference semantics -- 2.3 CP-nets -- 2.4 TCP-nets -- 2.5 CP-theories -- 2.6 CI-nets -- 2.7 Relative expressive power -- 3. Reasoning with qualitative preferences -- 3.1 Ceteris Paribus preference semantics -- 3.2 Semantics for a preference specification as induced preference graphs -- 3.3 Dominance and consistency in qualitative preference languages -- 4. Complexity of reasoning -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
3. Model checking and computation tree logic -- 1. Introduction -- 2. Kripke structure -- 3. Computation tree temporal logic -- 3.1 Syntax -- 3.2 Semantics -- 4. Model checking algorithm -- 5. NuSMV model checker -- 5.1 NuSMV language & counterexamples -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
4. Dominance testing via model checking -- 1. Dominance testing of unconditional preferences -- 1.1 Syntax of L -- 1.2 Semantics of L -- 1.3 Properties of unconditional dominance relation -- 1.4 Complexity of dominance testing in L -- 1.5 Expressiveness, preference reasoning via model checking -- 2.1 Kripke structure encoding of induced preference graph -- 2.2 Correctness of the construction of K (P) -- 3. Answering dominance queries via model checking -- 3.1 Verifying dominance -- 3.2 Extracting a proof of dominance -- 3.3 Summary and discussion -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
5. Verifying preference equivalence and subsumption -- 1. Preference equivalence and preference subsumption -- 2. Data structures to represent semantics of two sets of preference -- 2.1 Inverse induced preference graph -- 2.2 Combined induced preference graph -- 3. Kripke structure encoding for preference equivalence and subsumption -- 3.1 Modeling of preference semantics: extension for preference equivalence and preference subsumption reasoning -- 3.2 Encoding combined induced preference graph as Kripke structure -- 4. Querying K (P1, P2) for subsumption -- 4.1 Extracting a proof of non-subsumption -- 4.2 Verifying preference equivalence -- 5. Discussion -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
6. Ordering alternatives with respect to preference -- 1. Overview -- 1.1 Kripke encoding -- 1.2 Objective: computing an ordered sequence -- 2. Computation of ordered alternative sequence -- 2.1 Dealing with SCCs in induced preference graph -- 2.2 Iterative model refinement and property relaxation -- 2.3 Sample run of the algorithm on example in figure 6.1(b) -- 2.4 Number of model checking calls -- 3. Properties of NEXT-PREF -- 4. Summary -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
7. CRISNER: a practically efficient reasoner for qualitative preferences -- 1. Overview -- 1.1 Justification of query answers -- 1.2 Tool architecture -- 1.3 Preference queries -- 2. XML input language -- 2.1 Defining preference variables -- 2.2 Specifying conditional preference statements -- 2.3 Specifying relative importance preferences -- 3. Encoding preferences as SMV models -- 3.1 Encoding preference variables & auxiliary variables -- 3.2 Encoding preference statements -- 3.3 Justification of query results -- 4. Architecture -- 4.1 Extending CRISNER -- 4.2 Scalability -- 5. Concluding remarks -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
8. Postscript -- A. SMV model listings -- 1. SMV model listing for PCP -- 2. Dominance query and NuSMV output for PCP -- 3. SMV model listing for PTCP -- 4. Dominance query and NuSMV output for PTCP -- 5. SMV model listing for PTCP -- 6. Dominance query and NuSMV output for PCPT -- B. Providing XML input to CRISNER -- 1. XML input listing for PCP -- 2. XML input listing for PTCP -- 3. XML input listing for PCPT -- C. SMV models & CTL queries for preference equivalence and subsumption -- 1. SMV model for K(PCP, PTCP) -- 2. SMV model for K (PTCP, PCPT) -- 3. SMV model for K (PCPT, PCP) -- 4. Preference subsumption query PTCP - PCP on K (PTCP, PCP)-- 5. Preference subsumption query PCP - PTCP on K (PCP, PTCP) -- 6. Preference subsumption query PTCP - PCPT on K (PTCP, PCPT) -- 7. Preference subsumption query PCPT - PTCP on K (PCPT, PTCP) -- 8. Preference subsumption query PCP - PCPT on K (PCPT, PTCP) -- 9. Preference subsumption query PCPT - PTCP on K (PCPT, PCP) -- Bibliography -- Authors' biographies. |
506 1# - RESTRICTIONS ON ACCESS NOTE |
Terms governing access |
Abstract freely available; full-text restricted to subscribers or individual document purchasers. |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
Compendex |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
INSPEC |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
Google scholar |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
Google book search |
520 3# - SUMMARY, ETC. |
Summary, etc. |
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 demonstrates 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. |
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
Additional physical form available note |
Also available in print. |
588 ## - SOURCE OF DESCRIPTION NOTE |
Source of description note |
Title from PDF title page (viewed on January 22, 2016). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Qualitative research. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Knowledge representation (Information theory) |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Artificial intelligence. |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
preferences |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
qualitative preferences |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
preference reasoning |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
model checking |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
knowledge representation |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
automated inference |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
decision support systems |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Basu, Samik., |
Relator term |
author. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Honavar, Vasant., |
Relator term |
author. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Print version: |
International Standard Book Number |
9781627058391 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Synthesis digital library of engineering and computer science. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Synthesis lectures on artificial intelligence and machine learning ; |
Volume/sequential designation |
# 31. |
International Standard Serial Number |
1939-4616 |
856 42 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Abstract with links to resource |
Uniform Resource Identifier |
http://ieeexplore.ieee.org/servlet/opac?bknumber=7384983 |