The Complexity of Reasoning for Fragments of Default Logic

Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as \SigmaPtwo-complete, and the complexity of the credulous and skeptical reasoning problem as SigmaP2-complete, resp. PiP2-complete. Additionally, he investigated restrictions on the default rules, i.e., semi-normal default rules. Selman made in 1992 a similar approach with disjunction-free and unary default rules. In this paper we systematically restrict the set of allowed propositional connectives. We give a complete complexity classification for all sets of Boolean functions in the meaning of Post's lattice for all three common decision problems for propositional default logic. We show that the complexity is a hexachotomy (SigmaP2-, DeltaP2-, NP-, P-, NL-complete, trivial) for the extension existence problem, while for the credulous and skeptical reasoning problem we obtain similar classifications without trivial cases.Comment: Corrected versio

Resistance to wheat rusts identified in wheat/Amblyopyrum muticum chromosome introgressions

© 2020 The Authors. Crop Science © 2020 Crop Science Society of America Wheat (Triticum aestivum L.) rusts are a worldwide production problem. Plant breeders have used genetic resistance to combat these fungi. However, single-gene resistance is rapidly overcome as a result of frequent occurrence of new virulent fungal strains. Thus, a supply of new resistance sources is continually needed, and new resistance sources are limited within hexaploid wheat genetic stocks. Wild relatives are able to be a resource for new resistance genes but are hindered because of chromosome incapability with domesticated wheats. Twenty-eight double-haploid hexaploid wheat/Amblyopyrum muticum (Boiss.) Eig introgression lines, with introgressions covering the majority of the T genome, were evaluated for resistance to Puccinia triticina Erikss., P. graminis Pers.:Pers. f.sp. tritici Erikss. & E. Henning, and P. striiformis Westend. f.sp. tritici Erikss. At the seedling level, four lines were resistant to races of P. triticina, six lines were resistant to P. graminis, and 15 lines were resistant to P. striiformis. At the adult stage, 16 lines were resistant to P. triticina. Line 355 had resistance to all three rusts and line 161 had resistance to all tested races of P. triticina. Some of these lines will require further work to reduce the size of the introgressed segment; however, lines 92 and 355 have very small fragments and can be used directly as new resistance donors

Late Little Ice Age palaeoenvironmental records from the Anzali and Amirkola Lagoons (south Caspian Sea): Vegetation and sea level changes

This is a postprint version of the article. The official published article can be found from the link below - Copyright @ 2011 Elsevier Ltd.Two internationally important Ramsar lagoons on the south coast of the Caspian Sea (CS) have been studied by palynology on short sediment cores for palaeoenvironmental and palaeoclimatic investigations. The sites lie within a small area of very high precipitation in a region that is otherwise dry. Vegetation surveys and geomorphological investigations have been used to provide a background to a multidisciplinary interpretation of the two sequences covering the last four centuries. In the small lagoon of Amirkola, the dense alder forested wetland has been briefly disturbed by fire, followed by the expansion of rice paddies from AD1720 to 1800. On the contrary, the terrestrial vegetation reflecting the diversity of the Hyrcanian vegetation around the lagoon of Anzali remained fairly complacent over time. The dinocyst and non-pollen palynomorph assemblages, revealing changes that have occurred in water salinity and water levels, indicate a high stand during the late Little Ice Age (LIA), from AD < 1620 to 1800–1830. In Amirkola, the lagoon spit remained intact over time, whereas in Anzali it broke into barrier islands during the late LIA, which merged into a spit during the subsequent sea level drop. A high population density and infrastructure prevented renewed breaking up of the spit when sea level reached its maximum (AD1995). Similar to other sites in the region around the southern CS, these two lagoonal investigations indicate that the LIA had a higher sea level as a result of more rainfall in the drainage basin of the CS.The coring and the sedimentological analyses were funded by the Iranian National Institute for Oceanography in the framework of a research project entitled “Investigation of the Holocene sediment along the Iranian coast of Caspian Sea: central Guilan”. The radiocarbon date of core HCGL02 was funded by V. Andrieu (Europôle Méditerranéen de l'Arbois, France) and that of core HCGA04 by Brunel University

Modeling resilience and sustainability in ancient agricultural systems

The reasons why people adopt unsustainable agricultural practices, and the ultimate environmental implications of those practices, remain incompletely understood in the present world. Archaeology, however, offers unique datasets on coincident cultural and ecological change, and their social and environmental effects. This article applies concepts derived from ecological resilience thinking to assess the sustainability of agricultural practices as a result of long-term interactions between political, economic, and environmental systems. Using the urban center of Gordion, in central Turkey, as a case study, it is possible to identify mismatched social and ecological processes on temporal, spatial, and organizational scales, which help to resolve thresholds of resilience. Results of this analysis implicate temporal and spatial mismatches as a cause for local environmental degradation, and increasing extralocal economic pressures as an ultimate cause for the adoption of unsustainable land-use practices. This analysis suggests that a research approach that integrates environmental archaeology with a resilience perspective has considerable potential for explicating regional patterns of agricultural change and environmental degradation in the past

Can we identify non-stationary dynamics of trial-to-trial variability?"

Identifying sources of the apparent variability in non-stationary scenarios is a fundamental problem in many biological data analysis settings. For instance, neurophysiological responses to the same task often vary from each repetition of the same experiment (trial) to the next. The origin and functional role of this observed variability is one of the fundamental questions in neuroscience. The nature of such trial-to-trial dynamics however remains largely elusive to current data analysis approaches. A range of strategies have been proposed in modalities such as electro-encephalography but gaining a fundamental insight into latent sources of trial-to-trial variability in neural recordings is still a major challenge. In this paper, we present a proof-of-concept study to the analysis of trial-to-trial variability dynamics founded on non-autonomous dynamical systems. At this initial stage, we evaluate the capacity of a simple statistic based on the behaviour of trajectories in classification settings, the trajectory coherence, in order to identify trial-to-trial dynamics. First, we derive the conditions leading to observable changes in datasets generated by a compact dynamical system (the Duffing equation). This canonical system plays the role of a ubiquitous model of non-stationary supervised classification problems. Second, we estimate the coherence of class-trajectories in empirically reconstructed space of system states. We show how this analysis can discern variations attributable to non-autonomous deterministic processes from stochastic fluctuations. The analyses are benchmarked using simulated and two different real datasets which have been shown to exhibit attractor dynamics. As an illustrative example, we focused on the analysis of the rat's frontal cortex ensemble dynamics during a decision-making task. Results suggest that, in line with recent hypotheses, rather than internal noise, it is the deterministic trend which most likely underlies the observed trial-to-trial variability. Thus, the empirical tool developed within this study potentially allows us to infer the source of variability in in-vivo neural recordings

Still armed after domestication? Impacts of domestication and agronomic selection on silicon defences in cereals

Plant phenotypes reflect trade‐offs between competing resource‐intensive physiological processes. A shift in resource allocation, away from anti‐herbivore defences and towards growth and reproduction, is predicted through plant domestication, such that crops are faster growing and higher yielding than their wild ancestors. These changes are hypothesized to have come at the cost of defence investment, leaving crops “disarmed by domestication”. Silicon is the principal anti‐herbivore defence in grasses, including many of our most important staple cereal crops, but the impact of domestication on silicon‐based defences is unknown. We measured the effects of both domestication and modern agronomic selection on growth rate and a suite of anti‐herbivore defences, specifically leaf toughness, silicon and phenolic concentrations. Our comparison of wild, landrace and modern cultivated cereals spanned multiple cereal species, including wheat, barley and maize, sampling eight independent domestication events and five examples of modern agronomic selection. Leaf silicon concentration showed a small, but significant, 10% reduction through domestication, but there was no effect of modern agronomic selection, and phenolic concentration was not affected by either factor. Silicon concentration correlated positively with leaf tensile strength, but negatively with foliar phenolic concentrations, suggesting a trade‐off between chemical and physical defences. Size‐standardized growth rate was independent of domestication status, and did not trade‐off with silicon or phenolic defences. However, modelling showed that relative growth rate slowed more with increasing size in plants with higher silicon levels, so that they reached a smaller final size, implying a cost of silicon‐based defence. We found the opposite pattern for phenolic‐based defence, with increasing phenolic concentrations associated with a greater plant size at maturity, and faster maximum relative growth rates. Silicon‐based defences have been reduced in cereals through domestication, consistent with our predicted costs of these defences to growth. However, modern agronomic selection has not influenced silicon defences in cereal crops and the small decrease in silicon concentration associated with domestication is unlikely to have a major effect on the ability of cereals to withstand a range of abiotic and biotic stresses. These findings have broad implications for crop protection and our understanding of plant trade‐offs

Genetic structure and differentiation in cultivated fig (Ficus carica L.)

One hundred ninety-four germplasm accessions of fig representing the four fig types, Common, Smyrna, San Pedro, and Caprifig were analyzed for genetic diversity, structure, and differentiation using genetic polymorphism at 15 microsatellite loci. The collection showed considerable polymorphism with observed number of alleles per locus ranging from four for five different loci, MFC4, LMFC14, LMFC22, LMFC31 and LMFC35 to nine for LMFC30 with an average of 4.9 alleles per locus. Seven of the 15 loci included in the genetic structure analyses exhibited significant deviation from panmixia, of which two showed excess and five showed deficiency of heterozygote. The cluster analysis (CA) revealed ten groups with 32 instances of synonymy among cultivars and groups differed significantly for frequency and composition of alleles for different loci. The principal components analysis (PCA) confirmed the results of CA with some groups more differentiated than the others. Further, the model based Bayesian approach clustering suggested a subtle population structure with mixed ancestry for most figs. The gene diversity analysis indicated that much of the total variation is found within groups (HG/HT = 0.853; 85.3%) and the among groups within total component (GGT = 0.147) accounted for the remaining 14.7%, of which ~64% accounted for among groups within clusters (GGC = 0.094) and ~36% among clusters (GCT = 0.053). The analysis of molecular variance (AMOVA) showed approximately similar results with nearly 87% of variation within groups and ~10% among groups within clusters, and ~3% among clusters. Overall, the gene pool of cultivated fig analyzed possesses substantial genetic polymorphism but exhibits narrow differentiation. It is evident that fig accessions from Turkmenistan are somewhat genetically different from the rest of the Mediterranean and the Caucasus figs. The long history of domestication and cultivation with widespread dispersal of cultivars with many synonyms has resulted in a great deal of confusion in the identification and classification of cultivars in fig

Distribution and Extinction of Ungulates during the Holocene of the Southern Levant

BACKGROUND: The southern Levant (Israel, Palestinian Authority and Jordan) has been continuously and extensively populated by succeeding phases of human cultures for the past 15,000 years. The long human impact on the ancient landscape has had great ecological consequences, and has caused continuous and accelerating damage to the natural environment. The rich zooarchaeological data gathered at the area provide a unique opportunity to reconstruct spatial and temporal changes in wild species distribution, and correlate them with human demographic changes. METHODOLOGY: Zoo-archaeological data (382 animal bone assemblages from 190 archaeological sites) from various time periods, habitats and landscapes were compared. The bone assemblages were sorted into 12 major cultural periods. Distribution maps showing the presence of each ungulate species were established for each period. CONCLUSIONS: The first major ungulate extinction occurred during the local Iron Age (1,200-586 BCE), a period characterized by significant human population growth. During that time the last of the largest wild ungulates, the hartebeest (Alcelaphus buselaphus), aurochs (Bos primigenius) and the hippopotamus (Hippopotamus amphibius) became extinct, followed by a shrinking distribution of forest-dwelling cervids. A second major wave of extinction occurred only in the 19th and 20th centuries CE. Furthermore, a negative relationship was found between the average body mass of ungulate species that became extinct during the Holocene and their extinction date. It is thus very likely that the intensified human activity through habitat destruction and uncontrolled hunting were responsible for the two major waves of ungulate extinction in the southern Levant during the late Holocene