Chemistry

published or submitted for publicatio

Measuring Uncertainty in Games: Design and Preliminary Validation

Uncertainty is an important element of game play, which is widely believed to act as a precondition for player experience (PX). To investigate the concept and examine its relation to other PX concepts, we should be able to measure it. We present the design and preliminary results of the validation of the Player Uncertainty in Games (PUG) questionnaire. Based on various sources from games user research and work done with regards to searching digital archives, we designed a questionnaire that measures the experience of uncertainty in games. The scale was refined down to 66 items via interviews with players and expert reviews, which was then validated and further refined based on data gathered from gamers in an online survey. The Principal Component Analysis showed high level of internal consistency for the scale and each of its four factors: Disorientation, Exploration, Prospect, and Randomness. This work demonstrates the initial findings towards a validated tool for measuring uncertainty of players in digital games

Justification Patterns for OWL DL Ontologies

For debugging OWL-DL ontologies, natural language explanations of inconsistencies and undesirable entailments are of great help. From such explanations, ontology developers can learn why an ontology gives rise to specific entailments. Unfortunately, commonly used tableaux-based reasoning services do not provide a basis for such explanations, since they rely on a refutation proof strategy and normalising transformations that are difficult for human ontology editors to understand. For this reason, we investigate the use of automatically generated justifications for entailments (i.e., minimal sets of axioms from the ontology that cause entailments to hold). We show that such justifications fall into a manageable number of patterns, which can be used as a basis for generating natural language explanations by associating each justification pattern with a rhetorical pattern in natural language

Controlled Natural Language Processing as Answer Set Programming: an Experiment

Most controlled natural languages (CNLs) are processed with the help of a pipeline architecture that relies on different software components. We investigate in this paper in an experimental way how well answer set programming (ASP) is suited as a unifying framework for parsing a CNL, deriving a formal representation for the resulting syntax trees, and for reasoning with that representation. We start from a list of input tokens in ASP notation and show how this input can be transformed into a syntax tree using an ASP grammar and then into reified ASP rules in form of a set of facts. These facts are then processed by an ASP meta-interpreter that allows us to infer new knowledge

Explaining Violation Traces with Finite State Natural Language Generation Models

An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user

Understanding perceived determinants of nurses’ eating and physical activity behaviour : A theory-informed qualitative interview study

We thank Eilidh Duncan and Maria Prior for help with designing the interview topic guide. We would also like to thank all the nurses who gave their time to participate in the pilot study of the interview topic guide and the qualitative interviews. The Health Services Research Unit is funded by the Chief Scientist Office of the Scottish Government Health and Social Care Directorates. The views expressed are those of the authors alone. Funding This work was funded through a Medical Research Council doctoral training award.Peer reviewedPublisher PD

Seasonal Occurrence of the Sod Webworm Moths (Lepidoptera: Crambidae) of Ohio

While nearly 100 species of sod webworms are known to occur in North America, the species complex and seasonal occurrence of these moths has been documented in relatively few states. For Ohio, there is little published record of the sod webworm species complex, and the seasonal occurrence of only a few economically important species has been documented. Using black light traps, sod web worm adult flight activity was monitored over the course of three to five years at four different locations throughout Ohio. In this paper we report the seasonal occurrence of sod web worms species captured at these locations. These data provide a historical benchmark of sod web­worm species diversity, local abundance, and seasonal occurrence in Ohio