The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.

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 original decision criterion and method of the combined calculus, presented by D. Hilbert and W. Ackermann, and applied by later logicians, are illuminating, but also go seriously awry and lead the universality and preciseness of the combined calculus to be damaged. The main error is that they confuse the two levels of the combined calculus in the course of calculating. This paper aims to resolve the problem through dividing the levels of the combined calculus, introducing a mixed (...) operation mode, and therefore finding a normal-form decision method approximated by that in sentential logic. Finally, this paper provides a more precise proof of Hauber’s theorem by using the normal-form decision method of the combined calculus. (shrink)

In this companion piece to 'On the Philosophy of Group Decision Methods I: The Non-Obviousness of Majority Rule', we take a closer look at some competitors of majority rule. This exploration supplements the conclusions of the other piece, as well as offers a further-reaching introduction to some of the challenges that this field currently poses to philosophers.

Majority rule is often adopted almost by default as a group decision rule. One might think, therefore, that the conditions under which it applies, and the argument on its behalf, are well understood. However, the standard arguments in support of majority rule display systematic deficiencies. This article explores these weaknesses, and assesses what can be said on behalf of majority rule.

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)

The aim of this paper is to argue that intuitive methods of moral decision making are objective tools on the grounds that they are reasons based. First, I will conduct a preliminary analysis in which I highlight the acceptance of methodological pluralism in the practice of medical ethics. Here, the point is to show the possibility of using intuitive methods given the pluralism framework. Second, I will argue that the best starting point of elaborating such methods is a bottom-up (...) perspective. Third, I will address the worry of subjectivism. Under the influence of certain rationalist positions and recent developments in cognitive science and moral psychology, one might think that intuitive methods of moral decision making are essentially subjective and emotion based. If moral intuitions are the result of emotional reactions and intuitive reasoning is emotionally driven, then there are reasons to believe intuitive methods are subjective and relative to particular psychological constitution. Against this picture, I will argue that intuitive methods of moral decision making are essentially reasons-based. A Wittgensteinian approach will show that intuitive methods of moral decision making are conceptually linked with criteria of morality. (shrink)

Science-based methods for assessing the practical rationality of a proposed public policy typically represent assumed future outcomes of policies and values attributed to these outcomes in an idealized, that is, intentionally distorted way and abstracted from aspects that are deemed irrelevant. Different types of methods do so in different ways. As a consequence, they instantiate the properties that result from abstraction and idealization such as conceptual simplicity versus complexity, or comprehensiveness versus selectivity of the values under consideration to different degrees. (...) I hold that none of these methods is best in general. Instead, I opt for the valuation method that is useful for the policy issue in question both in terms of its relevance and in terms of its practicability. Relevance requires that the method can represent and account for what is at stake in the policy issue. Practicability refers to aspects such as easy versus difficult handling of the method. To argue for the claim, I evaluate three types of valuation methods: cost–benefit analysis that rests on unidimensional measurement and ranking, multi-criteria decision analysis that applies multi-dimensional measurement but unidimensional ranking, and non-aggregate indicator systems that operate with multi-dimensional measurement and sometimes also multi-dimensional ranking. Second-order justification indicating whether and how the valuation method chosen is capable of accounting for the substantive value considerations that constitute the real-world policy issue in question renders the conditions on which the results of a proposed policy evaluation rest transparent. (shrink)

Looks into evaluation of information provision probability from different sources, based on use of linguistic variables. Formation of functions appurtenant for its unclear variables provides for adoption of decisions by the decision maker, in conditions of nonprobabilistic equivocation. The development of market relations in Ukraine increases the independence and responsibility of enterprises in justifying and making management decisions that ensure their effective, competitive activities. As a result of the analysis, it is determined that the condition of economic facilities can (...) be described and determined by the decision-maker, in the presence of the necessary information. The confidence of the decision-maker in the information received is different and the decisions made have a correspondingly different level of information risk. It is important to substantiate the procedure for assessing the numerical extent of information risk in decision-making based on the information obtained in conditions of uncertainty. The use of a linguistic variable in the processing of expert data presented in the form of a matrix of binary relations of values of the membership function, which allowed to move to further processing of knowledge to support decision-making in the management of industrial, commercial, financial and other activities. As a mathematical model for estimating the numerical measure of information risk when making decisions based on the information obtained in conditions of non-stochastic uncertainty, a model has been developed to model natural language uncertainties, which differs from existing ones by formalizing knowledge taking into account uncertainty of input information. Making such a clear decision in a fuzzy environment has appropriate values of effectiveness and risk. The paper proposes all the functions and accessories of indicators of both quantitative nature and qualitative nature to bring their values in the field of definition to one scale. Then the indicator of the effectiveness of decision-making will be a measure of the clarity of the cross-section of fuzzy subsets, which correspond to the introduced indicators of information risk. The condition of economic facilities can be described and determined by the decision-maker, if the necessary information is available. Decision-making on thenumerical measure of information risk must be determined by a set of basic indicators, which can be both quantitative and qualitative in nature. Predictive values of indicators should be determined in conditions of nonstochastic uncertainty. In this case, the indicators of a quantitative nature can be determined by fuzzy triangular numbers, which implement a high level of confidence in the subjective judgments of experts. Indicators of qualitative nature should be presented in linguistic variables. The values of the indicators of qualitative nature that are predicted must be considered for all fuzzy variable terms-sets of linguistic variables introduced into consideration. For any fuzzy variable, the introduction to the consideration of a clear set of values as carriers of the α-level of its membership function allows to reduce to a single interpretation of the predicted values of indicators of quantitative and qualitative nature in terms of non-stochastic uncertainty. (shrink)

It is a hallmark of a good model to make accurate a priori predictions to new conditions (Busemeyer & Wang, 2000). This study compared 8 decision learning models with respect to their generalizability. Participants performed 2 tasks (the Iowa Gambling Task and the Soochow Gambling Task), and each model made a priori predictions by estimating the parameters for each participant from 1 task and using those same parameters to predict on the other task. Three methods were used to evaluate (...) the models at the individual level of analysis. The first method used a post hoc fit criterion, the second method used a generalization criterion for short‐term predictions, and the third method again used a generalization criterion for long‐term predictions. The results suggest that the models with the prospect utility function can make generalizable predictions to new conditions, and different learning models are needed for making short‐versus long‐term predictions on simple gambling tasks. (shrink)

The paper reflects on the methods democratic systems use for arriving at decisions. The most popular ones are elections where the majority rules and deliberative democracy. I argue that both of these do not measure up to the demands of democracy. Whether we use voting with majority rule or deliberative methods, only a portion of the citizenry is allowed to rule itself; minorities are always excluded. Instead of voting with majority ruler or deliberative methods, I suggest that we employ mediation (...) to reach agreement in democratic publics. (shrink)

The paper reflects on the methods democratic systems use for arriving at decisions. The most popular ones are elections where the majority rules and deliberative democracy. I argue that both of these do not measure up to the demands of democracy. Whether we use voting with majority rule or deliberative methods, only a portion of the citizenry is allowed to rule itself; minorities are always excluded. Instead of voting with majority ruler or deliberative methods, I suggest that we employ mediation (...) to reach agreement in democratic publics. (shrink)

Decisions concerning price development are best visible in view of their direct impact on the market activities of the company and the general level of profitability. In every activity, the success is measured by an excess of sales revenue over the costs of used resources. In an ideal case, a determined price provides the highest margin resulting from an analysis of the sales volume, takes into consideration the customer's evaluation of the product/service, and allows to react to competitive threats and (...) to fend off the competition's attacks. There is no single universal way to develop prices for various enterprise types, regardless of the conditions of demand, the specific character of the sector they operate in, or the competitive situation, even if we assume that the enterprise has only one goal of activity. That's why, Author recommends three price determination methods. The ways of price determination presented in this article are just the first step on the way to reach the optimal prices. The prices determined in such way, as well as product or service prices already functioning in the market, are subject to modification depending on the assumed goals, taking into consideration the character of demand for a given commodity and the behaviour of the competition. (shrink)

We focus on two formal methods contexts which generate investigations into decision problems for finite strings.

Il s’agit d’une methode qui permet d’associer à chaque formule bien formée du système S5 de logique modale un nombre naturel invariant pour toutes les formules qui appartiennent a la même classe d’equivalence que la première.En particulier, étant donné que la méthode associe à toutes les tautologies du système le nombre o et a toutes les contradictions du système un certain nombre Φ, il suffit de calculer le nombre qui, en vertu des associations fondamentales, reste associé à n’importe quelle formule (...) pour décider si cette dernière est tautologique, contradictoire ou contingente.Les relations logiques reliant deux formules du systeme -par exemple, des implications, des incompatibilités, des oppositions contradictaires, etc.- sont révéciés par un simpIe examen oculaire des nombres assoc iés aux formules données et une rapide vérification manuelle ou informatique fondée sur la comparaison des chiffres du même rang de ces nombres, écrits en hexadécimal.Finalement, l’analyse de la composition binaire du nombre associé a une formule donnée permet d’obtenir l’expression de la première sous sa forme normale conjonctive.La méthode décrite constitue donc une nouvelle méthode arithmétique de décision pour le système modal indiqué. (shrink)

In recent years, somatosensory interaction technology, represented by Microsoft’s Kinect hardware platform, has been widely used in various fields, such as entertainment, education, and medicine. Kinect technology can easily capture and record behavioral data, which provides new opportunities for behavioral and psychological correlation analysis research. In this paper, an automatic decision-style recognition method is proposed. Experiments involving 240 subjects were conducted to obtain face data and individual decision-making style score. The face data was obtained using the Kinect (...) camera, and the decision-style score were obtained via a questionnaire. To realize automatic recognition of an individual decision-making style, machine learning was employed to establish the mapping relationship between the face data and a scaled evaluation of the decision-making style score. This study adopts a variety of classical machine learning algorithms, including Linear regression, Support vector machine regression, Ridge regression, and Bayesian ridge regression. The experimental results show that the linear regression model returns the best results. The correlation coefficient between the linear regression model evaluation results and the scale evaluation results was 0.6, which represents a medium and higher correlation. The results verify the feasibility of automatic decision-making style recognition method based on facial analysis. (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)

This paper introduces the likelihood method for decision under uncertainty. The method allows the quantitative determination of subjective beliefs or decision weights without invoking additional separability conditions, and generalizes the Savage–de Finetti betting method. It is applied to a number of popular models for decision under uncertainty. In each case, preference foundations result from the requirement that no inconsistencies are to be revealed by the version of the likelihood method appropriate for the model (...) considered. A unified treatment of subjective decision weights results for most of the decision models popular today. Savage’s derivation of subjective expected utility can now be generalized and simplified. In addition to the intuitive and empirical contributions of the likelihood method, we provide a number of technical contributions: We generalize Savage’s nonatomiticy condition (“P6”) and his assumption of (sigma) algebras of events, while fully maintaining his flexibility regarding the outcome set. Derivations of Choquet expected utility and probabilistic sophistication are generalized and simplified similarly. The likelihood method also reveals a common intuition underlying many other conditions for uncertainty, such as definitions of ambiguity aversion and pessimism. (shrink)

This book grew out of previously published papers of mine composed over a period of years; they have been reworked (sometimes beyond recognition) so as to form a reasonably coherent whole. Part One treats of informative inference. I argue (Chapter 2) that the traditional principle of induction in its clearest formulation (that laws are confirmed by their positive cases) is clearly false. Other formulations in terms of the 'uniformity of nature' or the 'resemblance of the future to the past' seem (...) to me hopelessly unclear. From a Bayesian point of view, 'learning from experience' goes by conditionalization (Bayes' rule). The traditional stum bling block for Bayesians has been to fmd objective probability inputs to conditionalize upon. Subjective Bayesians allow any probability inputs that do not violate the usual axioms of probability. Many subjectivists grant that this liberality seems prodigal but own themselves unable to think of additional constraints that might plausibly be imposed. To be sure, if we could agree on the correct probabilistic representation of 'ignorance' (or absence of pertinent data), then all probabilities obtained by applying Bayes' rule to an 'informationless' prior would be objective. But familiar contra dictions, like the Bertrand paradox, are thought to vitiate all attempts to objectify 'ignorance'. BuUding on the earlier work of Sir Harold Jeffreys, E. T. Jaynes, and the more recent work ofG. E. P. Box and G. E. Tiao, I have elected to bite this bullet. In Chapter 3, I develop and defend an objectivist Bayesian approach. (shrink)