Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.

Probabilistic logic with independence

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks. (c) 2007 Elsevier Inc. All rights reserved.

Spatial-temporal variation in coiled and straight morphotypes of Cylindrospermopsis raciborskii (Wolsz) Seenayya et Subba Raju (Cyanobacteria)

(Spatial-temporal variation in coiled and straight morphotypes of Cylindrospermopsis raciborskii (Wolsz) Seenayya et Subba Raju (Cyanobacteria)). This study reports the spatial and temporal behavior of straight and coiled morphotypes of C. raciborskii in a reservoir in Brazil`s semiarid region as well as the main factors responsible for the variability. Two set of samples were collected from the subsurface and bottom in the central region of a reservoir in two seasonal periods (dry January 2005; rainy June 2005) over 20-hour sampling periods during daylight (8 am, 12 pm and 4 pm) and dark (8 pm, 12 am and 4 am) hours. Measurements of abiotic parameters were determined concurrently to the sampling of biotic variables. Two C. raciborskii morphotypes were found in the reservoir: straight and coiled. There was no difference in density of the straight and coiled C. raciborskii morphotypes between the different sampling times for either season. Vertical differences were found in the distribution of both morphotypes in both seasons, with greater densities recorded at the subsurface. Densities of the two C. raciborskii morphotypes were greater in the dry season, with the density of the coiled morphotype at the surface two-fold greater than that of the straight morphotype and that found in the rainy season. The ecological success of the coiled morphotype was due to thermal stratification, whereas a mixed condition was determinant in the success of the straight morphotype.

Spatial genetic structure of Hymenaea stigonocarpa Mart. ex Hayne assessed with chloroplast microsatellite markers

The use of chloroplast DNA markers (cpDNA) helps to elucidate questions related to ecology, evolution and genetic structure. The knowledge of inter-and intra-population genetic structure allows to design effective conservation and management strategies for tropical tree species. With the aim to help the conservation of Hymenaea stigonocarpa of the Cerrado (Brazilian savanna) in Sao Paulo State, an analysis of the spatial genetic structure (SGS) was conducted in two populations using five universal chloroplast microsatellite loci (cpSSR). The population of 68 trees of H. stigonocarpa in the Ecological Station of Itirapina (ESI) had a single haplotype, indicating a strong founder effect. In turn, the population of 47 trees of H. stigonocarpa in a contiguous area that includes the Ecological Station of Assis and the Assis State Forest (ESA), showed six haplotypes ((n) over cap (h) = 6) with a moderate haplotype diversity ((h) over cap = 0667 + 0094), revealing that it was founded by a small number of maternal lineages. The SGS analysis for the population ESA/ASF, using Moran`s I index, indicated limited seed dispersal. Considering SGS, for ex situ conservation strategies in the population ESA/ASF, seed harvesting should require a minimum distance of 750 m among seed-trees.

Optimized harvest scheduling in eucalyptus plantations under operational, spatial and climatic constraints

The representation of sustainability concerns in industrial forests management plans, in relation to environmental, social and economic aspects, involve a great amount of details when analyzing and understanding the interaction among these aspects to reduce possible future impacts. At the tactical and operational planning levels, methods based on generic assumptions usually provide non-realistic solutions, impairing the decision making process. This study is aimed at improving current operational harvesting planning techniques, through the development of a mixed integer goal programming model. This allows the evaluation of different scenarios, subject to environmental and supply constraints, increase of operational capacity, and the spatial consequences of dispatching harvest crews to certain distances over the evaluation period. As a result, a set of performance indicators was selected to evaluate all optimal solutions provided to different possible scenarios and combinations of these scenarios, and to compare these outcomes with the real results observed by the mill in the study case area. Results showed that it is possible to elaborate a linear programming model that adequately represents harvesting limitations, production aspects and environmental and supply constraints. The comparison involving the evaluated scenarios and the real observed results showed the advantage of using more holistic approaches and that it is possible to improve the quality of the planning recommendations using linear programming techniques.

Compatibility of Neoseiulus paspalivorus and Proctolaelaps bickleyi, candidate biocontrol agents of the coconut mite Aceria guerreronis: spatial niche use and intraguild predation

The eriophyid mite Aceria guerreronis occurs in most coconut growing regions of the world and causes enormous damage to coconut fruits. The concealed environment of the fruit perianth under which the mite resides renders its control extremely difficult. Recent studies suggest that biological control could mitigate the problems caused by this pest. Neoseiulus paspalivorus and Proctolaelaps bickleyi are two of the most frequently found predatory mites associated with A. guerreronis on coconut fruits. Regarding biological control, the former has an advantage in invading the tight areas under the coconut fruit perianth while the latter is more voracious on the pest mites and has a higher reproductive capacity. Based on the idea of the combined use/release of both predators on coconut fruits, we studied their compatibility in spatial niche use and intraguild predation (IGP). Spatial niche use on coconut fruits was examined on artificial arenas mimicking the area under the coconut fruit perianth and the open fruit surface. Both N. paspalivorus and P. bickleyi preferentially resided and oviposited inside the tight artificial chamber. Oviposition rate of P. bickleyi and residence time of N. paspalivorus inside the chamber were reduced in the presence of a conspecific female. Residence of N. paspalivorus inside the chamber was also influenced by the presence of P. bickleyi. Both N. paspalivorus and P. bickleyi preyed upon each other with relatively moderate IGP rates of adult females on larvae but neither species yielded nutritional benefits from IGP in terms of adult survival and oviposition. We discuss the relevance of our findings for a hypothetic combined use of both predators in biological control of A. guerreronis.

Spatial pattern of black spot incidence within citrus trees related to disease severity and pathogen dispersal

Guignardia citricarpa, the causal agent of citrus black spot, forms airborne ascospores on decomposing citrus leaves and water-spread conidia on fruits, leaves and twigs. The spatial pattern of diseased fruit in citrus tree canopies was used to assess the importance of ascospores and conidia in citrus black spot epidemics in Sao Paulo State, Brazil. The aggregation of diseased fruit in the citrus tree canopy was quantified by the binomial dispersion index (D) and the binary form of Taylor`s Power Law for 303 trees in six groves. D was significantly greater than 1 in 251 trees. The intercept of the regression line of Taylor`s Power Law was significantly greater than 0 and the slope was not different from 1, implying that diseased fruit was aggregated in the canopy independent of disease incidence. Disease incidence (p) and severity (S) were assessed in 2875 citrus trees. The incidence-severity relationship was described (R-2 = 88.7%) by the model ln(S) = ln(a) + bCLL(p) where CLL = complementary log-log transformation. The high severity at low incidence observed in many cases is also indicative of low distance spread of G. citricarpa spores. For the same level of disease incidence, some trees had most of the diseased fruit with many lesions and high disease severity, whereas other trees had most of the fruit with few lesions and low disease severity. Aggregation of diseased fruit in the trees suggests that splash-dispersed conidia have an important role in increasing the disease in citrus trees in Brazil.

Spatial Modeling of a Soil Fertility Index using Visible-Near-Infrared Spectra and Terrain Attributes

Our objective was to develop a methodology to predict soil fertility using visible near-infrared (vis-NIR) diffuse reflectance spectra and terrain attributes derived from a digital elevation model (DEM). Specifically, our aims were to: (i) assemble a minimum data set to develop a soil fertility index for sugarcane (Sarcharum officinarum L.) (SFI-SC) for biofuel production in tropical soils; (ii) construct a model to predict the SFI-SC using soil vis-NIR spectra and terrain attributes; and (iii) produce a soil fertility map for our study area and assess it by comparing it with a green vegetation index (GVI). The study area was 185 ha located in sao Paulo State, Brazil. In total, 184 soil samples were collected and analyzed for a range of soil chemical and physical properties. Their vis-NIR spectra were collected from 400 to 2500 nm. The Shuttle Radar Topographic Mission 3-arcsec (90-m resolution) DEM of the area was used to derive 17 terrain attributes. A minimum data set of soil properties was selected to develop the SFI-SC. The SFI-SC consisted of three classes: Class 1, the highly fertile soils; Class 2, the fertile soils; and Class 3, the least fertile soils. It was derived heuristically with conditionals and using expert knowledge. The index was modeled with the spectra and terrain data using cross-validated decision trees. The cross-validation of the model correctly predicted Class 1 in 75% of cases, Class 2 in 61%, and Class 3 in 65%. A fertility map was derived for the study area and compared with a map of the GVI. Our approach offers a methodology that incorporates expert knowledge to derive the SFI-SC and uses a versatile spectro-spatial methodology that may be implemented for rapid and accurate determination of soil fertility and better exploration of areas suitable for production.

Spatial patterns of soil attributes and components in a mangrove system in Southeast Brazil (Sao Paulo)

Purpose Among environmental factors governing innumerous processes that are active in estuarine environments, those of edaphic character have received special attention in recent studies. With the objectives of determining the spatial patterns of soil attributes and components across different mangrove forest landscapes and obtaining additional information on the cause-effect relationships between these variables and position within the estuary, we analyzed several soil attributes in 31 mangrove soil profiles from the state of So Paulo (Guaruja, Brazil). Materials and methods Soil samples were collected at low tide along two transects within the CrumahA(0) mangrove forest. Samples were analyzed to determine pH, Eh, salinity, and the percentages of sand, silt, clay, total organic carbon (TOC), and total S. Mineralogy of the clay fraction (< 2 mm) was also studied by X-ray diffraction analysis, and partitioning of solid-phase Fe was performed by sequential extraction. Results and discussion The results obtained indicate important differences in soil composition at different depths and landscape positions, causing variations in physicochemical parameters, clay mineralogy, TOC contents, and iron geochemistry. The results also indicate that physicochemical conditions may vary in terms of different local microtopographies. Soil salinity was determined by relative position in relation to flood tide and transition areas with highlands. The proportions of TOC and total S are conditioned by the sedimentation of organic matter derived from vegetation and by the prevailing redox conditions, which clearly favored intense sulfate reduction in the soils (similar to 80% of the total Fe is Fe-pyrite). Particle-size distribution is conditioned by erosive/deposition processes (present and past) and probably by the positioning of ancient and reworked sandy ridges. The existing physicochemical conditions appear to contribute to the synthesis (smectite) and transformation (kaolinite) of clay minerals. Conclusions The results demonstrate that the position of soils in the estuary greatly affects soil attributes. Differences occur even at small scales (meters), indicating that both edaphic (soil classification, soil mineralogy, and soil genesis) and environmental (contamination and carbon stock) studies should take such variability into account.

Spatial heterogeneity of leaf wetness duration in apple trees and its influence on performance of a warning system for sooty blotch and flyspeck

To determine the effect of sensor placement on the performance of a disease-warning system for sooty blotch and flyspeck (SBFS), we measured leaf wetness duration (LWD) at 12 canopy positions in apple trees, then simulated operation of the disease-warning system using LWD measurements from different parts of the canopy. LWD sensors were placed in four trees within one Iowa orchard during two growing seasons, and in one tree in each of four orchards during a single growing season. The LWD measurements revealed substantial heterogeneity among sensor locations. In all data sets, the upper, eastern portion of the canopy had the longest mean daily LWD, and was the first site to form dew and the last to dry. The lower, western portion of the canopy averaged about 3 It less LWD per day than the top of the canopy, and was the last zone where dew formed and the first to dry off. On about 25% of nights when dew occurred in the top of the canopy, no dew formed in the lower, western canopy. Intracanopy variability of LWD was more pronounced when dew was the sole source of wetness than on days when rainfall occurred. Daily LWD in the upper, eastern portion of the canopy was slightly less than reference measurements made at a 0.7-m height over turfgrass located near the orchard. When LWD measurements from several canopy positions were input to the SBFS warning system, timing of occurrence of a fungicide-spray threshold varied by as much as 30 days among canopy positions. Under Iowa conditions, placement of an LWD sensor at an unobstructed site over turfgrass was a fairly accurate surrogate for the wettest part of the canopy. Therefore, such an extra-canopy LWD sensor might be substituted for a within-canopy sensor to enhance operational reliability of the SBFS warning system.

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.