Representing and Reasoning with Qualitative Preferences: Tools and Applications

DOI10.2200/S00689ED1V01Y201512AIM031MaRDI QIDQ3463651zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ganesh Ram. Santhanam, Samik Basu, Vasant Honavar

Publication date 19 January 2016

Published in Synthesis Lectures on Artificial Intelligence and Machine Learning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2200/s00689ed1v01y201512aim031

zbMATH Keywords

model checkingcomputation tree logicpreference semanticsqualitative preferencespreference reasoningqualitative preference languages

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Representing and reasoning with qualitative preferences for compositional systems
• A Snapshot on Reasoning with Qualitative Preference Statements in AI
• A Revised Qualitative Choice Logic for Handling Prioritized Preferences
• Towards a possibilistic logic handling of preferences
• scientific article; zbMATH DE number 2156677
• Hard and soft constraints for reasoning about qualitative conditional preferences

Cited in

(13)

• Inferring quantitative preferences: beyond logical deduction
• Representing and reasoning with qualitative preferences for compositional systems
• A Snapshot on Reasoning with Qualitative Preference Statements in AI
• Logic Programming
• Preferences in artificial intelligence
• Two alternatives for handling preferences in qualitative choice logic
• Implementation of preference reasoning by manipulating the logical chain
• Verifying preferential equivalence and subsumption via model checking
• Preference structures: qualitative judgements based on smooth t-conorms
• A Revised Qualitative Choice Logic for Handling Prioritized Preferences
• Constraints and lifting-based (conditional) preferences in abstract argumentation
• Computational techniques for a simple theory of conditional preferences
• A reward-based approach for preference modeling: a case study

This page was built for publication: Representing and Reasoning with Qualitative Preferences: Tools and Applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3463651)