Propagators and Solvers for the Algebra of Modular Systems

To appear in the proceedings of LPAR 21. Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Systems is a knowledge representation framework that provides a method for formally specifying such systems in purely semantic terms. Formally, an expression of the algebra defines a class of structures. Many expressive formalism used in practice solve the model expansion task, where a structure is given on the input and an expansion of this structure in the defined class of structures is searched (this practice overcomes the common undecidability problem for expressive logics). In this paper, we construct a solver for the model expansion task for a complex modular systems from an expression in the algebra and black-box propagators or solvers for the primitive modules. To this end, we define a general notion of propagators equipped with an explanation mechanism, an extension of the alge- bra to propagators, and a lazy conflict-driven learning algorithm. The result is a framework for seamlessly combining solving technology from different domains to produce a solver for a combined system.Comment: To appear in the proceedings of LPAR 2

Cytogenetical characteristic of the introgressive common wheat lines including and lacking the 4Sl chromosome

Abstract reference: ITMI2009_00

Genetic analysis of artificial Triticinae amphidiploid Aurotica based on the glaucousness trait

Changes in plant genomes of hybrid origin which become apparent on different levels of phenotypic manifestation of genetic and epigenetic changes are an important object of cytogenetics and molecular genetics. The changes in expression of the glaucousness trait in the artificial Triticinae amphidiploid Aurotica (AABBTT) were investigated; haplotypes of plants with the appearance of glaucous and non-glaucous genes were determined by hybridization experiments. It was suppoted that the changes in expression can be explained by (epi)mutations abolishing the efficiency of dominant alleles of orthologous series of glaucous inhibitor gene Iw. Analysis of F2 population with SSR markers specific to 2B and 2D wheat chromosomes and 2T chromosome of Aegilops mutica manifested associated inheritance of the Wms 102 and Wms 702 loci, which mapped to the short arm of chromosome 2D. The Wms 702 marker was linked to the Iw2(T) gene and can now be used to detect that gene.Изменения в геноме растений гибридного проис-хождения, которые проявляются на разных фенотипических уровнях реализации генетических и эпигенетических изменений, интенсивно исследуются цитогенетикой и молекулярной генетикой. Изучали изменения экспрессии признака наличие/отсутствие воскового налета у искусственного амфидиплоида Авротика (Triticinae, AABBTT). Гибридологическим анализом установлены гаплотипы растений с контрастными фенотипами и показано, что изменение экспрессии признака связано с (эпи)мутацией, которая приводит к утрате активности доминантного аллеля ортологической серии генов Iw —ингибиторов воскового налета у пшеницевых. Микросателлитный анализ расщепляющихся популяций по SSR-локусам, специфичным для 2B и 2D хромосом пшеницы и 2T хромосомы эгилопса, показал сцепленное наследование локусов Wms 102 и Wms 702, локализованных на плече 2DS, а локус Wms 702 сцеплен с геном Iw2(T) и может быть использован для определения этого гена.Зміни у геномі рослин гібридного походження, які виявляються на різних фенотипних рівнях реалізації генетичних та епігенетичних змін, інтенсивно досліджуються цитогенетикою та молекулярною генетикою. Вивчали зміни експресії ознаки наявність/відсутність воскової осуги у штучного амфідиплоїда Авротика (Triticinae, AABBTT). Гібридологічним аналізом встановлено гаплотипи рослин з контрастними фенотипами та показано, що зміна експресії ознаки пов’язана з (епі)мутацією, яка призводить до втрати активності домінантного алеля ортологічної серії генів Iw — інгібіторів воскової осуги у пшеницевих. Мікросателітний аналіз популяций, що розщеплюються, за SSR-локусами, специфічними для 2B та 2D хромосом пшениці та 2T хромосоми егілопсу, показав зчеплене успадкування локусів Wms 102 та Wms 702, локалізованих на плечі 2DS, а локус Wms 702 зчеплений з геном Iw2(T) та може бути використаний для визначення цього гена

Genome Structure of Intro-Gressive Lines Triticum Aes-Tivum/Aegilops Sharonensis

The lines Triticum aestivum/Aegifops sharonensis were explored in regard to the presence of introgressions in the line genomes, their amount and belonging to definite homoeologic group. The results of studying of chromosome associations in M1 of PMC in the hybrids between the lines with each other and with recurrent common wheat genotype Avrora were compared with the data of the line assessmentfor the chromosomal biochemical and morphological markers. 26 lines were distinguished, between six groups with specific genome rearrangement regard to recurrent genotype

ElGolog: A High-Level Programming Language with Memory of the Execution History

Most programming languages only support tests that refer exclusively to the current state. This applies even to high-level programming languages based on the situation calculus such as Golog. The result is that additional variables/fluents/data structures must be introduced to track conditions that the pro- gram uses in tests to make decisions. In this paper, drawing inspiration from McCarthy’s Elephant 2000, we propose an extended version of Golog, called ElGolog, that supports rich tests about the execution history, where tests are expressed in a first-order variant of two-way linear dynamic logic that uses ElGolog programs with converse. We show that in spite of rich tests, ElGolog shares key features with Golog, including a sematics based on macroexpansion into situation calculus formulas, upon which regression can still be applied. We also show that like Golog, our extended language can easily be implemented in Prolog

Genetic basis of awnednessin grasses

Some representatives of grasses, such as rice, barley, oats, and wheat, have long needle-like elongations of lemma – awns. Genetic mechanisms of awns development control remain poorly understood. This article give a literature review on the awnedness control in rice, barley, and wheat. Due to these species relationship and evolutionary conservatism of developmental mechanisms, it is possible to apply principle of synteny to transfer existing data on rice and barley to a wheat. Thus, it is possible to find out the mechanisms of awns development and discovery the corresponding genes in wheat, which is important and necessary task.Такі представники злаків, як рис, ячмінь, овес і пшениця, мають довгі стрільчасті видовження леми – ості. Генетичні механізми контролю розвитку цих утворень досі залишаються мало дослідженими. У статті наведено огляд літератури щодо контролю остистості в трьох представників злаків: рису, ячменю та пшениці. Спорідненість цих видів та еволюційна консервативність механізмів розвитку дозволяє застосовувати принцип синтенії для перенесення наявних даних щодо рису і ячменю на пшеницю. Таким чином, стає можливим з’ясування механізмів розвитку остей та відкриття відповідних генів у пшениці, що є важливим і необхідним завданням для спеціальної генетики пшениці