The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that there is no effective procedure for ascertaining whether a given procedure is effective. This (...) result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

I argue that medieval solutions to the limit decision problem imply four-dimensionalism, i.e. the view according to which substances that persist through time are extended through time as well as through space, and have different temporal parts at different times.

The menu-dependent nature of regret-minimization creates subtleties when it is applied to dynamic decision problems. It is not clear whether forgone opportunities should be included in the menu. We explain commonly observed behavioral patterns as minimizing regret when forgone opportunities are present. If forgone opportunities are included, we can characterize when a form of dynamic consistency is guaranteed.

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented (...) important programmatic remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

I argue that the Universal Law formulation of the Categorical Imperative is best interpreted as a test or decision procedure of moral rightness and not as a criterion intended to explain the deontic status of actions. Rather, the Humanity formulation is best interpreted as a moral criterion. I also argue that because the role of a moral criterion is to explain, and thus specify what makes an action right or wrong, Kant's Humanity formulation yields a theory of relevant descriptions.

I explain the shutdown problem: the problem of designing artificial agents that (1) shut down when a shutdown button is pressed, (2) don’t try to prevent or cause the pressing of the shutdown button, and (3) otherwise pursue goals competently. I prove three theorems that make the difficulty precise. These theorems show that agents satisfying some innocuous-seeming conditions will often try to prevent or cause the pressing of the shutdown button, even in cases where it’s costly to do (...) so. And patience trades off against shutdownability: the more patient an agent, the greater the costs that agent is willing to incur to manipulate the shutdown button. I end by noting that these theorems can guide our search for solutions. (shrink)

Jackson (1991) proposes an interpretation of consequentialism, namely, the Decision Theoretic Consequentialism (DTC), which provides a middle ground between internal and external criteria of rightness inspired by decision theory. According to DTC, a right decision either leads to the best outcomes (external element) or springs from right motivations (internal element). He raises an objection to fully external interpretations, like objective consequentialism (OC), which he claims that DTC can resolve. He argues that those interpretations are either too objective, (...) which prevents them from giving guidance for action, or their guidance leads to wrong and blameworthy actions or decisions. I discuss how the emphasis on blameworthiness in DTC constraints its domain to merely the justification of decisions that relies on rationality to provide a justification criterion for moral decisions. I provide examples that support the possibility of rational but immoral decisions that are at odds with DTC’s prescription for right decisions. Moreover, I argue what I call the desire-luck problem for the external element of justification criterion leads to the same objection for DTC that Jackson raised for OC. Therefore, DTC, although successful in response to some objections, fails to provide a prescription for the right decision. (shrink)

Because of its non-representational nature, music has always had familiarity with computational and algorithmic methodologies for automatic composition and performance. Today, AI and computer technology are transforming systems of automatic music production from passive means within musical creative processes into ever more autonomous active collaborators of human musicians. This raises a large number of interrelated questions both about the theoretical problems of artificial musical creativity and about its ethical consequences. Considering two of the most urgent ethical problems of Musical AI (...) (music job replacement and machine musical authorship), we show in this essay the strict dependence of every form of acknowledgment of a moral and legal status to systems of automatic music production from the theoretical account of musical creativity by turns implicitly or explicitly adopted, arguing, on the basis of pragmatic reasons, for the necessity and the desirability of this acknowledgment. (shrink)

Andy Egan recently drew attention to a class of decision situations that provide a certain kind of informational feedback, which he claims constitute a counterexample to causal decision theory. Arntzenius and Wallace have sought to vindicate a form of CDT by describing a dynamic process of deliberation that culminates in a “mixed” decision. I show that, for many of the cases in question, this proposal depends on an incorrect way of calculating expected utilities, and argue that it (...) is therefore unsuccessful. I then tentatively defend an alternative proposal by Joyce, which produces a similar process of dynamic deliberation but for a different reason. (shrink)

Big decisions in a person’s life often affect the preferences and standards of a good life which that person’s future self will develop after implementing her decision. This paper argues that in such cases the person might lack any reasons to choose one way rather than the other. Neither preference-based views nor happiness-based views of justified choice offer sufficient help here. The available options are not comparable in the relevant sense and there is no rational choice to make. Thus, (...) ironically, in many of a person’s most important decisions the idea of that person’s good seems to have no application. (shrink)

The dominant approach to assessing decision-making capacity in medicine focuses on determining the extent to which individuals possess certain core cognitive abilities. Critics have argued that this model delivers the wrong verdict in certain cases where patient values that are the product of mental disorder or disordered affective states undermine decision-making without undermining cognition. I argue for a re-conceptualization of what it is to possess the capacity to make medical treatment decisions. It is, I argue, the ability to (...) track one’s own personal interests at least as well as most people can. Using this idea, I demonstrate that it is possible to craft a solution for the problem cases—one that neither alters existing criteria in dangerous ways (e.g. does not open the door to various kinds of abuse) nor violates widely accepted ethical constraints on decision-making assessment. (shrink)

This essay makes the case for, in the phrase of Angelika Kratzer, packing the fruits of the study of rational decision-making into our semantics for deontic modals—specifically, for parametrizing the truth-condition of a deontic modal to things like decision problems and decision theories. Then it knocks it down. While the fundamental relation of the semantic theory must relate deontic modals to things like decision problems and theories, this semantic relation cannot be intelligibly understood as representing the (...) conditions under which a deontic modal is true. Rather it represents the conditions under which it is accepted by a semantically competent agent. This in turn motivates a reorientation of the whole of semantic theorizing, away from the truth-conditional paradigm, toward a form of Expressivism. (shrink)

The interval neutrosophic uncertain linguistic variables can easily express the indeterminate and inconsistent information in real world, and TOPSIS is a very effective decision making method more and more extensive applications. In this paper, we will extend the TOPSIS method to deal with the interval neutrosophic uncertain linguistic information, and propose an extended TOPSIS method to solve the multiple attribute decision making problems in which the attribute value takes the form of the interval neutrosophic uncertain linguistic variables and (...) attribute weight is unknown. Firstly, the operational rules and properties for the interval neutrosophic variables are introduced. Then the distance between two interval neutrosophic uncertain linguistic variables is proposed and the attribute weight is calculated by the maximizing deviation method, and the closeness coefficients to the ideal solution for each alternatives. Finally, an illustrative example is given to illustrate the decision making steps and the effectiveness of the proposed method. (shrink)

The problem of the man who met death in Damascus appeared in the infancy of the theory of rational choice known as causal decision theory. A straightforward, unadorned version of causal decision theory is presented here and applied, along with Brian Skyrms’ deliberation dynamics, to Death in Damascus and similar problems. Decision instability is a fascinating topic, but not a source of difficulty for causal decision theory. Andy Egan’s purported counterexample to causal decision theory, (...) Murder Lesion, is considered; a simple response shows how Murder Lesion and similar examples fail to be counterexamples, and clarifies the use of the unadorned theory in problems of decision instability. I compare unadorned causal decision theory to previous treatments by Frank Arntzenius and by Jim Joyce, and recommend a well-founded heuristic that all three accounts can endorse. Whatever course deliberation takes, causal decision theory is consistently a good guide to rational action. (shrink)

The dispute in philosophical decision theory between causalists and evidentialists remains unsettled. Many are attracted to the causal view’s endorsement of a species of dominance reasoning, and to the intuitive verdicts it gets on a range of cases with the structure of the infamous Newcomb’s Problem. But it also faces a rising wave of purported counterexamples and theoretical challenges. In this paper I will describe a novel decision theory which saves what is appealing about the causal view (...) while avoiding its most worrying objections, and which promises to generalize to solve a set of related problems in other normative domains. (shrink)

In this study, we propose a new approach based on fuzzy TODIM (Portuguese acronym for interactive and multicriteria decision-making) for decision-making problems in uncertain environments. Our method incorporates group utility and individual regret, which are often ignored in traditional multicriteria decision-making (MCDM) methods. To enhance the analysis and application of fuzzy sets in decision-making processes, we introduce novel entropy and distance measures for q-rung picture fuzzy sets. These measures include an entropy measure based on the sine (...) function and a distance measure derived from the Jensen-Shannon divergence. In our methodology, incorporating the sine function into the entropy measure stands out as a distinctive decision, grounded in a profound understanding of the inherent characteristics of fuzzy sets. Utilizing the sine function proves especially advantageous when handling fuzzy sets that exhibit cyclical variations or fluctuations in their membership degrees. We effectively weight the criteria for an improved evaluation by using this new entropy measure. The introduced distance measure finds application in the TODIM approach, allowing the execution of TODIM method steps within a fuzzy environment until the determination of one alternative’s dominance over another—an advancement beyond traditional approaches. We apply our enhanced fuzzy TODIM method to a real-life construction project management problem from the literature and compare the results with those in the literature and obtained from other MCDM methods. Our proposed measures are robust, as demonstrated by the sensitivity analysis that varied the weights of group utility and individual regret, with the results visualized in a 3D sensitivity plot. The findings demonstrate the superiority of our method in providing a more comprehensive evaluation of alternatives, making it a useful tool for decision-makers facing complex and uncertain decision-making problems. (shrink)

Decision theory requires agents to assign probabilities to states of the world and utilities to the possible outcomes of different actions. When agents commit to having the probabilities and/or utilities in a decision problem defined by objective features of the world, they may find themselves unable to decide which actions maximize expected utility. Decision theory has long recognized that work-around strategies are available in special cases; this is where dominance reasoning, minimax, and maximin play a role. (...) Here we describe a different work around, wherein a rational decision about one decision problem can be reached by ‘interpolating’ information from another problem that the agent believes has already been rationally solved. (shrink)

Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring (...) our theory to bear on one of the more venerable decision problems in the literature: Pascal's Wager. Analyzing the wager showcases our theory's virtues and advantages. To that end, we analyze two objections against the wager: Mixed Strategies and Many Gods. After formulating the two objections in the framework of surreal utilities and probabilities, our theory correctly predicts that (1) the pure Pascalian strategy beats all mixed strategies, and (2) what one should do in a Pascalian decision problem depends on what one's credence function is like. Our analysis therefore suggests that although Pascal's Wager is mathematically coherent, it does not deliver what it purports to, a rationally compelling argument that people should lead a religious life regardless of how confident they are in theism and its alternatives. (shrink)

The paper proposes a new technique for dealing with multi-attribute decision making problems through an extended TOPSIS method under neutrosophic cubic environment. Neutrosophic cubic set is the generalized form of cubic set and is the hybridization of a neutrosophic set with an interval neutrosophic set. In this study, we have defined some operation rules for neutrosophic cubic sets and proposed the Euclidean distance between neutrosophic cubic sets. In the decision making situation, the rating of alternatives with respect to (...) some predefined attributes are presented in terms of neutrosophic cubic information where weights of the attributes are completely unknown. In the selection process, neutrosophic cubic positive and negative ideal solutions have been defined. An extended TOPSIS method is then proposed for ranking the alternatives and finally choosing the best one. Lastly, an illustrative example is solved to demonstrate the decision making procedure and effectiveness of the developed approach. (shrink)

The paper argues that on three out of eight possible hypotheses about the EPR experiment we can construct novel and realistic decision problems on which (a) Causal Decision Theory and Evidential Decision Theory conflict (b) Causal Decision Theory and the EPR statistics conflict. We infer that anyone who fully accepts any of these three hypotheses has strong reasons to reject Causal Decision Theory. Finally, we extend the original construction to show that anyone who gives any (...) of the three hypotheses any non-zero credence has strong reasons to reject Causal Decision Theory. However, we concede that no version of the Many Worlds Interpretation (Vaidman, in Zalta, E.N. (ed.), Stanford Encyclopaedia of Philosophy 2014) gives rise to the conflicts that we point out. (shrink)

Decision-making capacity (DMC) plays an important role in clinical practice—determining, on the basis of a patient’s decisional abilities, whether they are entitled to make their own medical decisions or whether a surrogate must be secured to participate in decisions on their behalf. As a result, it’s critical that we get things right—that our conceptual framework be well-suited to the task of helping practitioners systematically sort through the relevant ethical considerations in a way that reliably and transparently delivers correct verdicts (...) about who should and should not have the authority to make their own medical decisions. Unfortunately, however, the standard approach to DMC does not get things right. It is of virtually no help in identifying and clarifying the relevant ethical considerations. And, embedded in the prevailing anti-paternalist paradigm, DMC assessments obfuscate and distort the underlying ethical justification for granting or withholding decisional authority. Here, we describe the core commitments of the standard approach to DMC and then highlight three problems with it. We then argue that these problems are significant enough that they call for more than merely tinkering and fine tuning—variations of the standard approach cannot adequately address them. Instead, we should ditch DMC. (shrink)

Decision theory is concerned with how agents should act when the consequences of their actions are uncertain. The central principle of contemporary decision theory is that the rational choice is the choice that maximizes subjective expected utility. This entry explains what this means, and discusses the philosophical motivations and consequences of the theory. The entry will consider some of the main problems and paradoxes that decision theory faces, and some of responses that can be given. Finally the (...) entry will briefly consider how decision theory applies to choices involving more than one agent. (shrink)

Interval bipolar neutrosophic set is a significant extension of interval neutrosophic set where every element of the set comprises of three independent positive membership functions and three independent negative membership functions. In this study, we first define correlation coefficient, and weighted correlation coefficient measures of interval bipolar neutrosophic sets and prove their basic properties. Then, we develop a new multi-attribute decision making strategy based on the proposed weighted correlation coefficient measure. Finally, we solve an investment problem with interval (...) bipolar neutrosophic information and comparison is given to demonstrate the applicability and effectiveness of the proposed strategy. (shrink)

Bipolar neutrosophic sets are the extension of neutrosophic sets and are based on the idea of positive and negative preferences of information. Projection measure is a useful apparatus for modelling real life decision making problems. In the paper, we define projection, bidirectional projection and hybrid projection measures between bipolar neutrosophic sets. Three new methods based on the proposed projection measures are developed for solving multi-attribute decision making problems. In the solution process, the ratings of performance values of the (...) alternatives with respect to the attributes are expressed in terms of bipolar neutrosophic values. We calculate projection, bidirectional projection, and hybrid projection measures between each alternative and ideal alternative with bipolar neutrosophic information. All the alternatives are ranked to identify the best alternative. Finally, a numerical example is provided to demonstrate the applicability and effectiveness of the developed methods. Comparison analysis with the existing methods in the literature in bipolar neutrosophic environment is also performed. (shrink)

The classic formulation of causal decision theory (CDT) appeals to counterfactuals. It says that you should aim to choose an option that would have a good outcome, were you to choose it. However, this version of CDT faces trouble if the laws of nature are deterministic. After all, the standard theory of counterfactuals says that, if the laws are deterministic, then if anything—including the choice you make—were different in the present, either the laws would be violated or the distant (...) past would be changed. And as several authors have shown, it's easy to transform this upshot of the standard theory of counterfactuals into full-blown counterexamples to CDT. In response to these counterexamples, I argue here that the problem lies, not so much with CDT's guiding idea—that it's the expected causal consequences of your actions that matter for rational decision-making—but with the fact that the classic formulation of CDT doesn't pay sufficient attention to the context-sensitivity of counterfactuals. I develop a contextualist version of CDT which better accounts for this context-sensitivity. And I show that my theory avoids the problems faced by the classic formulation of CDT in determinstic worlds. (shrink)

In recent years there has been an explosion of interest in Artificial Intelligence (AI) both in health care and academic philosophy. This has been due mainly to the rise of effective machine learning and deep learning algorithms, together with increases in data collection and processing power, which have made rapid progress in many areas. However, use of this technology has brought with it philosophical issues and practical problems, in particular, epistemic and ethical. In this paper the authors, with backgrounds in (...) philosophy, maternity care practice and clinical research, draw upon and extend a recent framework for shared decision-making (SDM) that identified a duty of care to the client's knowledge as a necessary condition for SDM. This duty entails the responsibility to acknowledge and overcome epistemic defeaters. This framework is applied to the use of AI in maternity care, in particular, the use of machine learning and deep learning technology to attempt to enhance electronic fetal monitoring (EFM). In doing so, various sub-kinds of epistemic defeater, namely, transparent, opaque, underdetermined, and inherited defeaters are taxonomized and discussed. The authors argue that, although effective current or future AI-enhanced EFM may impose an epistemic obligation on the part of clinicians to rely on such systems' predictions or diagnoses as input to SDM, such obligations may be overridden by inherited defeaters, caused by a form of algorithmic bias. The existence of inherited defeaters implies that the duty of care to the client's knowledge extends to any situation in which a clinician (or anyone else) is involved in producing training data for a system that will be used in SDM. Any future AI must be capable of assessing women individually, taking into account a wide range of factors including women's preferences, to provide a holistic range of evidence for clinical decision-making. (shrink)

Abstract: This paper defends a constraint that any satisfactory decision theory must satisfy. I show how this constraint is violated by all of the decision theories that have been endorsed in the literature that are designed to deal with cases in which opinions or values are represented by a set of functions rather than a single one. Such a decision theory is necessary to account for the existence of what Ruth Chang has called “parity” (as well as (...) for cases in which agents have incomplete preferences or imprecise credences). The problem with the all of the decision theories that have been defended to account for parity is that they are committed to a claim I call unanimity: when all of the functions in the set agree that an agent ought to do A, then an agent ought to do A. A decision theory committed to unanimity violates the constraint I defend in this paper. Thus, if parity exists, a new approach to decision theory is necessary. (shrink)

My topic is how to make decisions when you possess foreknowledge of the consequences of your choice. Many have thought that these kinds of decisions pose a distinctive and novel problem for causal decision theory (CDT). My thesis is that foreknowledge poses no new problems for CDT. Some of the purported problems are not problems. Others are problems, but they are not problems for CDT. Rather, they are problems for our theories of subjunctive supposition. Others are problems, but (...) they are not new problems. They are old problems transposed into a new key. Nonetheless, decisions made with foreknowledge illustrate important lessons about the instrumental value of our choices. Once we've appreciated these lessons, we are left with a version of CDT which faces no novel threats from foreknowledge. (shrink)

This paper explores the idea that a semantics for ‘ought’ should be neutral between different ways of deciding what an agent ought to do in a situation. While the idea is, I argue, well-motivated, taking it seriously leads to surprising, even paradoxical, problems for theorizing about the meaning of ‘ought’. This paper describes and defends one strategy—a form of Expressivism for the modal ‘ought’—for navigating these problems.

The ontology of decision theory has been subject to considerable debate in the past, and discussion of just how we ought to view decision problems has revealed more than one interesting problem, as well as suggested some novel modifications of classical decision theory. In this paper it will be argued that Bayesian, or evidential, decision-theoretic characterizations of decision situations fail to adequately account for knowledge concerning the causal connections between acts, states, and outcomes in (...) decision situations, and so they are incomplete. Second, it will be argues that when we attempt to incorporate the knowledge of such causal connections into Bayesian decision theory, a substantial technical problem arises for which there is no currently available solution that does not suffer from some damning objection or other. From a broader perspective, this then throws into question the use of decision theory as a model of human or machine planning. (shrink)

The question of the rationality of conspiratorial belief ¬divides philosophers into mainly two camps. The particularists believe that each conspiracy theory ought to be examined on its own merits. The generalist, by contrast, argues that there is something inherently suspect about conspiracy theories that makes belief in them irrational. Recent empirical findings indicate that conspiratorial thinking is commonplace among ordinary people, which has naturally shifted attention to the particularists. Yet, even the particularist must agree that not all conspiracy belief is (...) rational, in which case she must explain what separates rational from non-rational conspiratorial thinking. In this paper, I contrast three strategies to this end: 1) the probabilistic objectivist, who assesses the objective probability of conspiracies; 2) the subjectivist, who rather focuses on the perspective of the believer, and typically views the decision to believe in a conspiracy as a problem of decision making under risk. Approaches 1) and 2) rely on assessments of the probability of conspiracy which, I argue, limits their applicability. Instead, I explore 3) viewing the problem facing the potential believer as a decision problem under uncertainty about probabilities. I argue, furthermore, that focusing solely on epistemic utilities fails to do justice to the particular character of conspiracy beliefs, which are not exclusively epistemically motivated, and I investigate the rationality of such beliefs under a number of standard decision rules. (shrink)

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests (...) on nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A -||- A & A (= &I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule &I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying &I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a &I-minimal proof strategy in the case of a general search for proofs of contradiction. (shrink)

How can we make rational decisions that involve transformative experiences, that is, experiences that can radically change our core preferences? L. A. Paul (2014) has argued that many decisions involving transformative experiences cannot be rational. However, Paul acknowledges that some traumatic events can be transformative experiences, but are nevertheless not an obstacle to rational decision-making. For instance, being attacked by hungry sharks would be a transformative experience, and yet, deciding not to swim with hungry sharks is rational. Paul has (...) tried to explain why decisions involving ‘sharky’ outcomes are an exception to the rule. However, her putative explanation has been criticized by Campbell and Mosquera (2020). In this paper, I offer a different solution to this problem. Roughly, I argue that transformative experiences give rise a problem for rational decision-making only if the decision can lead to satisfying some of our (new) core preferences, but can also frustrate other (new) core preferences. I also argue that agents can partially project what traumatic transformative experiences are like. (shrink)

According to orthodox causal decision theory, performing an action can give you information about factors outside of your control, but you should not take this information into account when deciding what to do. Causal decision theorists caution against an irrational policy of 'managing the news'. But, by providing information about factors outside of your control, performing an act can give you two, importantly different, kinds of good news. It can tell you that the world in which you find (...) yourself is good in ways you can't control, and it can also tell you that the act itself is in a position to make the world better. While the first kind of news does not speak in favor of performing an act, I believe that the second kind of news does. I present a revision of causal decision theory which advises you to manage the news about the good you stand to promote, while ignoring news about the good the world has provided for you. (shrink)

State-dependent utility is a problem for the behavioural branch of decision theory under uncertainty. It questions the very possibility that beliefs be revealed by choice data. According to the current literature, all models of beliefs are equally exposed to the problem. Moreover, the problem is solvable only when the decision-maker can influence the resolution of uncertainty. This article gives grounds to reject these two views. The various models of beliefs can be shown to be unequally (...) exposed to the problem of state-dependent utility. The problem can be argued to be solved even when the decision-maker has no influence over the resolution of uncertainty. The implications of such reappraisal for a philosophical appreciation of the revealed preference methodology are discussed. (shrink)

This paper develops an argument against causal decision theory. I formulate a principle of preference, which I call the Guaranteed Principle. I argue that the preferences of rational agents satisfy the Guaranteed Principle, that the preferences of agents who embody causal decision theory do not, and hence that causal decision theory is false.

The standard formulation of Newcomb's problem compares evidential and causal conceptions of expected utility, with those maximizing evidential expected utility tending to end up far richer. Thus, in a world in which agents face Newcomb problems, the evidential decision theorist might ask the causal decision theorist: "if you're so smart, why ain’cha rich?” Ultimately, however, the expected riches of evidential decision theorists in Newcomb problems do not vindicate their theory, because their success does not generalize. Consider (...) a theory that allows the agents who employ it to end up rich in worlds containing Newcomb problems and continues to outperform in other cases. This type of theory, which I call a “success-first” decision theory, is motivated by the desire to draw a tighter connection between rationality and success, rather than to support any particular account of expected utility. The primary aim of this paper is to provide a comprehensive justification of success-first decision theories as accounts of rational decision. I locate this justification in an experimental approach to decision theory supported by the aims of methodological naturalism. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for (...) assessing the truth of certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

The purpose of the study is to reveal the relationship between the justification of strategic decisions and the increase in efficiency of transnational corporations (TNC). The conceptual bases of the justification of strategic decisions for increasing the efficiency of TNC are suggested, the development of which involves research of the preconditions on which their implementation is based, analysis of the main aspects of TNC's activity and accordance with the principles of justification of strategic decisions, strategic decision-making. The results of (...) the comprehensive diagnostic examination of TNC of leading bearings manufacturers are presented, which revealed the problems of their functioning on the market, changes in the dynamics of performance indicators, differences in the use of opportunities, financial state, strategic positions on the market, the efficiency of made decisions. A model for selecting a decision strategy for TNC is suggested. Practical recommendations of implementing strategic decisions for increasing the efficiency of activity of TNC of leading bearings manufacturers are given. (shrink)

We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are (...) $\Sigma^P_3$-complete. We note that the nesting hierarchies for fragments of ATL* collapse in terms of expressiveness above nesting depth 1, hence our results cover all such fragments with lower complexities. (shrink)

One of the biggest problems in applications of animal welfare science is our ability to make comparisons between different individuals, particularly different species. Although welfare science provides methods for measuring the welfare of individual animals, there’s no established method for comparing measures between individuals. This problem occurs because of the underdetermination of the conclusions given the data, arising from two sources of variation that we cannot distinguish – variation in the underlying target variable (welfare experience) and in the relationship (...) of measured indicators to the target. In this paper I describe the similarity assumptions that underlie our current applications of interspecies comparisons and examine in which cases they are justified, as well as describing alternative methods we may use when they are not. In the end, all our available options for making interspecies comparisons are imperfect, and we need to make explicit context-specific decisions about which will be best for the task at hand while acknowledging their potential limitations. Future developments in our understanding of the biology of sentience will help strengthen our methods of making welfare comparisons. (shrink)

The aim of this study is to explore the relationship between the decision support systems and re-engineering in the Palestinian universities in Gaza Strip. A descriptive approach was used where a questionnaire was developed and distributed to a stratified random Sample. (500) questionnaires were distributed and (449) were returned, response rate (89.8%). The study reached many results such as: There is A statistically significant relationship at a significant level (α ≤ 0.04) between the decision support systems and re-engineering (...) in the universities under investigation. There are differences in the answers of the respondents concerning the relationship between decision support systems and re-engineering due to the gender of the respondents in favor of the males. There are differences in the answers of the respondents for the dimension (managerial support for the decision support systems) in favor of those in the age group between (45-55) years and more than (55) years, and due to the educational level in favor of those holding master degrees, and due to the name of the university in favor of the Islamic university, Al azhar university, Al aqsa university, respectively and due to the years of experience in favor of those who have (15-20) years of experience and (21) years and more. The study reached many Conclusions such as: In order to be able to cope with globalization and its technical aspects, the Palestinian universities in Gaza should focus on the process of re-engineering. The importance of this tendency should be clarified to the top management of these universities specially those who are not willing to do so. The universities should be encouraged to start implementing it’s re-engineering programs while developing the infrastructure for their information technology as a whole, and the decision support systems in particular. The top management in the universities should increase their dependence, support and use of the decision support systems in the decision-making process. The top management should also diagnose the problems and encourage the employees to use the decision support systems and overcome the obstacles that may hinder the development of the decision support systems. (shrink)

Causal decision theory defines a rational action as the one that tends to cause the best outcomes. If we adopt counterfactual or probabilistic theories of causation, then we may face problems in overdetermination cases. Do such problems affect Causal decision theory? The aim of this work is to show that the concept of causation that has been fundamental in all versions of causal decision theory is not the most intuitive one. Since overdetermination poses problems for a counterfactual (...) theory of causation, one can think that a version of causal decision theory based on counterfactual dependence may also be vulnerable to such scenarios. However, only when an intuitive, not analyzed notion of causation is presupposed as a ground for a more plausible version of causal decision theory, overdetermination turns problematic. The first interesting consequence of this is that there are more reasons to dismiss traditional theories of causation (and to accept others). The second is to confirm that traditional causal decision theory is not based on our intuitive concept of the causal relation. (shrink)

In this paper, multi attribute decision making problem based on grey relational analysis in neutrosophic cubic set environment is investigated. In the decision making situation, the attribute weights are considered as single valued neutrosophic sets. The neutrosophic weights are converted into crisp weights. Both positve and negative GRA coefficients, and weighted GRA coefficients are determined. Hamming distances for weighted GRA coefficients and standard (ideal) GRA coefficients are determined. The relative closeness coefficients are derived in order to rank (...) the alternatives. The relative closeness coefficients are designed in ascending order. Finally, a numerical example is solved to demonstrate the applicability of the proposed approach. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between (...) time and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

The dominant approach to the study of dynamic preference is to generate preference change by manipulating aspects of decision-problem presentation (problem description, task procedure, contextual options). The predisposing approach instead manipulates the decision maker’s mental state while holding problem presentation constant. Three illustrative studies are outlined here. The first modified preferences for ambitious consumption by manipulating subjects’ consumption energy. The second modified preferences for immediate consumption by manipulating subjects’ hedonic resources. The third modified preferences for (...) consumption itself by manipulating subjects’ desire proneness. Whereas framing is thought to affect perception, predisposing apparently can affect tastes and so involves a special kind of preference dynamism. (shrink)

In this chapter it is demonstrated that the way in which leaders implement a decision largely depends on the nature of it, that is, whether it is strategic or not. Leaders must be as open as possible and not withhold information from the persons involved in the process. Therefore, they should distribute as much relevant information as possible to meeting participants before a meeting. At the same time, they must be able to steer the process. It is not unusual (...) for there to be a separation between the formulation and implementation of a strategic decision. Often, it is the top leadership that formulates the decision problem and the middle managers that implement its solution. For this reason, it is relatively common that the top leadership signals that the implementation has been successful as soon as the middle managers begin to report positive results. This can sometimes happen even though most of the implementation is incomplete. However, there are also cases where the top leaders rule out certain implementation processes as failures when in fact they prove later on to be successful. A common problem in organizations is that leaders often inherit the task of implementing decisions that past leaders have made. In order to succeed with an implementation, leaders must understand the importance of the process. They must communicate their vision clearly, evaluate and monitor continuously, and allow interested parties to participate actively in the process. They should also understand that what at first may look like a failure, at a later stage may prove to be a success -/- . (shrink)

Ambivalence is most naturally characterized as a case of conflicting desires. In most cases, an agent’s intrinsic desires conflict contingently: there is some possible world in which both desires would be satisfied. This paper argues, though, that there are cases in which intrinsic desires necessarily conflict—i.e., the desires are not jointly satisfiable in any possible world. Desiring a challenge for its own sake is a paradigm case of such a desire. Ambivalence of this sort in an agent’s desires creates special (...) problems for the project of reducing all facts about an agent’s desires to facts about his or her preferences over options. If this reductive project fails, there is reason to suspect that the Decision Theory cannot give us a complete theory of Humean rationality. (shrink)