Recent Trends in Maternal, Newborn, and Child Health in Brazil: Progress Toward Millennium Development Goals 4 and 5

We analyzed Brazil`s efforts in reducing child mortality, improving maternal and child health, and reducing socioeconomic and regional inequalities from 1990 through 2007. We compiled and reanalyzed data from several sources, including vital statistics and population-based surveys. We also explored the roles of broad socioeconomic and demographic changes and the introduction of health sector and other reform measures in explaining the improvements observed. Our findings provide compelling evidence that pro-active measures to reduce health disparities accompanied by socioeconomic progress can result in measurable improvements in the health of children and mothers in a relatively short interval. Our analysis of Brazil`s successes and remaining challenges to reach and surpass Millennium Development Goals 4 and 5 can provide important lessons for other low- and middle-income countries. (Am J Public Health. 2010;100:1877-1889. doi:10.2105/AJPH.2010.196816)

A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.