scholarly journals A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction

2021 ◽  
pp. 1-17
Author(s):  
ANGELOS CHARALAMBIDIS ◽  
PANOS RONDOGIANNIS ◽  
ANTONIS TROUMPOUKIS
Keyword(s):  
Classical Logic ◽  
Logic Programs ◽  
Natural Class ◽  
New Approach ◽  
Open Issue ◽  
Truth Value ◽  
Novel Model ◽  
Selection Of

Abstract Logic programs with ordered disjunction (LPODs) extend classical logic programs with the capability of expressing alternatives with decreasing degrees of preference in the heads of program rules. Despite the fact that the operational meaning of ordered disjunction is clear, there exists an important open issue regarding its semantics. In particular, there does not exist a purely model-theoretic approach for determining the most preferred models of an LPOD. At present, the selection of the most preferred models is performed using a technique that is not based exclusively on the models of the program and in certain cases produces counterintuitive results. We provide a novel, model-theoretic semantics for LPODs, which uses an additional truth value in order to identify the most preferred models of a program. We demonstrate that the proposed approach overcomes the shortcomings of the traditional semantics of LPODs. Moreover, the new approach can be used to define the semantics of a natural class of logic programs that can have both ordered and classical disjunctions in the heads of clauses. This allows programs that can express not only strict levels of preferences but also alternatives that are equally preferred.

scholarly journals Use of multi-locus sequencing typing as identification method for the food-borne pathogen Listeria monocytogenes: a review

2015 ◽  
Vol 5 (1) ◽  
Author(s):  
Sonia Lamon ◽  
Domenico Meloni ◽  
Simonetta Gianna Consolati ◽  
Anna Mureddu ◽  
Rina Mazzette
Keyword(s):  
Listeria Monocytogenes ◽  
Detection Methods ◽  
Causative Organism ◽  
Intracellular Pathogen ◽  
Bacterial Strains ◽  
New Approach ◽  
Food Borne ◽  
Global Epidemiology ◽  
Selection Of

<em>Listeria monocytogenes</em> is an ubiquitous, intracellular pathogen which has been implicated within the past decade as the causative organism in several outbreaks of foodborne diseases. In this review, a new approach to molecular typing primarily designed for global epidemiology has been described: multi-<em>locus</em> sequencing typing (MLST). This approach is novel, in that it uses data that allow the unambiguous characterization of bacterial strains via the Internet. Our aim is to present the currently available selection of references on <em>L. monocytogenes</em> MLST detection methods and to discuss its use as <em>gold</em> <em>standard</em> to <em>L. monocytogenes</em> subtyping method.

scholarly journals A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There

2011 ◽  
Vol 11 (2-3) ◽  
pp. 171-202 ◽  
Author(s):  
MICHAEL FINK
Keyword(s):  
General Framework ◽  
Answer Set Programming ◽  
Program Optimization ◽  
Logic Programs ◽  
Infinite Domains ◽  
General Semantics ◽  
Answer Set Semantics ◽  
Selection Of ◽  
Answer Set

AbstractDifferent notions of equivalence, such as the prominent notions of strong and uniform equivalence, have been studied in Answer-Set Programming, mainly for the purpose of identifying programs that can serve as substitutes without altering the semantics, for instance in program optimization. Such semantic comparisons are usually characterized by various selections of models in the logic of Here-and-There (HT). For uniform equivalence however, correct characterizations in terms of HT-models can only be obtained for finite theories, respectively programs. In this paper, we show that a selection of countermodels in HT captures uniform equivalence also for infinite theories. This result is turned into coherent characterizations of the different notions of equivalence by countermodels, as well as by a mixture of HT-models and countermodels (so-called equivalence interpretations). Moreover, we generalize the so-called notion of relativized hyperequivalence for programs to propositional theories, and apply the same methodology in order to obtain a semantic characterization which is amenable to infinite settings. This allows for a lifting of the results to first-order theories under a very general semantics given in terms of a quantified version of HT. We thus obtain a general framework for the study of various notions of equivalence for theories under answer-set semantics. Moreover, we prove an expedient property that allows for a simplified treatment of extended signatures, and provide further results for non-ground logic programs. In particular, uniform equivalence coincides under open and ordinary answer-set semantics, and for finite non-ground programs under these semantics, also the usual characterization of uniform equivalence in terms of maximal and total HT-models of the grounding is correct, even for infinite domains, when corresponding ground programs are infinite.

scholarly journals Contextual restrictions on cumulativity

2022 ◽  
Vol 31 ◽  
pp. 283
Author(s):  
Nina Haslinger
Keyword(s):  
Context Dependency ◽  
Natural Class ◽  
Truth Value ◽  
Plural Predication ◽  
Special Composition ◽  
Selection Of

This paper revisits the semantic variability of sentences with simple plural (in)definites in English and German, which permit distributive, cumulative and paired-cover construals. I argue that this variability reflects context-dependency rather than LF ambiguity (Schwarzschild 1996) and that the selection of a particular construal in context is driven by the QUD in the same way as the choice between maximal and non-maximal construals of plural definites (Malamud 2012; Križ 2015; Križ & Spector 2020). I then develop a new semantics for plural predication on which non-distributive and non-maximal construals form a natural class. The system extends the idea that non-maximality involves truth-value gaps (e.g. Križ 2015) to non-distributive construals by making use of Schmitt’s (2019) ‘plural projection’ framework, in which plural sentences involve special composition rules.

scholarly journals A Semantic Characterization ASP Base Revision

2019 ◽  
Vol 66 ◽  
pp. 989-1029
Author(s):  
Laurent Garcia ◽  
Claire Lefèvre ◽  
Igor Stéphan ◽  
Odile Papini ◽  
Éric Würbel
Keyword(s):  
Classical Logic ◽  
Answer Set Programming ◽  
Semantic Content ◽  
Logic Programs ◽  
Rule Based ◽  
Complexity Results ◽  
Base Revision ◽  
Answer Sets ◽  
Answer Set

The paper deals with base revision for Answer Set Programming (ASP). Base revision in classical logic is done by the removal of formulas. Exploiting the non-monotonicity of ASP allows one to propose other revision strategies, namely addition strategy or removal and/or addition strategy. These strategies allow one to define families of rule-based revision operators. The paper presents a semantic characterization of these families of revision operators in terms of answer sets. This semantic characterization allows for equivalently considering the evolution of syntactic logic programs and the evolution of their semantic content. It then studies the logical properties of the proposed operators and gives complexity results.  

scholarly journals Novel tensorial Thixo-Visco-Plastic framework for rheological characterization of human blood

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
André Pincot ◽  
Matthew Armstrong
Keyword(s):  
Human Blood ◽  
Large Amplitude ◽  
Oscillatory Shear ◽  
Large Amplitude Oscillatory Shear ◽  
Rheological Characterization ◽  
Plastic Properties ◽  
New Approach ◽  
Oscillatory Shear Flow ◽  
Novel Model

AbstractCharacterizing human blood, a complex material with a spectrum of thixo-elasto-visco-plastic properties, through the development of more effective and efficient models has achieved special interest of late. This effort details the development a new approach, the tensorial-enhanced-Thixo-Visco-Plastic model (t-e-TVP), which integrates elements from the proven Bingham and generalized Maxwell systems to create a more robust framework and subsequently cast into a tensorial format. Here, the elastic and viscoelastic stress contributions from the microstructure are superimposed upon the viscoelastic backbone solution for stress offered by the modified TVP frame. The utility of this novel model is tested against the contemporary tensorial-ethixo-mHAWB (t-ethixo-mHAWB) framework, a similar model with a greater number of parameters, using rheological data of human blood collected on an ARESG2 strain-controlled rheometer. The blood samples are parametrically and statistically analyzed, entailing the comparison of the t-e-TVP and t-ethixo-mHAWB models with their capacity to accurately predict small and large amplitude oscillatory shear as well as unidirectional large amplitude oscillatory shear flow in blood.

Applications of Transmission Electron Microscopy in the Characterization of Metal Machinability

1968 ◽  
Vol 26 ◽  
pp. 442-443 ◽  
Author(s):  
L.E. Murr ◽  
A.B. Draper
Keyword(s):  
Electron Microscopy ◽  
State Physics ◽  
Test Material ◽  
Milling Machine ◽  
Rotary Table ◽  
Solid State Physics ◽  
Materials Properties ◽  
Transmission Electron ◽  
Selection Of

The industrial characterization of the machinability of metals and alloys has always been a very arbitrarily defined property, subject to the selection of various reference or test materials; and the adoption of rather naive and misleading interpretations and standards. However, it seems reasonable to assume that with the present state of knowledge of materials properties, and the current theories of solid state physics, more basic guidelines for machinability characterization might be established on the basis of the residual machined microstructures. This approach was originally pursued by Draper; and our presentation here will simply reflect an exposition and extension of this research.The technique consists initially in the production of machined chips of a desired test material on a horizontal milling machine with the workpiece (specimen) mounted on a rotary table vice. A single cut of a specified depth is taken from the workpiece (0.25 in. wide) each at a new tool location.

Caracterização da Peneira Média em Clones de Coffea canephora

REVISTA FIMCA ◽  
2018 ◽  
Vol 5 (2) ◽  
pp. 28-31
Author(s):  
Darlan Darlan Sanches Barbosa Alves ◽  
Victor Mouzinho Spinelli ◽  
Marcos Santana Moraes ◽  
Carolina Augusto De Souza ◽  
Rodrigo da Silva Ribeiro ◽  
...  
Keyword(s):  
Genetic Improvement ◽  
Block Design ◽  
Coffea Canephora ◽  
Coffee Production ◽  
Randomized Block Design ◽  
Significant Difference ◽  
The Mean ◽  
Four Blocks ◽  
Selection Of

Introdução: O estado de Rondônia se destaca como tradicional produtor de café, sendo o segundo maior produtor brasileiro de C. canephora. No melhoramento genético de C. canephora, a seleção de plantas de elevada peneira média está associada à bebida de qualidade superior. Objetivos: O objetivo desse estudo foi avaliar a variabilidade genética de clones de C. canephora para o tamanho dos grãos, mensurado a partir da avaliação da peneira média (PM). Materiais e Métodos: Para isso, foi conduzido ao longo de dois anos agrícolas experimento no campo experimental da Embrapa no município de Ouro Preto do Oeste-RO, para a avaliação da peneira média de 130 genótipos (clones) com características das variedades botânicas Conilon, Robusta e híbridos intervarietais. O delineamento experimental utilizado foi de blocos ao acaso, com quatro repetições de quatro plantas por parcela. Resultados: Não houve resultados significativos para a interação clones X anos, indicando uma maior consistência no comportamento das plantas ao longo do tempo. Porém foram observadas diferenças significativas para o tamanho dos grãos entre os genótipos avaliados, possibilitando selecionar genótipos superiores. Conclusão: Os genótipos agruparam-se em cinco classes de acordo com o teste de média, subsidiando a caracterização de um gradiente de variabilidade da característica avaliada ABSTRACTIntroduction: Coffea canephora accounts for approximately 35% of the world's coffee production. The state of Rondônia stands out as a traditional coffee producer, being the second largest Brazilian producer of C. canephora. In the classical genetic improvement of C. anephora, the selection of plants of high average sieve is associated with a drink of superior quality. Objectives: The objective of this udy was to evaluate the genetic variability of Coffea canephora clones for the agronomic medium sieve (PM). Materials and Methods: The experiment was conducted in the experimental field of Embrapa, municipality of OuroPreto do Oeste-RO, located at coordinates 10º44'53 "S and 62º12'57". One hundred thirty genotypes (clones) of botanical characteristics Conilon, Robusta and intervarietal hybrids were evaluated in the agricultural years 2013-2014 and 2014-2015. The experimental design was a randomized block design with four blocks and four plants per plot, spacing 3.5 x 1.5 meters between plants. Results: Significant difference was found for the grain size. According to the F test, at 5% probability, the genotypes were grouped into five classes according to the mean test. Conclusion: The results obtained subsidized the characterization of a variability gradient of the evaluated trait.

Elaboration and Characterization of the Properties of Refractory Cr Base Alloys

2010 ◽  
Vol 72 ◽  
pp. 46-52 ◽  
Author(s):  
Laurent Royer ◽  
Stéphane Mathieu ◽  
Christophe Liebaut ◽  
Pierre Steinmetz
Keyword(s):  
Mechanical Properties ◽  
Melting Point ◽  
Molten Glass ◽  
Energy Production ◽  
Creep Properties ◽  
Refractory Alloys ◽  
Industrial Use ◽  
Kinetics Of ◽  
Selection Of

For energy production and also for the glass industry, finding new refractory alloys which could permit to increase the process temperatures to 1200°C or more is a permanent challenge. Chromium base alloys can be good candidates, considering the melting point of Cr itself, and also its low corrosion rate in molten glass. Two families of alloys have been studied for this purpose, Cr-Mo-W and Cr-Ta-X alloys (X= Mo, Si..). A finer selection of compositions has been done, to optimize their chemical and mechanical properties. Kinetics of HT oxidation by air, of corrosion by molten glass and also creep properties of several alloys have been measured up to 1250°C. The results obtained with the best alloys (Cr-Ta base) give positive indications as regards the possibility of their industrial use.

scholarly journals Organelle Genetics in Plants

2021 ◽  
Vol 22 (4) ◽  
pp. 2104
Author(s):  
Pedro Robles ◽  
Víctor Quesada
Keyword(s):  
Rna Editing ◽  
Posttranscriptional Regulation ◽  
Genome Engineering ◽  
Plant Mitochondria ◽  
Plastid Dna ◽  
Chloroplast Genomes ◽  
Wide Range ◽  
Organelle Genetics ◽  
Selection Of

Eleven published articles (4 reviews, 7 research papers) are collected in the Special Issue entitled “Organelle Genetics in Plants.” This selection of papers covers a wide range of topics related to chloroplasts and plant mitochondria research: (i) organellar gene expression (OGE) and, more specifically, chloroplast RNA editing in soybean, mitochondria RNA editing, and intron splicing in soybean during nodulation, as well as the study of the roles of transcriptional and posttranscriptional regulation of OGE in plant adaptation to environmental stress; (ii) analysis of the nuclear integrants of mitochondrial DNA (NUMTs) or plastid DNA (NUPTs); (iii) sequencing and characterization of mitochondrial and chloroplast genomes; (iv) recent advances in plastid genome engineering. Here we summarize the main findings of these works, which represent the latest research on the genetics, genomics, and biotechnology of chloroplasts and mitochondria.

Sign in / Sign up

Export Citation Format

Share Document