Lectures in Game Theory for Computer Scientists

This paper reviews applications in computer science that decision theorists have addressed for years, discusses the requirements posed by these applications that place great strain on decision theory/social science methods, and explores applications in the social and decision sciences of newer decision-theoretic methods developed with computer science applications in mind. The paper deals with the relation between computer science and decision-theoretic methods of consensus, with the relation between computer science and game theory and decisions, and with “algorithmic decision theory.”

This chapter describes four interdisciplinary fields originated and defined by Ashu M. G. Solo in 2011 called political engineering, public policy engineering, computational politics, and computational public policy. Political engineering is the application of engineering, computer science, mathematics, or natural science to solving problems in politics. Computational politics is the application of computer science or mathematics to solving problems in politics. Political engineering and computational politics include, but are not limited to, principles and methods for political decision-making, analysis, modeling, optimization, forecasting, simulation, and expression. Public policy engineering is the application of engineering, computer science, mathematics, or natural science to solving problems in public policy. Computational public policy is the application of computer science or mathematics to solving problems in public policy. Public policy engineering and computational public policy include, but are not limited to, principles and methods for public policy formulation, decision-making, analysis, modeling, optimization, forecasting, and simulation. The chapter describes the scope of research and development in these fields, provides examples of research and development in these fields, and provides possible university curricula for academic programs in these fields.

With the proliferation of computing technologies and an ongoing trend of introducing digital and blended learning aspects into higher education, innovative approaches to teaching complex topics like artificial intelligence (AI) have emerged. Of particular interest is the use of game-based learning approaches. According to problem-based learning theory, providing students with an interactive problem and encouraging them to independently find solutions promotes deeper understanding and skill acquisition. Thus, game-based approaches offer an engaging way for students to explore challenging concepts. However, despite the growing use of game-based methods in fields like economics, their application in computer science - especially in teaching game AI - remains under-explored.Understanding AI is increasingly critical for game development, as modern games emulate human-like behaviour in areas such as decision-making, character routines, and adaptive strategies. While many mechanisms and approaches of agent-level decision-making and planning are well understood, their application in video games poses unique challenges, such as accommodating unpredictable player interactions and ensuring performance efficiency without degrading the player experience. While strategy games like StarCraft or multiplayer online battle arenas like DotA 2 have been of interest as proving grounds for advanced AI training methods, their use in education has been limited due to their high complexity and associated learning curve.This work proposes the development of a novel interactive application to fill this niche. Taking inspiration from city building and management games, the application simulates the campus of the University of Applied Sciences Mittweida, where students are given control of agents acting as archetypal roles of students. The agents' goal is the acquisition of knowledge, an abstract resource gained by participating in courses, requiring the agent to navigate the campus. Students interact with the system through an API that provides information on the state of the simulation and allows issuing commands to specific agents. For example, agents who continuously acquire knowledge over a prolonged period do so at decreasing efficiency. To remedy this, a student implements a routine checking the learning efficiency of all agents, commanding "tired" agents to take a break. Alternatively, the student could train a machine learning algorithm to do the same task, albeit more adaptive. Additionally, the application enables dynamic changes to the environment at runtime, such as adding or removing courses or buildings, simulating player-driven alterations to the game world. By designing decision-making algorithms for these agents, students gain hands-on experience with fundamental AI concepts, i.e. decision trees, bridging the gap between theoretical knowledge and practical application.To evaluate the effectiveness of the application, a comparative study with undergraduate students is planned. Over the course of two semesters, two groups of students will be taught the basics of game AI - one using traditional teaching methods (primarily lectures), the other using a game-based method incorporating the new application. The learning progress of both groups will be monitored using assignments, with students being given a sample project and tasked to develop a game AI solution, i.e. for a non-player character in a first-person shooter.

The purpose of the study is to assess the application of Computer science in the fractional distillation of petroleum. The study sought to: Determine the merit of using Computer science in fractional distillation of petroleum. Evaluate the cost effectiveness to the application of Computer science in fractional distillation of petroleum to the welfare of citizens. Determine if Computer science can help in controlling the natural effects of fractional distillation of petroleum on the environment. Computer science has gained wider application in so many areas of human endeavor ranging from the homes to more scientific and industrial applications, hence its application of Computer science in fractional distillation of petroleum cannot be overemphasized. Irrespective of the benefits of the application of Computer science in fractional distillation of petroleum as a whole, it has become pertinent to ask how effective and efficient its application of Computer science in fractional distillation of petroleum has been. This research work tries to investigate how effective the application of Computer science in fractional distillation of petroleum. The project exertion covered statement of the problem, purpose of the study, research questions/hypotheses were formulated to enable the researcher find out facts about the study, highlighted in division one. Subdivision two was based on the literature review of this study. The study covers the research methodology which guided the study, the next stage was based on the presentation of data and its’ analysis as well as the discussion of findings. The final stage of the research was concerned with the conclusion as well as recommendations and suggestions for further studies

Computability is one of the fundamental notions of mathematics and computer science, trying to capture the effective content of mathematics and its applications. Computability Theory explores the frontiers and limits of effectiveness and algorithmic methods. It has its origins in Godel's Incompleteness Theorems and the formalization of computability by Turing and others, which later led to the emergence of computer science as we know it today. Computability Theory is strongly connected to other areas of mathematics and theoretical computer science. The core of this theory is the analysis of relative computability and the induced degrees of unsolvability; its applications are mainly to Kolmogorov complexity and randomness as well as mathematical logic, analysis and algebra. Current research in computability theory stresses these applications and focuses on algorithmic randomness, computable analysis, computable model theory, and reverse mathematics (proof theory). Recent advances in these research directions have revealed some deep interactions not only among these areas but also with the core parts of computability theory. The goal of this Dagstuhl Seminar is to bring together researchers from all parts of computability theory and related areas in order to discuss advances in the individual areas and the interactions among those.

One significant tool for addressing the concerns associated with the use of one of the applications in computer science is the law. Numerous laws and rules governing the use of computer science are designed to safeguard users, customers, and society at large. Law uses norms created by governmental and social institutions to control behavior. Programming is used to explore digital information in computer science. Computers got more potent and smaller as they evolved through generations, utilizing various technologies such as integrated circuits. Cyber law regulates online behavior and deals with matters pertaining to intellectual property, privacy, domain names, and other legal concerns. A few of the many concerns that the law must address in order to mitigate the electronic crimes are protecting privacy and security, upholding justice, limiting civil and criminal liability, ensuring safety, and controlling the application of AI in the workplace. Guidelines that people and organizations have to follow when utilizing computer science applications, making sure that these requirements are met in full. Additionally, as companies must commit to recording AI usage procedures and making clear the use of data and algorithms, the regulation fosters accountability and openness. By doing this, the possibility of prejudice and mistakes when utilizing AI is decreased. This survey provides a self-contained introduction to cybercrimes and types of cybercrimes. We also present ways to combat cybercrime and limit its spread.

In this thesis, we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first one, we reason about two logics for computations, GCTL* and MCTL*, which are useful to describe a correct execution of monolithic closed systems. In the second one, instead, we focus on two logics for strategies, SL and mATL*, which are useful to formalize several interesting properties about interactive plays in multi-entities systems modeled as multi-agent games. In the “Logics for Computations” part, we first study the immersion of the idea of graded quantifications into the temporal-logic framework. In first order logic, existential and universal quantifiers express the concepts of the existence of at least one individual object satisfying a formula, or that all individual objects satisfy a formula. In other logics, these quantifiers have been generalized to express that, for a given non-negative integer n, at least n or all but n individuals satisfy a particular formula. Here, we consider GCTL, a temporal logic with graded path quantifiers, which allows to describe properties like “there exist at least n different classes of computational fluxes in which a system reaches a predetermined state”, where the classes over paths are computed by means of a predetermined equivalence relation. More precisely, we uniformly extend the classic concept of graded quantifiers from states to paths, through the use of a concept of path equivalence with respect to a given path formula. About this logic, in particular, we study the expressiveness and succinctness relationships with respect to GµCalculus and the complexity of the satisfiability problem, which results to be ExpTime-Complete. This research is partially based on the works [BMM09] “Graded Computation Tree Logic” and [BMM10] “Graded Computation Tree Logic with Binary Coding” published, respectively, in the proceedings of the “IEEE Symposium on Logic in Computer Science, 2009” and “EACSL Annual Conference on Computer Science Logic, 2010”. Preliminary results can be also found in [Mog07]. Furthermore, we consider special quantifiers over substructures, which allow to select, using parametric criteria, small critical parts of a system to be successively verified. In literature, there are some attempts to define a logic that allows to modify the underlying structure under exam and then to verify on it some assigned property. However, as far as we know, none of them is able to select minimal submodels of a given property describing the criteria on which then execute the verification process. Here, we base our work on the search of a new operator that merges the concept of quantifiers on structures with that one derived by a generalization of the concept of pruning. The results of this work, is a class of three different extensions of CTL* with minimal model quantifiers, which we name MCTL*. Regarding these logics, we study several reductions among them, as well as the satisfiability problem that we prove to be highly undecidability, i.e., Σ_1^1-Hard, for two out of the three cases. This research is partially based on the work [MM09] “Branching-Time Temporal Logics with Minimal Model Quantifiers” published in the proceedings of the “International Conference on Developments in Language Theory, 2009”. In the “Logics for Strategies” part, we first study the problem of defining a new specification language through which it is possible to express several important properties of multi-entities systems that are neither expressible using classical monolithic temporal logics, such as CTL*, nor using two-agent-teams temporal logics, such as ATL*. In literature, we can found some proposal of logics that try to achieve this goal, but unfortunately, none of them succeeds completely on all the aspects. Among them, one of the most important attempts is CHP-SL, a logics in which one can use variables over strategies. However, this logic has a deep weakness, since it does not allow to describe games with more than two players and even two-players concurrent games. Here, we introduce SL, a logic with a syntax similar in some aspects to the first order logic, in which the strategies of the agent building the game are treated as first order objects on which we can quantify. This logic generalizes CHP-SL, by allowing the specification of the correct behavior of multi-agent concurrent games. In SL, for example, we are able to express very complex but useful Nash equilibria that are not expressible with CHP-SL. We enlighten that Nash equilibrium is one of the most important concepts in game theory. For the introduced logic, we solve two problems left open in the work on CHP-SL. Precisely, we show that the related model-checking problem is 2ExpTime-Complete, thus not harder of the same problem for several subsumed logics, while we prove that its satisfiability problem is highly undecidable, i.e., Σ_1^1-Hard. This research is partially based on the work [MMV10a] “Reasoning About Strategies” published in the proceedings of the “IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010”. Finally, we consider the concept of relentful strategic reasoning, i.e., a formalism that expresses the ability of a strategy to be used not only to achieve a first given goal, but also to change its final goal in dependence of the history of the play. In the context of planning, memoryful quantification, i.e., quantification over computations that does not lose information about the past along the time, is one of the principal way to express the fact that a system is able to achieve a desired result, and shift to a different goal if some event happens. However, this kind of quantification was not considered before in the context of multi-agent planning. Here, we introduce mATL*, a fusion of the classic alternating temporal logic ATL* with memoryful quantification, with the aim of covering the previous idea. About this logics, we prove that, although it is equivalent to ATL*, it is exponentially more succinct. Nevertheless, we prove that both the model-checking and the satisfiability problems remain 2ExpTime-Complete, as for ATL*. This research is partially based on the work [MMV10b] “Relentful Strategic Reasoning in Alternating-Time Temporal Logic” published in the proceedings of the “International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2010”.

This Research to Practice Full Paper discusses an approach to motivating graduate computer science and electrical engineering students in the study of quantum computing. The U.S. Congress and other governmental and industrial organizations have recognized that teaching Quantum Computing in university-level Computer Science and Electrical Engineering programs is strategically important for workforce development along with technology development. Success in this endeavor requires generating genuine interest in the topic and motivating potential students. Quantum Computing requires an understanding of relatively difficult related subjects including physics, math and computer science. Many computer science and electrical engineering students shy away from quantum computing because of its complexity. This paper discusses our success with generating interest in quantum computing among graduate students and motivating them through exploring, in related courses, some aspects of quantum computing that have the potential to generate discontinuities. The approach is also examined in terms of the Scientific Learning Cycle as discussed by Wankat & Oreovicz. Opportunities and challenges of adding Quantum Computing to Computer Science and Electrical Engineering programs were studied through a student small group project in a cybersecurity course. The work built on extensive research into the effectiveness of small group projects and the role of “play” in learning. Our small group project on quantum computing was introduced three years ago into a cybersecurity course which is required for all students in our university's Masters in Computer Science and Masters in Electrical Engineering programs. The basic goals of the project are to teach students some basics of quantum computing by allowing them to “play with it” and to alert students to the fact that quantum computing is a rapidly developing new field that they need to follow during at least the next decade. The small group project helped students to explore the potential of quantum computing to substantially undermine current Public Key Cryptography and, at the same time provide a new approach to encryption that is even more secure than Public Key Cryptography. A qualitative analysis of discussions and assigned tasks suggests that this strategy succeeded in generating significant interest in quantum computing among students. They became motivated and immersed in a difficult subject despite the requirement for investment of significant time and effort to understand a complex combination of physics, math and computer science.

Mathematics and philosophy have historically enjoyed a mutually beneficial and productive relationship, as a brief review of the work of mathematician–philosophers such as Descartes, Leibniz, Bolzano, Dedekind, Frege, Brouwer, Hilbert, Gödel, and Weyl easily confirms. In the last century, it was especially mathematical logic and research in the foundations of mathematics which, to a significant extent, have been driven by philosophical motivations and carried out by technically minded philosophers. Mathematical logic continues to play an important role in contemporary philosophy, and mathematically trained philosophers continue to contribute to the literature in logic. For instance, modal logics were first investigated by philosophers and now have important applications in computer science and mathematical linguistics.

We asked all of the liberal arts faculty who advise undergraduates on course selection at the 14 colleges in the Associated Colleges of the Midwest a series of questions regarding their perceptions of the personality traits of Computer Science (CS) students, topics they think are covered in CS classes, and their overall impressions of CS. Our goal was to assess empirically the hypotheses that (1) many non-CS faculty do not really know what computer science is, and (2) many non-CS faculty are unaware of the differences between CS and Information Technology (IT). We received over 250 survey responses, which revealed that, among non-CS faculty, only 9% disagree or are neutral that CS should even be part of a liberal arts curriculum, but 32% think CS students learn to administer computers and computer networks, while 34% believe that CS students are taught to use Microsoft products in the classroom. However, over 95% of non-CS faculty also recognize the importance of both programming and algorithms to the study of computer science. The overall data suggests that a majority of non-CS faculty in the Associated Colleges of the Midwest have a a basic understanding of CS, while the remainder have an overly broad definition of CS (i.e. they think that CS includes IT).

The non-linear invariance principle of Mossel, O'Donnell and Oleszkiewicz establishes that if f(x1, ..., xn) is a multilinear low-degree polynomial with low influences then the distribution of f(B1, ..., Bn) is close (in various senses) to the distribution of f(G1, ..., Gn), where Bi ∈R {-1, 1} are independent Bernoulli random variables and Gi ~ N(0, 1) are independent standard Gaussians. The invariance principle has seen many application in theoretical computer science, including the Majority is Stablest conjecture, which shows that the Goemans--Williamson algorithm for MAXCUT is optimal under the Unique Games Conjecture. More generally, MOO's invariance principle works for any two vectors of hypercontractive random variables (X1, ..., Xn), (Y1, ..., Yn) such that (i) Matching moments: Xi and Yi have matching first and second moments, (ii) Independence: the variables X1, ..., Xn are independent, as are Y1, ..., Yn. The independence condition is crucial to the proof of the theorem, yet in some cases we would like to use distributions (X1, ..., Xn) in which the individual coordinates are not independent. A common example is the uniform distribution on the slice ([EQUATION]) which consists of all vectors (x1, ..., xn) ∈ {0, 1}n with Hamming weight k. The slice shows up in theoretical computer science (hardness amplification, direct sum testing), extremal combinatorics (Erdos--Ko--Rado theorems) and coding theory (in the guise of the Johnson association scheme). Our main result is an invariance principle in which (X1, ..., Xn) is the uniform distribution on a slice ([EQUATION]) and (Y1, ..., Yn) consists either of n independent Ber(p) random variables, or of n independent N(p, p(1 - p)) random variables. As applications, we prove a version of Majority is Stablest for functions on the slice, a version of Bourgain's tail theorem, a version of the Kindler--Safra structural theorem, and a stability version of the t-intersecting Erdos--Ko--Rado theorem, combining techniques of Wilson and Friedgut. Our proof relies on a combination of ideas from analysis and probability, algebra and combinatorics. In particular, we make essential use of recent work of the first author which describes an explicit Fourier basis for the slice.

This book presents an up-to-date review of modeling and optimization approaches for location problems along with a new bi-level programming methodology which captures the effect of competition of both producers and customers on facility location decisions. While many optimization approaches simplify location problems by assuming decision making in isolation, this monograph focuses on models which take into account the competitive environment in which such decisions are made. New insights in modeling, algorithmic and theoretical possibilities are opened by this approach and new applications are possible. Competition on equal term plus competition between market leader and followers are considered in this study, consequently bi-level optimization methodology is emphasized and further developed. This book provides insights regarding modeling complexity and algorithmic approaches to discrete competitive location problems. In traditional location modeling, assignment of customer demands to supply sources are made for which the associated costs target the firm and not the customers, though in many real world situations the cost isincurred by the customers. Moreover, there may be customer competition for the provided services. Thus, a new methodological framework is needed in order to encompass such considerations into the modeling and solution process. This book offers initial directions for further research and development along these lines. Aimed toward graduate students and researchers in the field of mathematics, computer science, operational research and game theory, this title provides necessary information on which further research contributions can be based

Contributors

Since Computer Science students are used to applying both General Purpose Programming Languages (GPPLs) and Domain-Specific Languages (DSLs), Generative Artificial Intelligence based on Language Models (LMs) can help them on automatic tasks, allowing them to focus on more creative tasks and higher skills. However, the teaching and evaluation of technical tasks in Computer Science can be inefficient and prone to errors. Thus, the main objective of this article is to explore the performance of LMs compared to that of undergraduate Computer Science students in a specific case study: designing and implementing RESTful APIs DSLs. This research aims to determine if LMs can enhance the efficiency and accuracy of these processes. Our case study involved 39 students and 5 different LMs that must use the two DSLs we also designed for their task assignment. To evaluate performance, we applied uniform criteria to student and LMs-generated solutions, enabling a comparative analysis of accuracy and effectiveness. With a case study comparing performance between students and LMs, this article contributes to checking to what extent LMs are able to carry out software development tasks involving the use of new DSLs specially designed for highly specific settings in a similar way as well-qualified Computer Science students are able to. The results underscore the importance of welldefined DSLs and effective prompting processes for optimal LM performance. Specifically, LMs demonstrated high variability in task execution, with two GPT-based LMs achieving similar grades to those scored by the best of the students for every task, obtaining 0.78 and 0.92 on a normalized scale [0, 1], with 0.23 and 0.14 Standard Deviation for ChatGPT-4 and ChatGPT-4o respectively. After the experience, we can conclude that a well-defined DSL and a proper prompting process, providing the LM with metadata, persistent prompts, and a good knowledge base, are crucial for good LM performance. When LMs receive the right prompts, both large and small LMs can achieve excellent results depending on the task.

Aim/Purpose: The purpose of this study is to identify how Advanced level Mathematics and Mathematics course units offered at university level do impact on the academic performance of theoretical Computer Science course units. Background: In Sri Lankan state universities, students have been enrolled only from the Physical Science stream to do a degree program in Computer Science. In addition to that, universities have been offering some course units in Mathematics to provide the required mathematical maturity to Computer Science undergraduates. Despite of this it is observed that the failure rates in fundamental theoretical Computer Science course units are much higher than other course units offered in the general degree program every year. Methodology : Academic records comprised of all 459 undergraduates from three consecutive batches admitted to the degree program in Computer Science from a university were considered for this study. Contribution: This study helps academics in identifying suitable curricula for Mathematics course units to improve students’ performance in theoretical Computer Science courses. Findings: Advanced level Mathematics does not have any significant effect on the academic performance of theoretical Computer Science course units. Even though all Mathematics course units offered were significantly correlated with academic performance of every theoretical Computer Science course unit, only the Discrete Mathematics course unit highly impacted on the academic performance of all three theoretical Computer Science course units. Further this study indicates that the academic performance of female undergraduates is better than males in all theoretical Computer Science and Mathematics course units. Future Research: Identifying other critical success factors contributing to the students’ academic performance of the theoretical Computer Science through empirical studies