Regular Boardgames

We propose a new General Game Playing (GGP) language called Regular Boardgames (RBG), which is based on the theory of regular languages. The objective of RBG is to join key properties as expressiveness, efficiency, and naturalness of the description in one GGP formalism, compensating certain drawbacks of the existing languages. This often makes RBG more suitable for various research and practical developments in GGP. While dedicated mostly for describing board games, RBG is universal for the class of all finite deterministic turn-based games with perfect information. We establish foundations of RBG, and analyze it theoretically and experimentally, focusing on the efficiency of reasoning. Regular Boardgames is the first GGP language that allows efficient encoding and playing games with complex rules and with large branching factor (e.g.\ amazons, arimaa, large chess variants, go, international checkers, paper soccer).Comment: AAAI 201

Online Misinformation: Challenges and Future Directions

Misinformation has become a common part of our digital media environments and it is compromising the ability of our societies to form informed opinions. It generates misperceptions, which have affected the decision making processes in many domains, including economy, health, environment, and elections, among others. Misinformation and its generation, propagation, impact, and management is being studied through a variety of lenses (computer science, social science, journalism, psychology, etc.) since it widely affects multiple aspects of society. In this paper we analyse the phenomenon of misinformation from a technological point of view.We study the current socio-technical advancements towards addressing the problem, identify some of the key limitations of current technologies, and propose some ideas to target such limitations. The goal of this position paper is to reflect on the current state of the art and to stimulate discussions on the future design and development of algorithms, methodologies, and applications

Supporting requirements formulation in software formal verification

Formal verification tools such as model checkers have reached a stage were their applicability in the development process of dependable and safety critical systems has become viable. While the formal verification step in tools such as model checkers is fully automated, writing appropriate models and properties is a skillful process. In particular, a correct understanding of the logics used to express properties is needed to guarantee that properties correctly encode the original requirements. In this paper we illustrate how a patterns-based tool can help in simplifying the process of generating logical formulae from informally expressed requirements

No. 26: The Supermarket Revolution and Food Security in Namibia

The surprisingly high rate of supermarket patronage in low-income areas of Windhoek, Namibia’s capital and largest city, is at odds with conventional wisdom that supermarkets in African cities are primarily patronized by middle and high-income residents and therefore target their neighbourhoods. What is happening in Namibia and other Southern African countries that make supermarkets so much more accessible to the urban poor? What are they buying at supermarkets and how frequently do they shop there? Further, what is the impact of supermarket expansion on informal food vendors? This report, which presents the findings from the South African Supermarkets in Growing African Cities project research in 2016-2017 in Windhoek, looks at the evidence and tries to answer these questions and others. The research and policy debate on the relationship between the supermarket revolution and food security is also discussed. Here, the issues include whether supermarket supply chains and procurement practices mitigate rural food insecurity through providing new market opportunities for smallholder farmers; the impact of supermarkets on the food security and consumption patterns of residents of African cities; and the relationship between supermarket expansion and governance of the food system, particularly at the local level

Event analytics

The process analysis toolkit (PAT) integrates the expressiveness of state, event, time, and probability-based languages with the power of model checking. PAT is a self-contained reasoning system for system specification, simulation, and verification. PAT currently supports a wide range of 12 different expressive modeling languages with many application domains and has attracted thousands of registered users from hundreds of organizations. In this invited talk, we will present the PAT system and its vision on “Event Analytics” (EA) which is beyond “Data Analytics”. The EA research is based on applying model checking to event planning, scheduling, prediction, strategy analysis and decision making. Various new EA research directions will be discussed.No Full Tex