Apocynaceae sensun strictum from the Mucuge Municipal Park, Bahia, Brazil, including the valid publication of two names in Mandevilla Lindl.

Apocynaceae sensun strictum from the Mucuge Municipal Park, Bahia, Brazil, including the valid publication of two names in Mandevilla Lindl. The flora of Rauvolfioideae and Apocynoideae, which together form Apocynaceae s.s., from the Mucuge Municipal Park, Chapada Diamantina, State of Bahia, Brazil, is presented. Eight species and five genera were recognized. Mandevilla is the most diverse genus, With four species: M. scabra (Hoffmans. ex Roem. & Schult.) K. Schum., M. tenuifolia (J.C. Mikan) Woodson, M. bahiensis (Woodson) M.F. Sales & Kinoshita-Gouvea, and M.microphylla (Stadelm.) M.F. Sales & Kinoshita-Gouvea, the last two are a new status and a new combination, respectively, whose names are being validly published here. The four remaining genera are each represented by one species: Couma rigida Mull. Arg., Stipecoma peltigera (Stadelm.) Mull Arg,, Temnadenia violacea (Veil.) Miers, and Himatanthus bracteatus (A. DC.) Woodson. Identification key, descriptions, comments and illustrations are presented for every species.

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.