Incremental Recompilation of Knowledge

Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn core, respectively) was proposed by Selman and Kautz (1991, 1996) as a form of ``knowledge compilation,'' supporting rapid approximate reasoning; on the negative side, this scheme is static in that it supports no updates, and has certain complexity drawbacks pointed out by Kavvadias, Papadimitriou and Sideri (1993). On the other hand, the many frameworks and schemes proposed in the literature for theory update and revision are plagued by serious complexity-theoretic impediments, even in the Horn case, as was pointed out by Eiter and Gottlob (1992), and is further demonstrated in the present paper. More fundamentally, these schemes are not inductive, in that they may lose in a single update any positive properties of the represented sets of formulas (small size, Horn structure, etc.). In this paper we propose a new scheme, incremental recompilation, which combines Horn approximation and model-based updates; this scheme is inductive and very efficient, free of the problems facing its constituents. A set of formulas is represented by an upper and lower Horn approximation. To update, we replace the upper Horn formula by the Horn envelope of its minimum-change update, and similarly the lower one by the Horn core of its update; the key fact which enables this scheme is that Horn envelopes and cores are easy to compute when the underlying formula is the result of a minimum-change update of a Horn formula by a clause. We conjecture that efficient algorithms are possible for more complex updates.Comment: See http://www.jair.org/ for any accompanying file

The Assessment of Breeding Value of First Farrowed Sows by the Method of Selection Indices

The goal of this research paper was to assess the breeding value of first farrowed Swedish Landrace sows by the means of selection indices method. The traits on the basis of which the breeding value of animals was assessed are following: daily liveweight gain, average thickness of collected back fat measured at five sites and number of liveborn piglets in the first litter. The liveweight gain and carcass quality traits determined at the end of performance test were corrected for the body mass of 100kg by the method of basic indexes and following mean values were determined: for corrected daily liveweight gain (KZDP) 499.92g/day and for corrected average collected backfat thickness (KSL) 20.01mm. The first farrowed sows on average produced 8.09 liveborn piglets in the litter. Studying the effect of the gilts` birth year and season on KZDP and KSL it was determined that the gilts` birth year and season had no statistically significant influence (P>0.05) on KZDP variation but they had a statistically significant effect on KSL (P0.05) on BZPL, while the KZDP class and the age at first farrowing had a statistically significant effect on the variability of these trait (P<0.05; P<0.01). All studied traits varied statistically significantly (P<0.01) under the impact of the gilts` sire or dam. Heritability coefficients were: h2= 0.402 for KZDP, h2= 0.261 for KSL and h2= 0.177 for BZPL. The relation between KZDP and KSL was of a medium strength both at phenotype and genetic levels (rph=0.491; rg=0.411), while the relation of these traits with BZPL did not exist, except for the genetic relationship between KSL and KZDP which was of a medium strength (rg=0.252). Three equations for the selection indexes were constructed among which as the most optimal was chosen the one which includes all three traits (KZDP, KSL and BZPL) and whose correlation coefficent of selection index and aggregate genotype was rIAG = 0.5473

Estimation of the Variance Components of the Sow Litter Size Traits Using Reml Method - Repeatability Model

Variance components for sow litter size traits were estimated using the REML method. Number of live born piglets (NBA), number of still born piglets (NSB), number of total born piglets (NTB) and number of weaned piglets (NW) were treated as traits which repeated several times during sow lifetime - repeatability model. Results of the fertility of Swedish Landrace sows realized on three pig farms in the Republic of Serbia were presented in four data sets DS1 (farm 1), DS2 (farm 2), DS3 (farm 3) and DS23 (farms 2 and 3 together). Fixed part of the model for litter size traits at farrowing (NBA, NSB and NTB) included parity, mating season as year-month interaction, litter genotype and weaning to conception interval as class effects. The age at farrowing was modelled as a quadratic regression nested within parity, whereas preceding lactation length was included as linear regression. In case of NW the model included parity, weaning season as year-month interaction, number of piglets in litter subsequent to crossfostering and litter genotype as class effects. The age at farrowing was included into the model in the same way as in case of previous traits. Random part of the model was the same for all analysed traits and represented as effect of common environment in litter where sows had been born, permanent effect of environment in sows’ litters and direct additive genetic effect. Heritability of NBA varied between 0.050 (DS2) and 0.076 (DS3), NSB between 0.004 (DS3) and 0.027 (DS2), NTB between 0.065 (DS2) and 0.073 (DS3) and of NW between 0.010 (DS2) and 0.028 (DS1). Share of permanent environment of sow in phenotypic variance was higher than share of litter effect and mostly lower than share of direct genetic effect

Muscle transcriptome analysis reveals molecular pathways related to oxidative phosphorylation, antioxidant defense, fatness and growth in Mangalitsa and Moravka pigs

This work was aimed at evaluating loin transcriptome and metabolic pathway differences between the two main Serbian local pig breeds with divergent characteristics regarding muscle growth and fatness, as well as exploring nutrigenomic effects of tannin supplementation in Mangalitsa (MA) pigs. The study comprised 24 Mangalitsa and 10 Moravka (MO) males, which were kept under identical management conditions. Mangalitsa animals were divided in two nutritional groups (n = 12) receiving a standard (control) or tannin–supplemented diet (1.5%; MAT). Moravka pigs were fed the standard mixture. All animals were slaughtered at a similar age; 120 kg of average live weight (LW) and loin tissue was used for RNA‐seq analysis. Results showed 306 differentially expressed genes (DEGs) according to breed, enriched in genes involved in growth, lipid metabolism, protein metabolism and muscle development, such as PDK4, FABP4, MYOD1 and STAT3, as well as a relevant number of genes involved in mitochondrial respiratory activity (MT‐NDs, NDUFAs among others). Oxidative phosphorylation was the most significantly affected pathway, activated in Mangalitsa muscle, revealing the basis of a different muscle metabolism. Also, many other relevant pathways were affected by breed and involved in oxidative stress response, fat accumulation and development of skeletal muscle. Results also allowed the identification of potential regulators and causal networks such as those controlled by FLCN, PPARGC1A or PRKAB1 with relevant regulatory roles on DEGs involved in mitochondrial and lipid metabolism, or IL3 and TRAF2 potentially controlling DEGs involved in muscle development. The Tannin effect on transcriptome was small, with only 23 DEGs, but included interesting ones involved in lipid deposition such as PPARGC1B. The results indicate a significant effect of the breed on muscle tissue gene expression, affecting relevant biological pathways and allowing the identification of strong regulatory candidate genes to underlie the gene expression and phenotypic differences between the compared groups

Bluetooth Mesh under the Microscope: How much ICN is Inside?

Bluetooth (BT) mesh is a new mode of BT operation for low-energy devices that offers group-based publish-subscribe as a network service with additional caching capabilities. These features resemble concepts of information-centric networking (ICN), and the analogy to ICN has been repeatedly drawn in the BT community. In this paper, we compare BT mesh with ICN both conceptually and in real-world experiments. We contrast both architectures and their design decisions in detail. Experiments are performed on an IoT testbed using NDN/CCNx and BT mesh on constrained RIOT nodes. Our findings indicate significant differences both in concepts and in real-world performance. Supported by new insights, we identify synergies and sketch a design of a BT-ICN that benefits from both worlds

The effect of various factors on traits of performance tested gilts

Objective of this research wasto determine the effect of sire breed, genotype of the animal, farm and year on traits of performance tested gilts: age at the end of test (AET), life daily gain (LDG), fat thickenss 1 and 2 (FTL1 and FTL2) and depth of back muscle (MLD). Research included three farms during four consecutive years, and total of 4274 gilts were tested which derivied from 52 boar sires. Sires were pure breeds: Swedish landrace (SL, n=14), Large Yorkshire (LY, n=29), Pietrain (P, n=6) and Durroc (D, n=3), and their daughters belonged to following genotypes: Swedish landrace, large Yorkshire, Pietrain, Duroc, F1 crosses LY?SL, SL?LY and D?SL. It was established that sire breed, genotype of gilts and year had statistically significant (P&lt;0,01 and P&lt;0,001) effect on all traits, only the effect of the farm on depth of MLD (P&gt;0,05) wasn?t registered. Sires within the breed had no effect on depth of MLD (P&gt;0,05), where in case of sires within the Pietrain breed no effect on traits AET, FTL1 and FTL2 were observed and in case of sires within Duroc breed on AET, and for other traits the effect (P&lt;0,05 and P&lt;0,001) of sires within the breed was determined. All traits of gilts depended statistically highly significantly (P&lt;0,001) on body mass at the end of the test, except depth of back muscle.</jats:p

Variation of traits of fatteners under the impact of various factors

The aim of this study was to determine the effect of the sire breed, sire within sire breed, genotype of fatteners, gender of fatteners, gender within sire breed, season of birth of fatteners and mass of warm carcass side on the following traits: back fat thickness - middle of the back (DSL), back fat thickness - lower back (DSK), meat yield of carcass sides (JUSKG) and percentage/share of meat in carcass sides (JUSPRO). The research was conducted in the experimental slaughterhouse and laboratory of the Institute for Animal Husbandry, Belgrade-Zemun, and included females and castrated male animals. Sires of fatteners were pure breeds: Swedish Landrace (SL, n = 10), Large White (LW, n = 3) and Pietrain (P, n = 3), while the offspring belonged to the following genotypes: pure breed - Swedish Landrace (SL, n=252), and crosses of Large White ? Swedish Landrace (LW ? SL) (n=170), Pietrain ? Swedish Landrace (P ? SL) (n=13), [Pietrain ? (Large White ? Swedish Landrace)] P ? (LW ? SL) (n=35), [Swedish Landrace ? (Large White ? Swedish Landrace)] SL ? (LW ? SL) (n=33) and [Large White ? (Large White ? Swedish Landrace)] LW ? (LW ? SL) (n=33). The study included total 536 offspring of which 276 are male castrated and 260 female animals. In the winter 24 piglets were born, in the spring 95, in the summer 148 and autumn 269 piglets. It was established that the sire within sire breed Pietrain (S:P) does not affect the variation of the studied traits of fattening pigs (P&gt;0.05); sire within sire breed Swedish Landrace (S:SL) does not affect the varying of the trait JUSPRO (P&gt;0.05); season of birth within the Model 1 does not affect the traits yield and share of meat (P&gt;0.05); the offspring gender within genotype (Gender : Genotype) does not affect the variation of fat thickness at the centre of the back (P&gt;0.05). All other factors (sire breed, sire within the sire breed - Large White, gender and genotype of fattening pigs, gender within sire breed, the mass of warm carcass side, and also birth season of fattening pigs in the Model 2) included in the models showed statistically significant impact on the variability of traits of fattening pigs (P&lt;0.05; P&lt;0.01 and P&lt;0.001).</jats:p

Heritability and correlation of litter traits in pigs determined by REML method

The aim of this study was to determine the heritability coefficients and the correlation between the number of live born piglets (NBA), the number of stillborn piglets (NSB), the number of total born piglets (NTB) and the number of weaned piglets (NW) in the part of population in Swedish Landrace sows in R. Serbia. The results obtained should enable the selection of litter size traits that would be proposed to be included in the selection - breeding program for this breed. The analysis of parameters was carried out on the basis of data on fertility of 4.061 Swedish Landrace sows and their 15.209 litters realized on two pig farms in R. Serbia. There was a genetic relationship between animals among the farms. Components of variance and covariance of observed traits, the share of additive genetic variance component in the phenotypic and correlation of traits at phenotypic and genetic levels, were evaluated using the method of Restricted Maximum Likelihood (REML) using the Multitrait Model (MM). Heritability estimates for the NBA, NSB, NTB and NW amounted to 6.4, 1.6, 6.7 and 1.1%, respectively. Correlation between the NBA and NTB at the phenotypic and genetic level was complete (rP = 0986, rG = 0938). Correlation between the NBA and NW at the phenotypic level has not been established, while at the genetic level it was weak. We believe that this is the result of the procedure of equalizing of litters after farrowing. In order to obtain objective genetic parameters for NW this procedure should not be applied in pure breed sows.</jats:p

The effect of gender on properties of belly-rib part of pigs fed diet containing soybean oil

Total of 40 castrated fatteners of Swedish Landrace breed, divided into two groups based on their gender (20 pigs in each group) were used in the study to determine the effect of gender on share of tissues and chemical composition of the fat taken from the belly carcass part. All pigs were fed diet containing additive of 1.25% of soybean oil. Even though the weight of belly part was similar in animals of both genders, female animals had higher share of muscle tissue (P&lt;0.05), whereas male animals had higher share of intermuscular and total fat tissue (P&lt;0.01). Addition of soybean oil, with high share of PUFA, to pig nutrition can significantly influence the increase of unsaturated fats. Female fatteners had more extracted fat in fat tissue and higher content of PUFA, however, statistically significant difference was established only in share of SFA, which was considerably lower (P&lt;0.05) in comparison to male animals. Consequently, PUFA:SFA ratio was significantly higher in female animals (0.51) compared to male fatteners (0.39). Iodine number/value determined for fat was in the range from 63.00 in males to 64.36 in female animals without statistically significant difference. Based on obtained results it can be conlcuded that, inr egard to the nutritional quality, belly part from female fatteners may provide a balanced fatty acid intake for consumers (PUFA:SFA&gt;0.4). However, in regard to the technological quality, fat (bacon) obtained from female animals had lower sustainability, due to more rapid fat oxidation, and it was of poorer technological quality due to softer fat tissue and more difficult cutting.</jats:p