Author: Francesca Bellet
Publisher: Springer Nature
ISBN: 3031015568
Category : Computers
Languages : en
Pages : 90
Book Description
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
A Short Introduction to Preferences
Author: Francesca Bellet
Publisher: Springer Nature
ISBN: 3031015568
Category : Computers
Languages : en
Pages : 90
Book Description
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
Publisher: Springer Nature
ISBN: 3031015568
Category : Computers
Languages : en
Pages : 90
Book Description
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
A Short Introduction to Preferences
Author: Francesca Rossi
Publisher: Morgan & Claypool Publishers
ISBN: 1608455866
Category : Business & Economics
Languages : en
Pages : 105
Book Description
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
Publisher: Morgan & Claypool Publishers
ISBN: 1608455866
Category : Business & Economics
Languages : en
Pages : 105
Book Description
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
Representing and Reasoning with Qualitative Preferences
Author: Ganesh Ram Liu
Publisher: Springer Nature
ISBN: 3031015738
Category : Computers
Languages : en
Pages : 138
Book Description
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.
Publisher: Springer Nature
ISBN: 3031015738
Category : Computers
Languages : en
Pages : 138
Book Description
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.
HCI in Work and Learning, Life and Leisure
Author: Gerhard Leitner
Publisher: Springer
ISBN: 3642166075
Category : Computers
Languages : en
Pages : 548
Book Description
Because of the fast developments in information and communication technologies (ICT), the ?elds of application of HCI and UE are broader than ever.
Publisher: Springer
ISBN: 3642166075
Category : Computers
Languages : en
Pages : 548
Book Description
Because of the fast developments in information and communication technologies (ICT), the ?elds of application of HCI and UE are broader than ever.
Group Recommender Systems
Author: Alexander Felfernig
Publisher: Springer
ISBN: 3319750674
Category : Technology & Engineering
Languages : en
Pages : 176
Book Description
This book presents group recommender systems, which focus on the determination of recommendations for groups of users. The authors summarize different technologies and applications of group recommender systems. They include an in-depth discussion of state-of-the-art algorithms, an overview of industrial applications, an inclusion of the aspects of decision biases in groups, and corresponding de-biasing approaches. The book includes a discussion of basic group recommendation methods, aspects of human decision making in groups, and related applications. A discussion of open research issues is included to inspire new related research. The book serves as a reference for researchers and practitioners working on group recommendation related topics.
Publisher: Springer
ISBN: 3319750674
Category : Technology & Engineering
Languages : en
Pages : 176
Book Description
This book presents group recommender systems, which focus on the determination of recommendations for groups of users. The authors summarize different technologies and applications of group recommender systems. They include an in-depth discussion of state-of-the-art algorithms, an overview of industrial applications, an inclusion of the aspects of decision biases in groups, and corresponding de-biasing approaches. The book includes a discussion of basic group recommendation methods, aspects of human decision making in groups, and related applications. A discussion of open research issues is included to inspire new related research. The book serves as a reference for researchers and practitioners working on group recommendation related topics.
Quantifying Consumer Preferences
Author: Daniel Slottje
Publisher: Emerald Group Publishing
ISBN: 1848553129
Category : Business & Economics
Languages : en
Pages : 410
Book Description
Demand studies and understanding consumer behavior remain two of the most important areas of analysis by practicing applied economists and econometricians. This book presents research on the estimation of demand systems and the measurement of consumer preferences.
Publisher: Emerald Group Publishing
ISBN: 1848553129
Category : Business & Economics
Languages : en
Pages : 410
Book Description
Demand studies and understanding consumer behavior remain two of the most important areas of analysis by practicing applied economists and econometricians. This book presents research on the estimation of demand systems and the measurement of consumer preferences.
Stabilization, Safety, and Security of Distributed Systems
Author: Toshimitsu Masuzawa
Publisher: Springer
ISBN: 3540766278
Category : Computers
Languages : en
Pages : 421
Book Description
This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of three invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programming.
Publisher: Springer
ISBN: 3540766278
Category : Computers
Languages : en
Pages : 421
Book Description
This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of three invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programming.
Algorithmics of Matching Under Preferences
Author: David F. Manlove
Publisher: World Scientific
ISBN: 9814425257
Category : Mathematics
Languages : en
Pages : 524
Book Description
Matching problems with preferences are all around us OCo they arise when agents seek to be allocated to one another on the basis of ranked preferences over potential outcomes. Efficient algorithms are needed for producing matchings that optimise the satisfaction of the agents according to their preference lists.In recent years there has been a sharp increase in the study of algorithmic aspects of matching problems with preferences, partly reflecting the growing number of applications of these problems worldwide. This book describes the most important results in this area, providing a timely update to The Stable Marriage Problem: Structure and Algorithms (D Gusfield and R W Irving, MIT Press, 1989) in connection with stable matching problems, whilst also broadening the scope to include matching problems with preferences under a range of alternative optimality criteria."
Publisher: World Scientific
ISBN: 9814425257
Category : Mathematics
Languages : en
Pages : 524
Book Description
Matching problems with preferences are all around us OCo they arise when agents seek to be allocated to one another on the basis of ranked preferences over potential outcomes. Efficient algorithms are needed for producing matchings that optimise the satisfaction of the agents according to their preference lists.In recent years there has been a sharp increase in the study of algorithmic aspects of matching problems with preferences, partly reflecting the growing number of applications of these problems worldwide. This book describes the most important results in this area, providing a timely update to The Stable Marriage Problem: Structure and Algorithms (D Gusfield and R W Irving, MIT Press, 1989) in connection with stable matching problems, whilst also broadening the scope to include matching problems with preferences under a range of alternative optimality criteria."
Ethics of Artificial Intelligence
Author: S. Matthew Liao
Publisher: Oxford University Press, USA
ISBN: 0190905034
Category : Business & Economics
Languages : en
Pages : 545
Book Description
Should a self-driving car prioritize the lives of the passengers over the lives of pedestrians? Should we as a society develop autonomous weapon systems that are capable of identifying and attacking a target without human intervention? What happens when AIs become smarter and more capable than us? Could they have greater than human moral status? Can we prevent superintelligent AIs from harming us or causing our extinction? At a critical time in this fast-moving debate, thirty leading academics and researchers at the forefront of AI technology development come together to explore these existential questions, including Aaron James (UC Irvine), Allan Dafoe (Oxford), Andrea Loreggia (Padova), Andrew Critch (UC Berkeley), Azim Shariff (Univ. .
Publisher: Oxford University Press, USA
ISBN: 0190905034
Category : Business & Economics
Languages : en
Pages : 545
Book Description
Should a self-driving car prioritize the lives of the passengers over the lives of pedestrians? Should we as a society develop autonomous weapon systems that are capable of identifying and attacking a target without human intervention? What happens when AIs become smarter and more capable than us? Could they have greater than human moral status? Can we prevent superintelligent AIs from harming us or causing our extinction? At a critical time in this fast-moving debate, thirty leading academics and researchers at the forefront of AI technology development come together to explore these existential questions, including Aaron James (UC Irvine), Allan Dafoe (Oxford), Andrea Loreggia (Padova), Andrew Critch (UC Berkeley), Azim Shariff (Univ. .
Spatial and Temporal Databases
Author: Mario A. Nascimento
Publisher: Springer
ISBN: 3642402356
Category : Computers
Languages : en
Pages : 519
Book Description
This book constitutes the refereed proceedings of the 13th International Symposium on Spatial and Temporal Databases, SSTD 2013, held in Munich, Germany, in August 2013. The 24 revised full papers presented were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on joins and algorithms; mining and discovery; indexing; trajectories and road network data; nearest neighbours queries; uncertainty; and demonstrations.
Publisher: Springer
ISBN: 3642402356
Category : Computers
Languages : en
Pages : 519
Book Description
This book constitutes the refereed proceedings of the 13th International Symposium on Spatial and Temporal Databases, SSTD 2013, held in Munich, Germany, in August 2013. The 24 revised full papers presented were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on joins and algorithms; mining and discovery; indexing; trajectories and road network data; nearest neighbours queries; uncertainty; and demonstrations.