Chapter 34. Stochastic Boolean Satisfiability

2021 ◽  
Author(s):  
Stephen M. Majercik
Keyword(s):  
Artificial Intelligence ◽  
Computational Complexity ◽  
Probabilistic Reasoning ◽  
Broad Class ◽  
Theoretical Perspective ◽  
Boolean Satisfiability ◽  
Probabilistic Planning ◽  
Empirical Results ◽  
Future Work ◽  
Planning Problems

Stochastic satisfiability (SSAT) is an extension of satisfiability (SAT) that merges two important areas of artificial intelligence: logic and probabilistic reasoning. Initially suggested by Papadimitriou, who called it a “game against nature”, SSAT is interesting both from a theoretical perspective–it is complete for PSPACE, an important complexity class–and from a practical perspective–a broad class of probabilistic planning problems can be encoded and solved as SSAT instances. This chapter describes SSAT and its variants, their computational complexity, applications of SSAT, analytical results, algorithms and empirical results, related work, and directions for future work.

scholarly journals The Computational Complexity of Probabilistic Planning

1998 ◽  
Vol 9 ◽  
pp. 1-36 ◽  
Author(s):  
M. L. Littman ◽  
J. Goldsmith ◽  
M. Mundhenk
Keyword(s):  
Computational Complexity ◽  
Efficient Algorithms ◽  
Boolean Satisfiability ◽  
Complexity Classes ◽  
Probabilistic Planning ◽  
Plan Evaluation ◽  
Partially Ordered ◽  
Boolean Satisfiability Problem ◽  
Complete Problem ◽  
Planning Problems

We examine the computational complexity of testing and finding small plans in probabilistic planning domains with both flat and propositional representations. The complexity of plan evaluation and existence varies with the plan type sought; we examine totally ordered plans, acyclic plans, and looping plans, and partially ordered plans under three natural definitions of plan value. We show that problems of interest are complete for a variety of complexity classes: PL, P, NP, co-NP, PP, NP^PP, co-NP^PP, and PSPACE. In the process of proving that certain planning problems are complete for NP^PP, we introduce a new basic NP^PP-complete problem, E-MAJSAT, which generalizes the standard Boolean satisfiability problem to computations involving probabilistic quantities; our results suggest that the development of good heuristics for E-MAJSAT could be important for the creation of efficient algorithms for a wide variety of problems.

Perceived Effectiveness of Artificial Intelligence based Decision Support System in a Clinical Setting: A Systematic Literature Review (Preprint)

2020 ◽  
Author(s):  
Avishek Choudhury
Keyword(s):  
Artificial Intelligence ◽  
Decision Making ◽  
Decision Support ◽  
Literature Review ◽  
Decision Support System ◽  
Support System ◽  
Clinical Setting ◽  
Clinical Decision Making ◽  
Theoretical Perspective ◽  
Care Providers

UNSTRUCTURED Objective: The potential benefits of artificial intelligence based decision support system (AI-DSS) from a theoretical perspective are well documented and perceived by researchers but there is a lack of evidence showing its influence on routine clinical practice and how its perceived by care providers. Since the effectiveness of AI systems depends on data quality, implementation, and interpretation. The purpose of this literature review is to analyze the effectiveness of AI-DSS in clinical setting and understand its influence on clinician’s decision making outcome. Materials and Methods: This review protocol follows the Preferred Reporting Items for Systematic Reviews and Meta- Analyses reporting guidelines. Literature will be identified using a multi-database search strategy developed in consultation with a librarian. The proposed screening process consists of a title and abstract scan, followed by a full-text review by two reviewers to determine the eligibility of articles. Studies outlining application of AI based decision support system in a clinical setting and its impact on clinician’s decision making, will be included. A tabular synthesis of the general study details will be provided, as well as a narrative synthesis of the extracted data, organised into themes. Studies solely reporting AI accuracy an but not implemented in a clinical setting to measure its influence on clinical decision making were excluded from further review. Results: We identified 8 eligible studies that implemented AI-DSS in a clinical setting to facilitate decisions concerning prostate cancer, post traumatic stress disorder, cardiac ailment, back pain, and others. Five (62.50%) out of 8 studies reported positive outcome of AI-DSS. Conclusion: The systematic review indicated that AI-enabled decision support systems, when implemented in a clinical setting and used by clinicians might not ensure enhanced decision making. However, there are very limited studies to confirm the claim that AI based decision support system can uplift clinicians decision making abilities.

Welcome to the marriage of human capability and artificial intelligence

2019 ◽  
Vol 19 (1) ◽  
pp. 10-14
Author(s):  
Ryan Scott ◽  
Malcolm Le Lievre
Keyword(s):  
Artificial Intelligence ◽  
Team Building ◽  
Workplace Change ◽  
Content Type ◽  
The Future ◽  
Human Capability ◽  
Mind Set ◽  
Future Work ◽  
Crucial Part ◽  
Practical Implications

Purpose The purpose of this paper is to explore insights methodology and technology by using behavioral to create a mind-set change in the way people work, especially in the age of artificial intelligence (AI). Design/methodology/approach The approach is to examine how AI is driving workplace change, introduce the idea that most organizations have untapped analytics, add the idea of what we know future work will look like and look at how greater, data-driven human behavioral insights will help prepare future human-to-human work and inform people’s work with and alongside AI. Findings Human (behavioral) intelligence will be an increasingly crucial part of behaviorally smart organizations, from hiring to placement to adaptation to team building, compliance and more. These human capability insights will, among other things, better prepare people and organizations for changing work roles, including working with and alongside AI and similar tech innovation. Research limitations/implications No doubt researchers across the private, public and nonprofit sectors will want to further study the nexus of human capability, behavioral insights technology and AI, but it is clear that such work is already underway and can prove even more valuable if adopted on a broader, deeper level. Practical implications Much “people data” inside organizations is currently not being harvested. Validated, scalable processes exist to mine that data and leverage it to help organizations of all types and sizes be ready for the future, particularly in regard to the marriage of human capability and AI. Social implications In terms of human capability and AI, individuals, teams, organizations, customers and other stakeholders will all benefit. The investment of time and other resources is minimal, but must include C-suite buy in. Originality/value Much exists on the softer aspects of the marriage of human capability and AI and other workplace advancements. What has been lacking – until now – is a 1) practical, 2) validated and 3) scalable behavioral insights tech form that quantifiably informs how people and AI will work in the future, especially side by side.

Moving Forward, One Step at a Time

2003 ◽  
Vol 57 (2) ◽  
pp. 431-444 ◽  
Author(s):  
Barbara Koremenos ◽  
Duncan Snidal
Keyword(s):  
Research Design ◽  
Rational Design ◽  
Institutional Design ◽  
Theoretical Perspective ◽  
Design Decisions ◽  
Design Project ◽  
One Step ◽  
Game Theoretic ◽  
Alternative Research ◽  
Future Work

We reply to John Duffield's critique of the Rational Design project, a special issue of International Organization that explains the features of international institutions from a game-theoretic perspective. The project was deliberately limited to the analysis of explicit and observable institutional arrangements, and focused on the specific institutional properties of centralization, membership, scope, control, and flexibility. Its empirical contribution relies on case studies, but it is significantly amplified by the tight connections provided by a common theoretical perspective that is oriented toward testing a set of specific conjectures about institutional design. The results raise further issues of measurement and cross-case comparisons that provide valuable lessons for future work on institutional design. Although all of these research design choices are worth revisiting and questioning, as Duffield does, the initial results of the Rational Design project show that it provides a good basis from which to explore alternative research design decisions.

Framework kognitive Produktionsarbeit 4.0/Framework for Cognitive Production Work 4.0 – Conceptualization and Model Approach for the Production System of the Future within the Future Work Lab

2020 ◽  
Vol 110 (03) ◽  
pp. 108-112
Author(s):  
Simon Schumacher ◽  
Bastian Pokorni
Keyword(s):  
Artificial Intelligence ◽  
Production System ◽  
Research Agenda ◽  
Reference Model ◽  
Work Organisation ◽  
Research Topics ◽  
Interdisciplinary Project ◽  
The Future ◽  
Future Work ◽  
Model Approach

Das Future Work Lab ist ein Innovationslabor für Arbeit, Mensch und Technik am Standort Stuttgart mit Fokus auf Künstlicher Intelligenz (KI) und vernetzter Arbeitsorganisation. Ein zentraler Bestandteil ist das Framework kognitive Produktionsarbeit 4.0, das als Referenzmodell für das Themenfeld Produktionsarbeit 4.0 dienen soll. Ein entsprechendes Konzept wurde in einem interdisziplinären Projektteam entwickelt. In diesem Beitrag wird das Grobmodell vorgestellt und die weitere Forschungsagenda präsentiert.   The Future Work Lab is an innovation lab for work, people and technology in Stuttgart, Germany with a focus on artificial intelligence and interconnected work organisation. A key component consists of the framework for cognitive production work 4.0, which will serve as a reference model for the research topics. A corresponding concept was developed in an interdisciplinary project team. In this article the raw model is introduced and the further research agenda is presented.

Roughness sub-layer wind speed model for tropical wooded areas

2022 ◽  
pp. 0309524X2110500
Author(s):  
Gustavo Richmond-Navarro ◽  
Mariana Montenegro-Montero ◽  
Pedro Casanova-Treto ◽  
Franklin Hernández-Castro ◽  
Jorge Monge-Fallas
Keyword(s):  
Artificial Intelligence ◽  
Wind Speed ◽  
Functional Relationship ◽  
Polynomial Function ◽  
Evolutionary Search ◽  
Search Technique ◽  
Humidity Sensors ◽  
Wind Speeds ◽  
The One ◽  
Future Work

There are few reports in the literature regarding wind speed near the ground. This work presents a model for wind speed from 4 m above the ground, based on year-round measurements in two meteorological towers. Each tower is equipped with anemometers at five heights, as well as thermometers and pressure and relative humidity sensors. The data is processed using Eureqa artificial intelligence software, which determines the functional relationship between variables using an evolutionary search technique called symbolic regression. Using this technique, models are found for each month under study, in which height and temperature are the variables that most affect wind speed. The model that best predicts the measured wind speeds is then selected. A polynomial function directly proportional to height and temperature is identified as the one that provides the best predictions of wind speed on average, within the rough sub-layer. Finally, future work is identified on testing the model at other locations.

Essential Features and Critical Issues With Educational Chatbots

2021 ◽  
pp. 246-262
Author(s):  
Jeremy Riel
Keyword(s):  
Artificial Intelligence ◽  
Machine Learning ◽  
Formal Learning ◽  
Automated Systems ◽  
Conversational Agents ◽  
Teacher Instruction ◽  
Practical Applications ◽  
Significant Potential ◽  
Critical Issues ◽  
Future Work

Conversational agents, also known as chatbots, are automated systems for engaging in two-way dialogue with human users. These systems have existed in one form or another for at least 60 years but have recently demonstrated significant potential with advances in machine learning and artificial intelligence technologies. The use of conversational agents or chatbots for education can potentially reduce costs and supplement teacher instruction in transformative ways for formal learning. This chapter examines the design and status of chatbots and conversational agents for educational purposes. Common design functions and goals of educational chatbots are described, along with current practical applications of chatbots for educational purposes. Finally, this chapter considers issues about pedagogical commitments, ethics, and equity to suggest future work in the field.

Implementation of an Immersive Videogame

2015 ◽  
Vol 6 (1) ◽  
pp. 1-20 ◽  
Author(s):  
Rubén Jesús García Hernández ◽  
Antonio Rodríguez Benítez ◽  
Juan Manuel García González ◽  
Milán Magdics ◽  
Philippe Bekaert ◽  
...  
Keyword(s):  
Artificial Intelligence ◽  
Computer Graphics ◽  
Calibration Procedure ◽  
Local History ◽  
Serious Game ◽  
Mobile Platforms ◽  
Input Devices ◽  
Future Work ◽  
Advanced Computer

Legends of Girona is a serious game which can be used to teach local history to students in the province of Girona in Spain. The game is a graphic adventure taking place in both present-day and medieval Girona. The authors describe in this paper the design of the game, including aspects related to artificial intelligence, advanced computer graphics, exergaming, mobile platforms and immersive devices. A collection of different devices is supported, including input devices such as head trackers and output devices such as cylindrical and spherical domes, immersapods, and 3D helmets. The authors provide an overview of all the stages required for the configuration of immersive devices (calibration procedure, adaptation and rendering). They also present some directions of future work.

Artificial intelligence exploitation in facility management using deep learning

2020 ◽  
Vol 20 (4) ◽  
pp. 609-624
Author(s):  
Mohamed Marzouk ◽  
Mohamed Zaher
Keyword(s):  
Artificial Intelligence ◽  
Deep Learning ◽  
Life Cycle Cost ◽  
Facility Management ◽  
Support Vector ◽  
Maintenance Costs ◽  
Content Type ◽  
Protection Systems ◽  
Future Work

Purpose This paper aims to apply a methodology that is capable to classify and localize mechanical, electrical and plumbing (MEP) elements to assist facility managers. Furthermore, it assists in decreasing the technical complexity and sophistication of different systems to the facility management (FM) team. Design/methodology/approach This research exploits artificial intelligence (AI) in FM operations through proposing a new system that uses a deep learning pre-trained model for transfer learning. The model can identify new MEP elements through image classification with a deep convolutional neural network using a support vector machine (SVM) technique under supervised learning. Also, an expert system is developed and integrated with an Android application to the proposed system to identify the required maintenance for the identified elements. FM team can reach the identified assets with bluetooth tracker devices to perform the required maintenance. Findings The proposed system aids facility managers in their tasks and decreases the maintenance costs of facilities by maintaining, upgrading, operating assets cost-effectively using the proposed system. Research limitations/implications The paper considers three fire protection systems for proactive maintenance, where other structural or architectural systems can also significantly affect the level of service and cost expensive repairs and maintenance. Also, the proposed system relies on different platforms that required to be consolidated for facility technicians and managers end-users. Therefore, the authors will consider these limitations and expand the study as a case study in future work. Originality/value This paper assists in a proactive manner to decrease the lack of knowledge of the required maintenance to MEP elements that leads to a lower life cycle cost. These MEP elements have a big share in the operation and maintenance costs of building facilities.

The Economics of Viral Outbreaks

2020 ◽  
Vol 110 ◽  
pp. 265-268 ◽  
Author(s):  
Imran Rasul
Keyword(s):  
Social Interaction ◽  
Morbidity And Mortality ◽  
Health Shocks ◽  
Economic Exchange ◽  
Economic Costs ◽  
Empirical Results ◽  
Future Work ◽  
Over Time

The frequency and complexity of viral outbreaks is increasing over time. The economic costs of outbreaks are severe; this is not only because of increased morbidity and mortality but also because viral outbreaks--representing aggregate health shocks--can severely restrict social interaction and economic exchange. Such aggregate health shocks lead to behavioral and prevalence responses along many margins. We describe some important response channels, discuss emerging empirical results on these margins from a nascent literature, and stress important avenues for future work.

Sign in / Sign up

Export Citation Format

Share Document