A classification methodology for the risk of weed infestation using fuzzy logic

Despite modern weed control practices, weeds continue to be a threat to agricultural production. Considering the variability of weeds, a classification methodology for the risk of infestation in agricultural zones using fuzzy logic is proposed. The inputs for the classification are attributes extracted from estimated maps for weed seed production and weed coverage using kriging and map analysis and from the percentage of surface infested by grass weeds, in order to account for the presence of weed species with a high rate of development and proliferation. The output for the classification predicts the risk of infestation of regions of the field for the next crop. The risk classification methodology described in this paper integrates analysis techniques which may help to reduce costs and improve weed control practices. Results for the risk classification of the infestation in a maize crop field are presented. To illustrate the effectiveness of the proposed system, the risk of infestation over the entire field is checked against the yield loss map estimated by kriging and also with the average yield loss estimated from a hyperbolic model.

Dweller perception using fuzzy logic for slum upgrading

A large number of initiatives in cities in Brazil - including slum clearance and upgrading - have been undertaken over the years in an effort to ameliorate the problems arising from informal occupation; unfortunately, however, little is known about the related performance outcomes. Careful appraisal of the results of such initiatives is thus called for, covering evaluations of dwellers` perceptions of the upgraded environments. Among the available evaluation methods, post-occupancy evaluation (POE) is commonly employed, although it fails adequately to reflect prevailing subjective concepts of quality. The present paper contains the partial findings of a research exercise aimed at developing an original method, using fuzzy logic, for urban environmental quality evaluation in informally occupied areas on the basis of combining quantitative indicators and dweller perception. It combines POE with fuzzy logic in order to develop tools that can better model the uncertain information that emerges from that kind of study. This paper aims to introduce an uncertainty measure used in order to identify the strengths and weaknesses of slum upgrading projects. The results show that it is possible to quantify certainty degrees in the findings and to define if additional information is needed.

Expert system for the assessment of power transformer insulation condition based on type-2 fuzzy logic systems

An efficient expert system for the power transformer condition assessment is presented in this paper. Through the application of Duval`s triangle and the method of the gas ratios a first assessment of the transformer condition is obtained in the form of a dissolved gas analysis (DGA) diagnosis according IEC 60599. As a second step, a knowledge mining procedure is performed, by conducting surveys whose results are fed into a first Type-2 Fuzzy Logic System (T2-FLS), in order to initially evaluate the condition of the equipment taking only the results of dissolved gas analysis into account. The output of this first T2-FLS is used as the input of a second T2-FLS, which additionally weighs up the condition of the paper-oil system. The output of this last T2-FLS is given in terms of words easily understandable by the maintenance personnel. The proposed assessing methodology has been validated for several cases of transformers in service. (C) 2010 Elsevier Ltd. All rights reserved.

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.

Synthesis of Cyclic Guanidine Intermediates of Anatoxin-a(s) in Both Racemic and Enantiomerically Pure Forms

The alkyl chain of anatoxin-a(s) (cyclic guanidines), which can be used as an intermediate in the total synthesis of anatoxin-a(s), was synthesized in both racemic and enantiomerically pure forms. These enantiomerically pure cyclic compounds can be used as chiral inductors in some reactions. The two racemic routes disclosed herein have the advantages of high overall yield and mild reaction conditions. Both routes proceed through an intermediate 2,3-diaminoacid - an important synthetic scaffold - with good yields. Furthermore, the N,N-dimethyl-2(tosylimino)imidazolidine-4-carboxamide might be obtained from 2-(tosylimino)imidazolidine-4-carboxylic acid followed by selective reduction of the carbonyl functionality. All synthesized compounds were analyzed by mass spectrometry and (1)H NMR and (13)C NMR spectroscopy.

Monocyte-derived dendritic cells from patients with severe forms of chromoblastomycosis induce CD4(+) T cell activation in vitro

Dendritic cells (DCs) have been described as initiators and modulators of the immune response. Recently we have shown a predominant production of interleukin-10 cytokine, low levels of interferon-gamma and inefficient T cell proliferation in patients with severe forms of chromoblastomycosis. Chromoblastomycosis starts with subcutaneous inoculation of Fonsecaea pedrosoi into tissue where DCs are the first line of defence against this microorganism. In the present study, the interaction of F. pedrosoi and DCs obtained from patients with chromoblastomycosis was investigated. Our results showed that DCs from patients exhibited an increased expression of human leucocyte antigen D-related (HLA-DR) and co-stimulatory molecules. In the presence of conidia, the expression of HLA-DR and CD86 was up-regulated by DCs from patients and controls. Finally, we demonstrate the reversal of antigen-specific anergy and a T helper type 1 response mediated by DCs incubated with F. pedrosoi conidea.

Standing wave bed forms at Plage de la Grande Roche, le Verdelet, Pléneuf-Val-André, Cote d’Armor (France)

Coastal Photograph by Hubert Chanson This photograph of standing wave bed forms was taken at very low tide. The tidal range was 10 m. The bed forms were located on the island of Le Verdelet, in a channel between Le Grande Jaune and Le Verdelet. It is likely that these standing wave bed forms were formed during transcritical shallow water flows at the end of ebb tide. The author’s watch is in the foreground for scale. (Coastal Photograph by Hubert Chanson, Division of Civil Engineering, the University of Queensland, Brisbane, Queensland 4072, Australia.)

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.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

Cost-benefit analysis of alternative forms of hedgerow intercropping in the Philippine uplands

Considerable resources have been expended promoting hedgerow intercropping with shrub legumes to farmers in the Philippine uplands. Despite the resources committed to research and extension, persistent adoption by farmers has been limited to low cost versions of the technology including natural vegetation and grass strips. In this paper, cost-benefit analysis is used to compare the economic returns from traditional open-field maize farming with returns from intercropping maize between leguminous shrub hedgerows, natural vegetation strips and grass strips. An erosion/productivity model, Soil Changes Under Agroforestry, was used to predict the effect of erosion on maize yields. Key informant surveys with experienced maize farmers were used to derive production budgets for the alternative farming methods. The economic incentives revealed by the cost-benefit analysis help to explain the adoption of maize farming methods in the Philippine uplands. Open-field farming without hedgerows has been by far the most popular method of maize production, often with two or more fields cropped in rotation. There is little persistent adoption of hedgerow intercropping with shrub legumes because sustained maize yields are not realised rapidly enough to compensate farmers for establishment and maintenance costs. Natural vegetation and grass strips are more attractive to farmers because of lower establishment costs, and provide intermediate steps to adoption. Rural finance, commodity pricing and agrarian reform policies influence the incentives for maize farmers in the Philippine uplands to adopt and maintain hedgerow intercropping.