Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

Associations between near work, outdoor activity, and myopia among adolescent students in rural China: the Xichang Pediatric Refractive Error Study report no. 2.

OBJECTIVE:

To study the associations between near work, outdoor activity, and myopia among children attending secondary school in rural China.

METHODS:

Among a random cluster sample of 1892 children in Xichang, China, subjects with an uncorrected acuity of 6/12 or less in either eye (n = 984) and a 25% sample of children with normal vision (n = 248) underwent measurement of refractive error. Subjects were administered a questionnaire on parental education, time spent outdoors, and weekly time spent engaged in and preferred working distance for a variety of near-work activities.

RESULTS:

Among 1232 children with refraction data, 998 (81.0%) completed the near-work survey. Their mean age was 14.6 years (SD, 0.8 years), 55.6% were girls, and 83.1% had myopia of -0.5 diopters or less (more myopia) in both eyes. Time and diopter-hours spent on near activities did not differ between children with and without myopia. In regression models, time spent on near activities and time outdoors were unassociated with myopia, adjusting for age, sex, and parental education.

CONCLUSIONS:

These and other recent results raise some doubts about the association between near work and myopia. Additional efforts to identify other environmental factors associated with myopia risk and that may be amenable to intervention are warranted.

Designing low-emission aero-engines using adjoint methods

The aim of this work is to investigate an efficient CAD based adjoint process chain for calculating sensitivities of the objective function to the CAD parameter in time scales acceptable for industrial design processes.