Academic literature on the topic 'Decision-making Logics and Capabilities'

Strategic decision-making is ubiquitous in everyday life. The analysis of game strategies has been a research theme in game theory for several decades since von Neumann and Morgenstern. Sophisticated models and analysis tools have been developed with wide applications in Economics, Management Science, Social Science and Computer Science, especially in the field of Artificial Intelligence. However, \much of game theory is about the question whether strategic equilibria exist", as Johan van Benthem, a world-leading logician and game-theorist, points out, \but there are hardly any explicit languages for defining, comparing, or combining strategies". Without such a facility it is challenging for computer scientists to build intelligent agents that are capable of strategic decision-making. In the last twenty years, logical approaches have been proposed to tackle this problem. Pioneering work includes Game Logics, Coalition Logic and Alternating-time Temporal Logic (ATL). These logics either provide facilities for expressing and combining games or offer mechanisms for reasoning about strategic abilities of players. But none of them can solve the problem. The intrinsic difficulty in establishing such a logic is that reasoning about strategies requires combinations of temporal reasoning, counterfactual reasoning, reasoning about actions, preferences and knowledge, as well as reasoning about multi-agent interactions and coalitional abilities. More recently, a few new logical formalisms have been proposed by extending ATL with strategy variables in order to express strategies explicitly. However, most of these logics tend to have high computational complexity, because ATL introduces quantifications over strategies (functions), which leaves little hope of building any tractable inference system based on such a logic. This thesis takes up the challenge by using a bottom-up approach in order to create a balance between expressive power and computational efficiency. Instead of starting with a highly complicated logic, we propose a set of logical frameworks based on a simple and practical logical language, called Game Description Language (GDL), which has been used as an official language for General Game Playing (GGP) since 2005. To represent game strategies, we extend GDL with two binary prioritized connectives for combining actions in terms of their priorities specified by these connectives, and provide it with a semantics based on the standard state transition model. To reason about the strategic abilities of players, we further extend the framework with coalition operators from ATL for specifying the strategic abilities of players. More importantly, a unified semantics is provided for both GDL- and ATL- formulas, which allows us to verify and reason about game strategies. Interestingly, the framework can be used to formalize the fundamental game-playing principles and formally derive two well-known results on two-player games: Weak Determinacy and Zermelo's Theorem. We also show that the model-checking problem of the logic is not worse than that of ATL*, an extension of ATL. To deal with imperfect information games, we extend GDL with the standard epistemic operators and provide it with a semantics based on the epistemic state transition model. The language allows us to specify an imperfect information game and formalize its epistemic properties. Meanwhile, the framework allows us to reason about players' own as well as other players' knowledge during game playing. Most importantly, the logic has a moderate computational complexity, which makes it significantly different from similar existing frameworks. To investigate the interplay between knowledge shared by a group of players and its coalitional abilities, we provide a variant of semantics for ATL with imperfect information. The relation between knowledge sharing and coalitional abilities is investigated through the interplay of epistemic and coalition modalities. Moreover, this semantics is able to preserve the desirable properties of coalitional abilities. To deal with collective decision-making, we apply the approach of combining actions via their priorities for collective choice. We extend propositional logic with the prioritized connective for modelling reason-based individual and collective choices. Not only individual preferences but also aggregation rules can be expressed within this logic. A model-checking algorithm for this logic is thus developed to automatically generate individual and collective choices. In many real-world situations, a group making collective judgments may assign individual members or subgroups different priorities to determine the collective judgment. We design an aggregation rule based on the priorities of individuals so as to investigate how the judgment from each individual affects group judgment in a hierarchical environment. We also show that this rule satisfies a set of plausible conditions and has a tractable computational complexity.

Cette thèse aborde le problème du raisonnement stratégique. Le raisonnement stratégique est un thème de recherches existant depuis e nombreuses années en théorie des jeux. Toutefois, celui-ci a le plus souvent pour objet de déterminer si des équilibres stratégiques existent sans détailler la définition en elle-même de ces stratégies. La construction d'agents artificiels capable de raisonner stratégiquement implique de se poser la question de la représentation de ces stratégies afin que les agents puissent les construire, combiner, comparer et enfin et surtout exécuter. Cette thèse propose un ensemble de logiques pour le raisonnement stratégique et la prise de décision collective. Elle établit dans un premier temps un cadre unifiée pour la définition de jeux, la représentation de stratégies et le raisonnement sur celles-ci dans le contexte des jeux à information parfaite. Ce cadre est ensuite étendu pour prendre en compte les jeux à information imparfaite. Les relations entre les connaissances de groupe, le pouvoir des coalitions ainsi que le partage d'informations dans une coalition sont ensuite étudiés. Dans un dernier temps, est introduit une logique modale permettant de de raisonner sur les choix collectifs, cette logique permet de généraliser les approches logiques existantes pour l'agrégation de jugements. La complexité de ces différents cadres logiques est aussi étudiée et nous montrons que ces différents cadres offre un équilibre pertinent entre efficacité computationnelle et pouvoir d'expression<br>This thesis proposes a set of logics for modelling strategic reasoning and collective decision-making. It first establishes a unified logical framework for game specifications, strategy representation and strategic reasoning in perfect information games. Based on that, it proposes an epistemic extension to address imperfect information games. To investigate the interplay of group knowledge and coalitional abilities, it further models knowledge sharing within coalitions. Finally it introduces a modal logic for collective choice and generalizes the logic-based approach to judgment aggregation. The complexity analysis of these logics indicates that these frameworks make a good balance between expressive power and computational efficiency

Thesis (M.S. in Operations Research)--Naval Postgraduate School, September 2005.<br>Thesis Advisor(s): Moshe Kress, Matt Boensel. Includes bibliographical references (p. 95-99). Also available online.

Thesis (M.Tech.) - Central University of Technology, Free State, 2006<br>The ultimate goal regarding this research was to make an intelligent learning machine, thus a new method had to be developed. This was to be made possible by creating a programme that generates another programme. By constantly changing the generated programme to improve itself, the machines are given the ability to adapt to there surroundings and, thus, learn from experience. This generated programme had to perform a specific task. For this experiment the programme was generated for a simulated PIC microcontroller aboard a simulated robot. The goal was to get the robot as close to a specific position inside a simulated maze as possible. The robot therefore had to show the ability to avoid obstacles, although only the distance to the destination was given as an indication of how well the generated programme was performing. The programme performed experiments by randomly changing a number of instructions in the current generated programme. The generated programme was evaluated by simulating the reactions of the robot. If the change to the generated programme resulted in getting the robot closer to the destination, then the changed generated programme was kept for future use. If the change resulted in a less desired reaction, then the newly generated programme was removed and the unchanged programme was kept for future use. This process was repeated for a total of one hundred thousand times before the generated program was considered valid. Because there was a very slim chance that the instruction chosen will be advantageous to the programme, it will take many changes to get the desired instruction and, thus, the desired result. After each change an evaluation was made through simulation. The amount of necessary changes to the programme is greatly reduced by giving seemingly desirable instructions a higher chance of being chosen than the other seemingly unsatisfactory instructions. Due to the extensive use of the random function in this experiment, the results differ from one another. To overcome this barrier, many individual programmes had to be generated by simulating and changing an instruction in the generated programme a hundred thousand times. This method was compared against Genetic Algorithms, which were used to generate a programme for the same simulated robot. The new method made the robot adapt much faster to its surroundings than the Genetic Algorithms. A physical robot, similar to the virtual one, was build to prove that the programmes generated could be used on a physical robot. There were quite a number of differences between the generated programmes and the way in which a human would generally construct the programme. Therefore, this method not only gives programmers a new perspective, but could also possibly do what human programmers have not been able to achieve in the past.

Maintenance management is seen as a “necessary evil”, rather than a profit contributing resource that could intensify competitive advantage for the organisation. With the world facing the fourth industrial revolution, a radical increase in the reshaping of companies and competition within asset intensive industries is being observed. Organisations in these industries are being forced to rethink traditional ways of working and gearing the workforce with higher and more diversified competency profiles. This suggests that the traditional way of executing maintenance management, being predominantly reactive with the lack of data driven decision making, is certainly inadequate for a sustainable competitive advantage. An improved way of managing maintenance should be through developing and applying dynamic capabilities within the maintenance domain of the organisation. This research draws on theories of dynamic capabilities (DC), decision making performance (DMP), business process performance (BPP) and firm performance (Fper), in the context of data driven decision making in organisations heavily reliant on good maintenance management practices. The aim of this study was to explore and understand the relationships between these constructs, for insight into further improvement and development of a competitive advantage. The findings presented a statistically significant relationship between DC and Fper, DC and BPP, DC and DMP, but most importantly, a multiple full indirect mediation role was observed, which provides insights for both business and for further studies in academia.<br>Mini Dissertation (MBA)--University of Pretoria, 2020.<br>pt2021<br>Gordon Institute of Business Science (GIBS)<br>MBA<br>Unrestricted

Multiple strategic orientations are management philosophies and practices that assist organisations with internal preparation for quicker responses to external environmental changes. An organisations ability to integrate and foster a Sustainable Entrepreneurial Orientation (SEO) into their business strategies, organisational routines, culture and leadership values is yet to be studied. In view of this, this study responds to this unique research gap through exploring the critical resources and capabilities which enable organisations to intentionally foster SEO and identifying its linkage to strategic decision-making. Establishing which organisational components have considerable influence on SEO will enable organisations to recognise opportunities and constraints of their internal contexts and better equip themselves to enact sustainability and innovation focused activities in response to the grand economic, social and ecological challenges facing society and business. The choice of methodology is qualitative research which used one-on-one in-depth interviews with interview respondents in an emerging market context (South Africa) and a developed market context (Italy) which triangulated the data of this phenomenon. The results indicated that intangible, human-centred resources such as leadership, culture and human capital are the most critical resources for SEO to be fostered which must work systemically in combination with each other and through strategic decision-making organisations can gain competitive advantage, firm performance, new resources and capabilities and a continued licence to operate in society. Market context affects this relationship. The study generated the Integrated Sustainable Entrepreneurial Strategy (ISES) Model which can be used by strategic managers and executives to foster SEO within their organisations.<br>Mini Dissertation (MBA)--University of Pretoria, 2020.<br>Gordon Institute of Business Science (GIBS)<br>MBA<br>Unrestricted

This thesis examines the decision-making processes of people seeking asylum in Australia, using semi-structured interviews with two participant groups: asylum seekers and service providers. This research demonstrates that asylum seekers have multiple and interconnected reasons and aspirations underpinning their migration decisions. Asylum seekers' experiences, and the decisions they make, are more complex than individuals responding to only undesirable factors in their home country and desirable factors in destination countries. The asylum seekers were making decisions to fulfil their migration aspirations. Seeking a safe place in which it would be possible to build a better life is the priority.

Since the concept of business intelligence (BI) was introduced in the late 1980s, many organizations have implemented BI to improve performance but not all BI initiatives have been successful. Practitioners and academicians have discussed the reasons for success and failure, yet, a consistent picture about how to achieve BI success has not yet emerged. The purpose of this dissertation is to help fill the gap in research and provide a better understanding of BI success by examining the impact of BI capabilities on BI success, in the presence of different decision environments. The decision environment is a composition of the decision types and the way the required information is processed to aid in decision making. BI capabilities are defined as critical functionalities that help an organization improve its performance, and they are examined in terms of organizational and technological capabilities. An online survey is used to obtain the data and partial least squares path modeling (PLS) is used for analysis. The results of this dissertation suggest that all technological capabilities as well as one of the organizational capabilities, flexibility, significantly impact BI success. Results also indicate that the moderating effect of decision environment is significant for quantitative data quality. These findings provide richer insight in the role of the decision environment in BI success and a framework with which future research on the relationship between BI capabilities and BI success can be conducted. Findings may also contribute to practice by presenting information for managers and users of BI to consider about their decision environment in assessing BI success.