English
Related papers

Related papers: An evidential Markov decision making model

200 papers

We first discuss certain problems with the classical probabilistic approach for assessing forensic evidence, in particular its inability to distinguish between lack of belief and disbelief, and its inability to model complete ignorance…

Probability · Mathematics 2017-02-02 Timber Kerkvliet , Ronald Meester

We introduce partial Markov categories. In the same way that Markov categories encode stochastic processes, partial Markov categories encode stochastic processes with constraints, observations and updates. In particular, we prove a…

Logic in Computer Science · Computer Science 2025-04-21 Elena Di Lavore , Mario Román

By analyzing the relationships among chance, weight of evidence and degree of beliefwe show that the assertion "probability functions are special cases of belief functions" and the assertion "Dempster's rule can be used to combine belief…

Artificial Intelligence · Computer Science 2013-02-28 Pei Wang

The Dempster-Shafer theory of evidence has been used intensively to deal with uncertainty in knowledge-based systems. However the representation of uncertain relationships between evidence and hypothesis groups (heuristic knowledge) is…

Artificial Intelligence · Computer Science 2013-03-25 Weiru Liu , John G. Hughes , Michael F. McTear

The Dempster-Shafer theory has been extended recently for its application to expert systems. However, implementing the extended D-S reasoning model in rule-based systems greatly complicates the task of generating informative explanations.…

Artificial Intelligence · Computer Science 2013-04-11 John Yen

Jump Markov linear models consists of a finite number of linear state space models and a discrete variable encoding the jumps (or switches) between the different linear models. Identifying jump Markov linear models makes for a challenging…

Computation · Statistics 2015-02-17 Andreas Svensson , Thomas B. Schön , Fredrik Lindsten

The Markov assumption in Markov Decision Processes (MDPs) is fundamental in reinforcement learning, influencing both theoretical research and practical applications. Existing methods that rely on the Bellman equation benefit tremendously…

Methodology · Statistics 2024-09-24 Chuyun Ye , Lixing Zhu , Ruoqing Zhu

The issue of confidence factors in Knowledge Based Systems has become increasingly important and Dempster-Shafer (DS) theory has become increasingly popular as a basis for these factors. This paper discusses the need for an empirical…

Artificial Intelligence · Computer Science 2013-04-15 John F. Lemmer

When making decisions under risk, people often exhibit behaviors that classical economic theories cannot explain. Newer models that attempt to account for these irrational behaviors often lack neuroscience bases and require the introduction…

Theoretical Economics · Economics 2022-01-24 Ho Ka Chan , Taro Toyoizumi

We consider statistical Markov Decision Processes where the decision maker is risk averse against model ambiguity. The latter is given by an unknown parameter which influences the transition law and the cost functions. Risk aversion is…

Optimization and Control · Mathematics 2021-07-21 Nicole Bäuerle , Ulrich Rieder

Considerable attention has been given to the problem of non-monotonic reasoning in a belief function framework. Earlier work (M. Ginsberg) proposed solutions introducing meta-rules which recognized conditional independencies in a…

Artificial Intelligence · Computer Science 2013-04-05 Mary McLeish

Dempster-Shafer theory is widely applied to uncertainty modelling and knowledge reasoning due to its ability of expressing uncertain information. However, some conditions, such as exclusiveness hypothesis and completeness constraint, limit…

Artificial Intelligence · Computer Science 2014-05-13 Xinyang Deng , Yong Deng

We view the syntax-based approaches to default reasoning as a model-based diagnosis problem, where each source giving a piece of information is considered as a component. It is formalized in the ATMS framework (each source corresponds to an…

Artificial Intelligence · Computer Science 2013-02-28 Jerome Lang

In most contemporary approaches to decision making, a decision problem is described by a sets of states and set of outcomes, and a rich set of acts, which are functions from states to outcomes over which the decision maker (DM) has…

Computer Science and Game Theory · Computer Science 2021-09-07 Lawrence Blume , David Easley , Joseph Y. Halpern

The combination of evidence in Dempster-Shafer theory is compared with the combination of evidence in probabilistic logic. Sufficient conditions are stated for these two methods to agree. It is then shown that these conditions are minimal…

Artificial Intelligence · Computer Science 2013-04-11 Daniel Hunter

Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating non-deterministic behaviors. Given an MDP and rewards on states, a classical…

Logic in Computer Science · Computer Science 2024-11-13 Krishnendu Chatterjee , Laurent Doyen

We examine the effect of item arrangement on choices using a novel decision-making model based on the Markovian exploration of choice sets. This model is inspired by experimental evidence suggesting that the decision-making process involves…

Theoretical Economics · Economics 2024-10-30 Kremena Valkanova

Decisiveness of infinite Markov chains with respect to some (finite or infinite) target set of states is a key property that allows to compute the reachability probability of this set up to an arbitrary precision. Most of the existing works…

Formal Languages and Automata Theory · Computer Science 2023-06-01 Alain Finkel , Serge Haddad , Lina Ye

Within the framework of evidence theory, the confidence functions of different information can be combined into a combined confidence function to solve uncertain problems. The Dempster combination rule is a classic method of fusing…

Statistical Finance · Quantitative Finance 2021-08-09 Tianxiang Zhan , Fuyuan Xiao

The \emph{Entscheidungsproblem}, or the classical decision problem, asks whether a given formula of first-order logic is satisfiable. In this work, we consider an extension of this problem to regular first-order \emph{theories}, i.e.,…

Logic in Computer Science · Computer Science 2024-12-31 Umang Mathur , David Mestel , Mahesh Viswanathan