Filters








1,626 Hits in 4.7 sec

On Satisficing in Quantitative Games [chapter]

Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
2021 Lecture Notes in Computer Science  
AbstractSeveral problems in planning and reactive synthesis can be reduced to the analysis of two-player quantitative graph games. Optimization is one form of analysis.  ...  adhere to a given threshold bound.This work defines and investigates the satisficing problem on a two-player graph game with the discounted-sum cost model.  ...  This work is supported in part by NSF grant 2030859 to the CRA for the CIFellows Project, NSF grants IIS-1527668, CCF-1704883, IIS-1830549, the ERC CoG 863818 (ForM-SMArt), and an award from the Maryland  ... 
doi:10.1007/978-3-030-72016-2_2 fatcat:bqe3mlnu65dbtbb4mkoktsmuqu

On Satisficing in Quantitative Games [article]

Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
2021 arXiv   pre-print
Several problems in planning and reactive synthesis can be reduced to the analysis of two-player quantitative graph games. Optimization is one form of analysis.  ...  This work defines and investigates the satisficing problem on a two-player graph game with the discounted-sum cost model.  ...  This work is supported in part by NSF grant 2030859 to the CRA for the CIFellows Project, NSF grants IIS-1527668, CCF-1704883, IIS-1830549, the ERC CoG 863818 (ForM-SMArt), and an award from the Maryland  ... 
arXiv:2101.02594v1 fatcat:crfdjsg625hhvfkqpw7jciidae

Synthesis from Satisficing and Temporal Goals

Suguman Bansal, Lydia Kavraki, Moshe Y. Vardi, Andrew Wells
2022 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
The utility of our algorithm is demonstrated on robotic planning domains.  ...  An alternative approach combining LTL synthesis with satisficing DS rewards (rewards that achieve a threshold) is sound and complete for integer discount factors, but, in practice, a fractional discount  ...  This work is supported in part by NSF grant 2030859 to the CRA for the CIFellows Project, NSF grants IIS-1527668, CCF-1704883, IIS-1830549, CNS-2016656, DoD MURI grant N00014-20-1-2787, and an award from  ... 
doi:10.1609/aaai.v36i9.21202 fatcat:gatgjnedajfhffhppnkyakhdhe

Synthesis from Satisficing and Temporal Goals [article]

Suguman Bansal, Lydia Kavraki, Moshe Y. Vardi, Andrew Wells
2022 arXiv   pre-print
The utility of our algorithm is demonstrated on robotic planning domains.  ...  An alternative approach combining LTL synthesis with satisficing DS rewards (rewards that achieve a threshold) is sound and complete for integer discount factors, but, in practice, a fractional discount  ...  This work is supported in part by NSF grant 2030859 to the CRA for the CIFellows Project, NSF grants IIS-1527668, CCF-1704883, IIS-1830549, CNS-2016656, DoD MURI grant N00014-20-1-2787, and an award from  ... 
arXiv:2205.10464v1 fatcat:xw5aq7cg75gndh37oxe2ylvl6m

Quantitative modelling of benchmarking process

Ayeley Philippe Tchangani
2010 International Journal of Mathematics in Operational Research (IJMOR)  
We propose in this paper to formulate this problem using satisficing games, an evaluation method, that is, based on two measures namely selectability measure (that measures production level) and rejectability  ...  Units for which the selectability measure exceeds the rejectability one will be considered as satisficing units and the benchmark units are those satisficing units that are not dominated.  ...  Satisficing games: presentation The main objective of this section is to present relevant features of satisficing games theory that we need in order to develop our quantitative benchmarking model.  ... 
doi:10.1504/ijmor.2010.034343 fatcat:ovu6iss3lfd2tmvpfr3vl5g5cy

Satisficing Learning Dynamics in the Stag Hunt

Matthew Nokleby, Wynn Stirling, A. Swindlehurst
2006 2006 IEEE Mountain Workshop on Adaptive and Learning Systems  
Satisficing game theory is an alternative to traditional game theory that allows players' utilities to be conditioned upon the preferences of others.  ...  We discuss a learning mechanism for satisficing players to estimate other's preferences through repeated interactions.  ...  LEARNING DYNAMICS IN THE STAG HUNT A. Learning in Satisficing Games In our learning dynamics, we make several assumptions. We first consider the satisficing model to be common knowledge.  ... 
doi:10.1109/smcals.2006.250719 fatcat:v6zofpopubfqfee7xnc3wws4ru

Page 827 of Mathematical Reviews Vol. , Issue 2000a [page]

2000 Mathematical Reviews  
827 91B Mathematical economics leading to a theory of satisficing games.  ...  In this variant, the oriented cycle game, two players take turns in orienting, one by one, the edges of a given graph G. The first player wins by creating an oriented cycle.  ... 

Decision evaluation process in end-of-life systems management

Yasmina Bouzarour-Amokrane, Ayeley Tchangani, François Peres
2015 Journal of manufacturing systems  
A bipolar structuring framework is considered to distinguish positive and negative aspects in the elicitation/evaluation process to avoid compensation and satisficing game theory is used as suitable mathematical  ...  qualitative and quantitative evaluations.  ...  game theory used on the recommendation phase.  ... 
doi:10.1016/j.jmsy.2015.03.007 fatcat:nkirgfi2uzhhnjx7cuucj6nztm

(Non)Behavioral Economics

Werner Güth
2008 Zeitschrift für Psychologie / Journal of Psychology  
This has recently changed by including behavioral economics courses in many doctoral study programs.  ...  More specifically, we question whether neoclassical repairs or game fitting exercises as well as more or less mechanic adaptation processes qualify as behavioral approaches.  ...  for other "similar" tasks where one may have to rely on qualitative resemblance as well as on quantitative similarity operations (e.g.  ... 
doi:10.1027/0044-3409.216.4.244 fatcat:zpy5b6bozjh4xnrzwj4vq3pla4

(Non-) Behavioral Economics - A Programmatic Assessment

Werner Guth
2007 Social Science Research Network  
This has recently changed by including behavioral economics courses in many doctoral study programs.  ...  More specifically, we question whether neoclassical repairs or game fitting exercises as well as more or less mechanic adaptation processes qualify as behavioral approaches.  ...  for other "similar" tasks where one may have to rely on qualitative resemblance as well as on quantitative similarity operations (e.g.  ... 
doi:10.2139/ssrn.1053941 fatcat:6u6rdcyp7fcelkv5yswjyzdrom

Satisficing: A 'Pretty Good' Heuristic

Jonathan Brodie Bendor, Sunil Kumar, David A Siegel
2009 The B.E. Journal of Theoretical Economics  
On the other hand, satisficing does produce reasonable and intuitive behavior over all time scales in many situations, including those in which the path to optimization is unclear.  ...  A very well-known heuristic is Simon's notion of satisficing, in which individuals search for new alternatives only when dissatisfied with their present one.  ...  To address these issues in a focused way, we study one well-known heuristic, satisficing, in detail.  ... 
doi:10.2202/1935-1704.1478 fatcat:tl2wtrkoevfmzjehb2y2bfw7nu

The AAAI Spring Symposia

Nancy Green, Jennifer Chu-Carroll, David Kortenkamp, Alan C. Schultz, Michael H. Coen, Dragomir R. Radev, Eduard H. Hovy, Peter Haddawy, Steve Hanks, Eugene C. Freuder, Charlie Ortiz, Sandip Sen
1999 The AI Magazine  
In total, three different evaluation techniques were tested: one based on information theory (the Shannon game), one on task performance (the question game), and one on information retrieval (the categorization  ...  How can one quantitatively measure the quality of a summary? After several papers and panel presentations on the topic, an exercise was held in which all attendees participated.  ... 
doi:10.1609/aimag.v20i3.1469 dblp:journals/aim/GreenCKSCRHHHFOS99 fatcat:vtmbz4daifgermhkwfgqc7rity

Automata-based Quantitative Verification [article]

Suguman Bansal
2020 arXiv   pre-print
Separation-of-techniques refers to the inherent dichotomy in solving problems in quantitative analysis.  ...  On the theoretical front, we demonstrate that these have the advantage of generalizable results, and yield complexity-theoretic improvements over a range of problems in quantitative analysis.  ...  In this section, we show that our comparator-based approach to solve satisficing on quantitative games can be extended to all temporal goals expressed by linear temporal logic (LTL) [77] .  ... 
arXiv:2010.02055v1 fatcat:jynqpn2msrdi5j72t3fm6yuiti

Satisficing Coordination and Social Welfare for Robotic Societies

Wynn C. Stirling, Matthew S. Nokleby
2008 International Journal of Social Robotics  
A new concept of multi-agent satisficing, defined in terms of relative effectiveness and efficiency, is an alternative to classical optimization-based decision making.  ...  A satisficing social welfare function accounts for the influence relationships among decision-making agents.  ...  Acknowledgements This material is based upon work supported by, or in part by, the U. S. Army Research Laboratory and the U. S. Army Research Office under grant number W911NF-07-1-0650.  ... 
doi:10.1007/s12369-008-0007-x fatcat:p6hfhziixvc3hmcqbc5wdlzpyi

Satisficing, preferences, and social interaction: a new perspective

Wynn C. Stirling, Teppo Felin
2015 Theory and Decision  
Satisficing is a central concept in both individual and social multiagent 1 decision making.  ...  Second, we extend this notion of "neo"-satisficing into the context of social 4 or multiagent decision making and interaction, and model the social conditioning of 5 preferences in a satisficing framework  ...  ,r n ) ∈ A is a 378 profile considered in terms of inefficiency. 396 An obvious way to solve a categorical satisficing game is to apply the satisficing 397 concept by computing the set of individually  ... 
doi:10.1007/s11238-015-9531-y fatcat:vvnub7enubdvrkasu6m47ligti
« Previous Showing results 1 — 15 out of 1,626 results