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.

From dakar to Brasilia: monitoring unesco´s education goals

Active participation of Brazilian civil society, coupled with the 2007 education development plan, launched by the Brazilian government provides an interesting example of the influences of the Dakar Goals. The two domestic initiatives share the same name, spirit and direction proposed in Dakar 2000. We analyse here changes in the Brazilian policies and indicators related to the Dakar Education Goals since its creation, we note: (i) an increase in enrolment over the relevant period; (ii) access to primary education was nearly universal by 2000; (iii) over-aged youth and adult students fell considerably during the period, but access did not expand; (iv) illiteracy has been falling at a rate which, if sustained, will enable us to meet the goal; (v) gender discrimination did not take place in Brazil; (vi) most pupil proficiency indicators have progressively deteriorated from what was already a low standard. In summary, quantity indicators did improve over the period while most quality indicators worsened.

Goals Software Construction Process

Generalized hyper competitiveness in the world markets has determined the need to offer better products to potential and actual clients in order to mark an advantagefrom other competitors. To ensure the production of an adequate product, enterprises need to work on the efficiency and efficacy of their business processes (BPs) by means of the construction of Interactive Information Systems (IISs, including Interactive Multimedia Documents) so that they are processed more fluidly and correctly.The construction of the correct IIS is a major task that can only be successful if the needs from every intervenient are taken into account. Their requirements must bedefined with precision, extensively analyzed and consequently the system must be accurately designed in order to minimize implementation problems so that the IIS isproduced on schedule and with the fewer mistakes as possible. The main contribution of this thesis is the proposal of Goals, a software (engineering) construction process which aims at defining the tasks to be carried out in order to develop software. This process defines the stakeholders, the artifacts, and the techniques that should be applied to achieve correctness of the IIS. Complementarily, this process suggests two methodologies to be applied in the initial phases of the lifecycle of the Software Engineering process: Process Use Cases for the phase of requirements, and; MultiGoals for the phases of analysis and design. Process Use Cases is a UML-based (Unified Modeling Language), goal-driven and use case oriented methodology for the definition of functional requirements. It uses an information oriented strategy in order to identify BPs while constructing the enterprise’s information structure, and finalizes with the identification of use cases within the design of these BPs. This approach provides a useful tool for both activities of Business Process Management and Software Engineering. MultiGoals is a UML-based, use case-driven and architectural centric methodology for the analysis and design of IISs with support for Multimedia. It proposes the analysis of user tasks as the basis of the design of the: (i) user interface; (ii) the system behaviour that is modeled by means of patterns which can combine Multimedia and standard information, and; (iii) the database and media contents. This thesis makes the theoretic presentation of these approaches accompanied with examples from a real project which provide the necessary support for the understanding of the used techniques.

Reproductive Patterns and Birth Seasonality in a South-American Breeding Colony of Common Marmosets, Callithrix jacchus

SOUSA,M.B.C. et al. Reproductive Patterns and Birth Seasonality in a South-American Breeding Colony of Common Marmosets, Callithrix jacchus. Primates, v.40, n.2, p. 327-336, Apr. 1999.

Breeding potential of maize composite Isanao VF1 in small spacing in the second growing season

The purpose of this study was to verify the breeding potential of the maize composite Isanao VF1 in the second growing season. One hundred and fifty half-sib progenies were evaluated of spacing of 0.45 m, densities of 57,778 and 80,000 plants ha(-1), in a randomized block design with three replications. Gains of 16.0 and 19.2% were estimated for grain Yield, H. I and 10.5% for prolificacy and 12.3 and 12.9% for ear height, respectively, at 57,778 and 80,000 plants ha(-1). The heritabilities for plant height, ear height and grain yield were 65.2 and 61.3%, 64.3 and 66.9% and 53.5 and 63.3%, respectively, confirming the potential for breeding at both densities. The absence of progeny by density interaction indicates that no further selection programs are necessary. The occurrence of segregation for modifier genes for height suggests stabilizing selection based on ear height.

Association of an insulin-like growth factor 1 gene microsatellite with phenotypic variation and estimated breeding values of growth traits in Canchim cattle

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Effect of crude protein levels and organic selenium supplementation in the diets fed during the breeding season on reproductive parameters of red-winged tinamous (Rhynchotus rufescens)

There is little information on the nutrition of red-winged tinamous (Rhynchotus rufescens) reared in captivity, and their nutritional requirements still need to be determined. This study aimed at determining dietary crude protein requirements and testing four organic selenium supplementation levels in the diet of red-winged tinamous during the breeding season. Birds were housed in a conventional broiler house divided in 16 boxes with one male and three females each. Iso-energy (2800kcal ME/kg) pelleted feeds, based on corn and soybean meal, were supplied in tube feeders. In the first experiment, treatments consisted of four different diets containing different crude protein (CP) contents (15, 18, 21, or 24%) and in the second experiment, the four diets contained equal protein level (22.5%) and four different organic selenium levels (0, 0.2, 0.4, or 0.8ppm). Data were analyzed by the least square method. The best egg weight and eggshell thickness were obtained with 22.5% dietary CP. Organic selenium did not influence the studied reproductive traits of red-winged tinamous (Rhynchotus rufescens) males or females.

Interaction between breeding habitat and elevation affects prevalence but not infection intensity of Batrachochytrium dendrobatidis in Brazilian anuran assemblages

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Comparison of selective genotyping strategies for prediction of breeding values in a population undergoing selection

Genomewide marker information can improve the reliability of breeding value predictions for young selection candidates in genomic selection. However, the cost of genotyping limits its use to elite animals, and how such selective genotyping affects predictive ability of genomic selection models is an open question. We performed a simulation study to evaluate the quality of breeding value predictions for selection candidates based on different selective genotyping strategies in a population undergoing selection. The genome consisted of 10 chromosomes of 100 cM each. After 5,000 generations of random mating with a population size of 100 (50 males and 50 females), generation G(0) (reference population) was produced via a full factorial mating between the 50 males and 50 females from generation 5,000. Different levels of selection intensities (animals with the largest yield deviation value) in G(0) or random sampling (no selection) were used to produce offspring of G(0) generation (G(1)). Five genotyping strategies were used to choose 500 animals in G(0) to be genotyped: 1) Random: randomly selected animals, 2) Top: animals with largest yield deviation values, 3) Bottom: animals with lowest yield deviations values, 4) Extreme: animals with the 250 largest and the 250 lowest yield deviations values, and 5) Less Related: less genetically related animals. The number of individuals in G(0) and G(1) was fixed at 2,500 each, and different levels of heritability were considered (0.10, 0.25, and 0.50). Additionally, all 5 selective genotyping strategies (Random, Top, Bottom, Extreme, and Less Related) were applied to an indicator trait in generation G(0), and the results were evaluated for the target trait in generation G(1), with the genetic correlation between the 2 traits set to 0.50. The 5 genotyping strategies applied to individuals in G(0) (reference population) were compared in terms of their ability to predict the genetic values of the animals in G(1) (selection candidates). Lower correlations between genomic-based estimates of breeding values (GEBV) and true breeding values (TBV) were obtained when using the Bottom strategy. For Random, Extreme, and Less Related strategies, the correlation between GEBV and TBV became slightly larger as selection intensity decreased and was largest when no selection occurred. These 3 strategies were better than the Top approach. In addition, the Extreme, Random, and Less Related strategies had smaller predictive mean squared errors (PMSE) followed by the Top and Bottom methods. Overall, the Extreme genotyping strategy led to the best predictive ability of breeding values, indicating that animals with extreme yield deviations values in a reference population are the most informative when training genomic selection models.

Breeding value accuracy estimates for growth traits using random regression and multi-trait models in Nelore cattle

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Prevalence of Toxoplasma gondii antibodies in ostriches (Struthio camelus) from commercial breeding facilities in the state of São Paulo, Brazil.

Toxoplasmosis is widespread zoonosis caused by Toxoplasma gondii,a protozoan that may infect mammals and birds. The aim of the present study was to assess the prevalence of T. gondii in ostriches (Struthio camelus) from commercial breeding facilities in the state of São Paulo, Brazil, in a way to increase the knowledge on the behavior and importance of the parasite in this animal species. A total of 195 serum samples were collected from ostriches from Sorocaba, Campinas, São Carlos, Aracatuba, São Paulo, Vale do Ribeira, Botucatu and sao Jose do Rio Preto, in the state of São Paulo. These samples were analyzed by means of the Modified Agglutination Test (MAT) in order to investigate the occurrence of Toxoplasmagondii antibodies. The test showed that 14.36% of the animals were seropositive to Toxoplasmagondii. Minimum titer was considered to be equal or greater than 1:16, and the greatest dilution observed was 1:16,384. No statistically significant differences were found between males and females. Seronegative animals occurred in only two regions (São Paulo and Sao Jose do Rio Preto). These results point out the importance of further studies on this infection in ostriches, and on management practices that may minimize the risk of toxoplasmosis transmission in these birds which would, in their turn, decrease the risk for the final consumer.