Representing And Reasoning With Qualitative Preferences

Author : Ganesh Ram Liu,Samik Cheng
Publisher : Springer Nature
Page : 138 pages
File Size : 47,7 Mb
Release : 2022-05-31
Category : Computers
ISBN : 9783031015731

Get Book

Representing and Reasoning with Qualitative Preferences by Ganesh Ram Liu,Samik Cheng Pdf

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.

Author : K. Gal,A. Nowé,G.J. Nalepa
Publisher : IOS Press
Page : 3328 pages
File Size : 47,9 Mb
Release : 2023-10-18
Category : Computers
ISBN : 9781643684376

Get Book

ECAI 2023 by K. Gal,A. Nowé,G.J. Nalepa Pdf

Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.

Author : Moonis Ali,Jeng-Shyang Pan,Shyi-Ming Chen,Mong-Fong Horng
Publisher : Springer
Page : 543 pages
File Size : 55,5 Mb
Release : 2014-05-20
Category : Computers
ISBN : 9783319074672

Get Book

Modern Advances in Applied Intelligence by Moonis Ali,Jeng-Shyang Pan,Shyi-Ming Chen,Mong-Fong Horng Pdf

The two volume set LNAI 8481 and 8482 constitutes the refereed conference proceedings of the 27th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, held in Kaohsiung, Taiwan, in June 2014. The total of 106 papers selected for the proceedings were carefully reviewed and selected from various submissions. The papers deal with a wide range of topics from applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation and robotics, business and finance, medicine and biomedicine, bioinformatics, cyberspace and human-machine interaction.

Author : Khaled Mellouli
Publisher : Springer
Page : 916 pages
File Size : 43,9 Mb
Release : 2007-09-14
Category : Computers
ISBN : 9783540752561

Get Book

Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Khaled Mellouli Pdf

This book constitutes the refereed proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2007. Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical models, learning causal networks, planning, causality and independence, preference modeling and decision, argumentation systems, inconsistency handling, and uncertainty measures.

Author : Francesca Bellet,Kristen Brent Habrard
Publisher : Springer Nature
Page : 90 pages
File Size : 50,9 Mb
Release : 2022-06-01
Category : Computers
ISBN : 9783031015564

Get Book

A Short Introduction to Preferences by Francesca Bellet,Kristen Brent Habrard Pdf

Computational social choice is an expanding field that merges classical topics like economics and voting theory with more modern topics like artificial intelligence, multiagent systems, and computational complexity. This book provides a concise introduction to the main research lines in this field, covering aspects such as preference modelling, uncertainty reasoning, social choice, stable matching, and computational aspects of preference aggregation and manipulation. The book is centered around the notion of preference reasoning, both in the single-agent and the multi-agent setting. It presents the main approaches to modeling and reasoning with preferences, with particular attention to two popular and powerful formalisms, soft constraints and CP-nets. The authors consider preference elicitation and various forms of uncertainty in soft constraints. They review the most relevant results in voting, with special attention to computational social choice. Finally, the book considers preferences in matching problems. The book is intended for students and researchers who may be interested in an introduction to preference reasoning and multi-agent preference aggregation, and who want to know the basic notions and results in computational social choice. Table of Contents: Introduction / Preference Modeling and Reasoning / Uncertainty in Preference Reasoning / Aggregating Preferences / Stable Marriage Problems

Author : Sanjay Modgil,Nir Oren,Francesca Toni
Publisher : Springer
Page : 290 pages
File Size : 55,8 Mb
Release : 2012-03-26
Category : Computers
ISBN : 9783642291845

Get Book

Theory and Applications of Formal Argumentation by Sanjay Modgil,Nir Oren,Francesca Toni Pdf

This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics: properties of formal models of argumentation; instantiations of abstract argumentation frameworks; relationships among different argumentation frameworks; practical applications of formal models of argumentation; argumentation and other artificial intelligence techniques; evaluation of formal models of argumentation; validation and evaluation of applications of argumentation.

Author : Athman Bouguettaya,Ingolf Krüger,Tiziana Margaria
Publisher : Springer
Page : 737 pages
File Size : 40,9 Mb
Release : 2008-11-20
Category : Computers
ISBN : 9783540896524

Get Book

Service-Oriented Computing - ICSOC 2008 by Athman Bouguettaya,Ingolf Krüger,Tiziana Margaria Pdf

This book constitutes the refereed proceedings of the 6th International Conference on Service-Oriented Computing, ICSOC 2008, held in Sydney, Australia, in December 2008. The 32 revised full papers and 20 short papers of the research track presented together with 6 industrial papers, 6 demonstration papers of the industrial track, and the abstracts of 4 keynote lectures were carefully reviewed and selected from a total of 184 submissions. The papers present original research in the field of service oriented computing, from theoretical and foundational results to empirical evaluations as well as practical and industrial experiences. Topics addressed include services foundations, business service modelling, integrating systems of systems using services, service engineering, service assembly, service management, SOA runtime, quality of service, service applications (grid, e-science, government, etc.), as well as business and economical aspects of services.

Author : Toby Walsh
Publisher : Springer
Page : 593 pages
File Size : 55,6 Mb
Release : 2015-08-27
Category : Computers
ISBN : 9783319231143

Get Book

Algorithmic Decision Theory by Toby Walsh Pdf

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA. The 32 full papers presented were carefully selected from 76 submissions. The papers are organized in topical sections such as preferences; manipulation, learning and other issues; utility and decision theory; argumentation; bribery and control; social choice; allocation and other problems; doctoral consortium.

Author : Esra Erdem,Joohyung Lee,Yuliya Lierler,David Pearce
Publisher : Springer
Page : 594 pages
File Size : 45,7 Mb
Release : 2012-06-03
Category : Mathematics
ISBN : 9783642307430

Get Book

Correct Reasoning by Esra Erdem,Joohyung Lee,Yuliya Lierler,David Pearce Pdf

This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming.

Author : Christophe Debruyne,Hervé Panetto,Robert Meersman,Tharam Dillon,Georg Weichhart,Yuan An,Claudio Agostino Ardagna
Publisher : Springer
Page : 678 pages
File Size : 44,8 Mb
Release : 2015-10-29
Category : Computers
ISBN : 9783319261485

Get Book

On the Move to Meaningful Internet Systems: OTM 2015 Conferences by Christophe Debruyne,Hervé Panetto,Robert Meersman,Tharam Dillon,Georg Weichhart,Yuan An,Claudio Agostino Ardagna Pdf

This volume constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2015, Ontologies, Databases, and Applications of Semantics, ODBASE 2015, and Cloud and Trusted Computing, C&TC, held as part of OTM 2015 in October 2015 in Rhodes, Greece. The 30 full papers presented together with 15 short papers were carefully reviewed and selected from 144 initial submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing.

Author : Giacomo Riccia,Didier Dubois,Hans-Joachim Lenz,Rudolf Kruse
Publisher : Springer Science & Business Media
Page : 329 pages
File Size : 52,9 Mb
Release : 2009-06-23
Category : Computers
ISBN : 9783211854327

Get Book

Preferences and Similarities by Giacomo Riccia,Didier Dubois,Hans-Joachim Lenz,Rudolf Kruse Pdf

The fields of similarity and preference are still broadening due to the exploration of new fields of application. This is caused by the strong impact of vagueness, imprecision, uncertainty and dominance on human and agent information, communication, planning, decision, action, and control as well as by the technical progress of the information technology itself. The topics treated in this book are of interest to computer scientists, statisticians, operations researchers, experts in AI, cognitive psychologists and economists.

Author : Souhila Kaci
Publisher : Springer Science & Business Media
Page : 204 pages
File Size : 45,8 Mb
Release : 2011-06-20
Category : Computers
ISBN : 9783642172809

Get Book

Working with Preferences: Less Is More by Souhila Kaci Pdf

Preferences are useful in many real-life problems, guiding human decision making from early childhood up to complex professional and organizational decisions. In artificial intelligence specifically, preferences is a relatively new topic of relevance to nonmonotonic reasoning, multiagent systems, constraint satisfaction, decision making, social choice theory and decision-theoretic planning The first part of this book deals with preference representation, with specific chapters dedicated to representation languages, nonmonotonic logics of preferences, conditional preference networks, positive and negative preferences, and the study of preferences in cognitive psychology. The second part of the book deals with reasoning with preferences, and includes chapters dedicated to preference-based argumentation, preferences database queries, and rank-ordering outcomes and intervals. The author concludes by examining forthcoming research perspectives. This is inherently a multidisciplinary topic and this book will be of interest to computer scientists, economists, operations researchers, mathematicians, logicians, philosophers and psychologists.

Author : Hendrik Blockeel,Kristian Kersting,Siegfried Nijssen,Filip Železný
Publisher : Springer
Page : 731 pages
File Size : 42,5 Mb
Release : 2013-08-28
Category : Computers
ISBN : 9783642409943

Get Book

Machine Learning and Knowledge Discovery in Databases by Hendrik Blockeel,Kristian Kersting,Siegfried Nijssen,Filip Železný Pdf

This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2013, held in Prague, Czech Republic, in September 2013. The 111 revised research papers presented together with 5 invited talks were carefully reviewed and selected from 447 submissions. The papers are organized in topical sections on reinforcement learning; Markov decision processes; active learning and optimization; learning from sequences; time series and spatio-temporal data; data streams; graphs and networks; social network analysis; natural language processing and information extraction; ranking and recommender systems; matrix and tensor analysis; structured output prediction, multi-label and multi-task learning; transfer learning; bayesian learning; graphical models; nearest-neighbor methods; ensembles; statistical learning; semi-supervised learning; unsupervised learning; subgroup discovery, outlier detection and anomaly detection; privacy and security; evaluation; applications; and medical applications.

Author : Bart Michael Peintner
Publisher : Unknown
Page : 470 pages
File Size : 52,8 Mb
Release : 2005
Category : Electronic
ISBN : UOM:39015062484384

Get Book

Algorithms for Constraint-based Temporal Reasoning with Preferences by Bart Michael Peintner Pdf

Author : Lluis Godo
Publisher : Springer
Page : 1028 pages
File Size : 41,7 Mb
Release : 2005-08-25
Category : Computers
ISBN : 9783540318880

Get Book

Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Lluis Godo Pdf

These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, held in Barcelona (Spain), July 6–8, 2005. The ECSQARU conferences are biennial and have become a major forum for advances in the theory and practice of r- soning under uncertainty. The ?rst ECSQARU conference was held in Marseille (1991), and after in Granada (1993), Fribourg (1995), Bonn (1997), London (1999), Toulouse (2001) and Aalborg (2003). The papers gathered in this volume were selected out of 130 submissions, after a strict review process by the members of the Program Committee, to be presented at ECSQARU 2005. In addition, the conference included invited lectures by three outstanding researchers in the area, Seraf ́ ?n Moral (Imprecise Probabilities), Rudolf Kruse (Graphical Models in Planning) and J ́ erˆ ome Lang (Social Choice). Moreover, the application of uncertainty models to real-world problems was addressed at ECSQARU 2005 by a special session devoted to s- cessful industrial applications, organized by Rudolf Kruse. Both invited lectures and papers of the special session contribute to this volume. On the whole, the programme of the conference provided a broad, rich and up-to-date perspective of the current high-level research in the area which is re?ected in the contents of this volume. IwouldliketowarmlythankthemembersoftheProgramCommitteeandthe additional referees for their valuable work, the invited speakers and the invited session organizer.