Sciweavers

64 search results - page 2 / 13
» On the Foundations of Qualitative Decision Theory
Sort
View
CI
2006
94views more  CI 2006»
13 years 3 months ago
Against Optimality: Logical Foundations for Decision-Theoretic Planning in Autonomous Agents
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...
John L. Pollock
TACAS
2010
Springer
255views Algorithms» more  TACAS 2010»
13 years 1 months ago
Satisfiability Modulo the Theory of Costs: Foundations and Applications
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
Alessandro Cimatti, Anders Franzén, Alberto...
IJCAI
2003
13 years 5 months ago
Qualitative Decision under Uncertainty: Back to Expected Utility
Different qualitative models have been proposed for decision under uncertainty in Artificial Intelli­ gence, but they generally fail to satisfy the princi­ ple of strict Pareto ...
Hélène Fargier, Régis Sabbadi...
IJCAI
2003
13 years 5 months ago
On the Foundations of Expected Expected Utility
Intelligent agents often need to assess user utility functions in order to make decisions on their behalf, or predict their behavior. When uncertainty exists over the precise natu...
Craig Boutilier
RTA
2010
Springer
13 years 7 months ago
Infinitary Rewriting: Foundations Revisited
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
Stefan Kahrs