Toward Automatic Verification of Multiagent Systems for Training Simulations

Abstract. Advances in multiagent systems have led to their successful applica-tion in experiential training simulations, where students learn by interacting with agents who represent people, groups, structures, etc. These multiagent simula-tions must model the training scenario so that the students ’ success is correlated with the degree to which they follow the intended pedagogy. As these simula-tions increase in size and richness, it becomes harder to guarantee that the agents accurately encode the pedagogy. Testing with human subjects provides the most accurate feedback, but it can explore only a limited subspace of simulation paths. In this paper, we present a mechanism for using human data to verify the degree to which the simulation encodes the intended pedagogy. Starting with an analysis of data from a deployed multiagent training simulation, we then present an auto-mated mechanism for using the human data to generate a distribution appropriate for sampling simulation paths. By generalizing from a small set of human data, the automated approach can systematically explore a much larger space of possi-ble training paths and verify the degree to which a multiagent training simulation adheres to its intended pedagogy

A Systematic Review of Recent Smartphone, Internet and Web 2.0 Interventions to Address the HIV Continuum of Care

eHealth, mHealth and “Web 2.0” social media strategies can effectively reach and engage key populations in HIV prevention across the testing, treatment, and care continuum. To assess how these tools are currently being used within the field of HIV prevention and care, we systematically reviewed recent (2013–2014) published literature, conference abstracts, and funded research. Our searches identified 23 published intervention studies and 32 funded projects underway. In this synthesis we describe the technology modes applied and the stages of the HIV care cascade addressed, including both primary and secondary prevention activities. Overall trends include use of new tools including social networking sites, provision of real-time assessment and feedback, gamification and virtual reality. While there has been increasing attention to use of technology to address the care continuum, gaps remain around linkage to care, retention in care, and initiation of antiretroviral therapy

Causal inference in generalizable environments: systematic representative design

Causal inference and generalizability both matter. Historically, systematic designs emphasize causal inference, while representative designs focus on generalizability. Here, we suggest a transformative synthesis – Systematic Representative Design (SRD) – concurrently enhancing both causal inference and “built-in” generalizability by leveraging today’s intelligent agent, virtual environments, and other technologies. In SRD, a “default control group” (DCG) can be created in a virtual environment by representatively sampling from real-world situations. Experimental groups can be built with systematic manipulations onto the DCG base. Applying systematic design features (e.g., random assignment to DCG versus experimental groups) in SRD affords valid causal inferences. After explicating the proposed SRD synthesis, we delineate how the approach concurrently advances generalizability and robustness, cause-effect inference and precision science, a computationally-enabled cumulative psychological science supporting both “bigger theory” and concrete implementations grappling with tough questions (e.g., what is context?) and affording rapidly-scalable interventions for real-world problems

Socially optimized learning in virtual environments (SOLVE

Abstract. Although young men who have sex with men (MSM) are at high risk for contracting HIV, few interventions address the affective/automatic factors (e.g., sexual arousal, shame/stigma) that may precipitate young MSM’s risktaking. A National Institutes of Health (NIH)-funded DVD interactive video intervention that simulated a “virtual date ” with guides/mentors reduced sexual risk over 3-months for Black, Latino and Caucasian young MSM. In the current work, limitations of the DVD format (e.g., number of different risk challenges MSM encounter; DVD quickly becomes dated) were addressed with 3-D animated intelligent agents/interactive digital storytelling using a Unity Game platform. The development (e.g., design, art, social science formative research, etc.) of this NIH funded game for changing risky behavior is described as well as the ongoing national randomized “on-line ” evaluation over 6 months

E-health interventions targeting STIs, sexual risk, substance use and mental health among men who have sex with men: four systematic reviews

Background: Human immunodeficiency virus/sexually transmitted infections, sexual risk, substance (alcohol and other legal and illegal drugs) use and mental ill health constitute a ‘syndemic’ of mutually reinforcing epidemics among men who have sex with men. Electronic health (e-health) interventions addressing these epidemics among men who have sex with men might have multiplicative effects. To our knowledge, no systematic review has examined the effectiveness of such interventions on these epidemics among men who have sex with men. Objective : The objective was to synthesise evidence addressing the following: (1) What approaches and theories of change do existing e-health interventions employ to prevent human immunodeficiency virus/sexually transmitted infections, sexual risk, alcohol/drug use or mental ill health among men who have sex with men? (2) What factors influence implementation? (3) What are the effects of such interventions on the aforementioned epidemics? (4) Are such interventions cost-effective? Data sources : A total of 24 information sources were searched initially (October–November 2018) [the following sources were searched: ProQuest Applied Social Sciences Index and Abstracts; Campbell Library; EBSCO Cumulative Index to Nursing and Allied Health Literature Plus, Wiley Online Library The Cochrane Library; Centre for Reviews and Dissemination databases (the Database of Abstracts of Reviews of Effects and the NHS Economic Evaluation Database); the Health Technology Assessment database; Evidence for Policy and Practice Information and Co-ordinating Centre (EPPI-Centre) database of health promotion research (Bibliomap); ProQuest Dissertations & Theses Global; OvidSP EconLit; OvidSP EMBASE; OvidSP Global Health; OvidSP Health Management Information Consortium; ProQuest International Bibliography of the Social Sciences; Ovid MEDLINE ALL; OvidSP PsycINFO; Web of Science Science Citation Index Expanded; Elsevier Scopus; OvidSP Social Policy & Practice; Web of Science Social Sciences Citation Index Expanded; ProQuest Sociological Abstracts; ClinicalTrials.gov; World Health Organization International Clinical Trials Registry Platform; EPPI-Centre Trials Register of Promoting Health Interventions; and the OpenGrey database], and an updated search of 19 of these was conducted in April 2020. Reference lists of included reports were searched and experts were contacted. Review methods: Eligible reports presented theories of change and/or process, outcome and/or economic evaluations of e-health interventions offering ongoing support to men who have sex with men to prevent human immunodeficiency virus/sexually transmitted infections, sexual risk behaviour, alcohol/drug use and/or common mental illnesses. References were screened by title/abstract, then by full text. Data extraction and quality assessments used existing tools. Theory and process reports were synthesised using qualitative methods. Outcome and economic data were synthesised narratively; outcome data were meta-analysed. Results: Original searches retrieved 27 eligible reports. Updated searches retrieved 10 eligible reports. Thirty-seven reports on 28 studies of 23 interventions were included: 33 on theories of change, 12 on process evaluations, 16 on outcome evaluations and one on an economic evaluation. Research question 1: five intervention types were identified – ‘online modular’, ‘computer games’ and ‘non-interactive’ time-limited/modular interventions, and open-ended interventions with ‘content organised by assessment’ and ‘general content’. Three broad types of intervention theories of change were identified, focusing on ‘cognitive/skills’, ‘self-monitoring’ and ‘cognitive therapy’. Research question 2: individual tailoring based on participant characteristics was particularly acceptable, and participants valued intervention content reflecting their experiences. Research question 3: little evidence was available of effects on human immunodeficiency virus or sexually transmitted infections. The analysis did not suggest that interventions were effective in reducing instances of human immunodeficiency virus or sexually transmitted infections. The overall meta-analysis for sexually transmitted infections reported a small non-significant increase in sexually transmitted infections in the intervention group, compared with the control group. Meta-analyses found a significant impact on sexual risk behaviour. The findings for drug use could not be meta-analysed because of study heterogeneity. Studies addressing this outcome did not present consistent evidence of effectiveness. Trials did not report effects on alcohol use or mental health. Research question 4: evidence on cost-effectiveness was limited. Limitations. The quality of the eligible reports was variable and the economic synthesis was limited to one eligible study. Conclusions: There is commonality in intervention theories of change and factors affecting receipt of e-health interventions. Evidence on effectiveness is limited. Future work: Future trials should assess the impact of interventions on multiple syndemic factors, among them sexual risk, substance use and mental health; incorporate sufficient follow-up and sample sizes to detect the impact on human immunodeficiency virus/sexually transmitted infections; and incorporate rigorous process and economic evaluations. Study registration: This study is registered as PROSPERO CRD42018110317. Funding: This project was funded by the National Institute for Health Research (NIHR) Public Health Research programme and will be published in full in Public Health Research; Vol. 10, No. 4. See the NIHR Journals Library website for further project information