Causal Decision Theory reckons the choice-worthiness of an option to be completely independent of its evidential bearing on its non-effects. But after one has made a choice this bearing is relevant to future decisions. Therefore it is possible to construct problems of sequential choice in which Causal Decision Theory makes a guaranteed loss. So Causal Decision Theory is wrong. The source of the problem is the idea that agents have a special perspective on their own (...) contemplated actions, from which evidential connections that observers can see are either irrelevant or invisible. (shrink)

Elementary preservice teachers (EPTs) substantially impact the quality of mathematics education, and their subject preference and problem-solving performance are essential indicators of their readiness to teach. The study described EPTs’ subject preference and problem-solving performance. Through a sequential explanatory research design, the quantitative inquiry involved 125 random samples, while the qualitative inquiry was participated by 30 non-random samples. Data were obtained by using an online survey and conferencing. Quantitative data were analyzed through descriptive statistics and analysis of variance, whereas (...) qualitative data were themed accordingly. The EPTs displayed unsatisfactory problem-solving performance and preferred to handle subjects other than math. Besides, the analysis found no significant performance differences with the EPTs’ subject preferences. Further, the EPTs who preferred to teach mathematics expressed their confidence in mathematics. Meanwhile, the EPTs who preferred other subjects displayed math avoidance. The study revealed an alarming result indicating that the EPTs are unprepared for teaching. As agents in cultivating the nation’s mathematics education status, these EPTs must be equipped with fundamental content knowledge. It is suggested that educational decision-makers take measures to address the issues identified concerning EPTs’ readiness to teach mathematics successfully. (shrink)

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.

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)

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.

A number of philosophers of science and statisticians have attempted to justify conclusions drawn from a finite sequence of evidence by appealing to results about what happens if the length of that sequence tends to infinity. If their justifications are to be successful, they need to rely on the finite sequence being either indefinitely increasing or of a large size. These assumptions are often not met in practice. This paper analyzes a simple model of collecting evidence and finds that the (...) practice of collecting only very small sets of evidence before taking a question to be settled is rationally justified. This shows that the appeal to long run results can be used neither to explain the success of actual scientific practice nor to give a rational reconstruction of that practice. (shrink)

I present a decision problem in which causal decision theory appears to violate the independence of irrelevant alternatives (IIA) and normal-form extensive-form equivalence (NEE). I show that these violations lead to exploitable behavior and long-run poverty. These consequences appear damning, but I urge caution. This decision should lead causalists to a better understanding of what it takes for a decision between some collection of options to count as a subdecision of a decision between a larger (...) collection of options. And with this better understanding of subdecisions in hand, causalists will not violate the IIA or the NEE. This decision will also teach causalists that, in sequential decisions, a rational agent may be led to make a series of choices which are causally dominated by some other sequence of choices they could have made instead. I will encourage causalists to recognise this as an intrapersonal tragedy of the commons. (shrink)

A framing effect occurs when an agent's choices are not invariant under changes in the way a decision problem is presented, e.g. changes in the way options are described (violation of description invariance) or preferences are elicited (violation of procedure invariance). Here we identify those rationality violations that underlie framing effects. We attribute to the agent a sequential decision process in which a “target” proposition and several “background” propositions are considered. We suggest that the agent exhibits a (...) framing effect if and only if two conditions are met. First, different presentations of the decision problem lead the agent to consider the propositions in a different order (the empirical condition). Second, different such “decision paths” lead to different decisions on the target proposition (the logical condition). The second condition holds when the agent's initial dispositions on the propositions are “implicitly inconsistent,” which may be caused by violations of “deductive closure.” Our account is consistent with some observations made by psychologists and provides a unified framework for explaining violations of description and procedure invariance. (shrink)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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 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)

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)

Prioritarianism is a variant of utilitarianism. It differs from utilitarianism in that benefiting individuals matters more the worse off these individuals are. On this view, there are two standard ways of handling risky prospects: Ex-Post Prioritarianism adjusts for prioritizing the worse off in final outcomes and then values prospects by the expectation of the sum total of those adjusted values, whereas Ex-Ante Prioritarianism adjusts for prioritizing the worse off on each individual's expectation and then values prospects by the sum total (...) of those adjusted expectations. A standard objection to Ex-Post Prioritarianism is that it violates Ex-Ante Pareto, that is, it prescribes choices that worsen the expectations for everyone. In this article, I argue that Ex-Ante Prioritarianism suffers from much the same problem: it violates a sequential version of Ex-Ante Pareto, that is, it prescribes sequences of choices that worsen the expectations for everyone. (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 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 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)

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)

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)

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)

Real-world economies are open-ended dynamic systems consisting of heterogeneous interacting participants. Human participants are decision-makers who strategically take into account the past actions and potential future actions of other participants. All participants are forced to be locally constructive, meaning their actions at any given time must be based on their local states; and participant actions at any given time affect future local states. Taken together, these essential properties imply real-world economies are locally-constructive sequential games. This paper discusses a (...) modeling approach, Agent-based Computational Economics, that permits researchers to study economic systems from this point of view. ACE modeling principles and objectives are first concisely presented and explained. The remainder of the paper then highlights challenging issues and edgier explorations that ACE researchers are currently pursuing. (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)

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 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)

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)

This article brings to bear findings from the debate on the boundary problem in democratic theory on discussions of workplace democracy to argue that workplace democrats’ focus on workers is unjustified and that more constituencies will have to be included in any prospective scheme of workplace democracy. It thereby provides a valuable and underdiscussed perspective on workplace democracy that goes beyond the debate’s usual focus on the clarification and justification of workplace democrats’ core claim. It also goes beyond approaches like (...) stakeholder theory in law and economics that determine decision-making rights without taking into account genuinely democratic considerations. My discussion proceeds by considering three principles for inclusion from democratic theory for the specific case of the corporation. I submit that two of them, the all-coerced and the all-subjected principle, are not appropriate for this specific case, because they cannot capture the distinguishing features of the corporation. The all-affected principle however is appropriate but has a very wide range. I further argue that this is not as big of a problem as it first might seem and that this principle is still the most appropriate for defining the demos of the democratic corporation. The article closes by pointing out the consequences of this result for the workplace democracy debate and for the legitimacy of the market as a coordination mechanism. (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

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.

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)

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)