Logical Hierarchy Research Articles

Beyond Long-Range Polyrhythms: Harmonic Process in Elliott Carter’s Fourth String Quartet

In his three-decade long search for ways to restructure rhythm, Elliott Carter developed an identifiably unique and intricate rhythmic language, as manifested in his Fourth String Quartet. While much of the Carter scholarship on his works of the 1980s has focused on the rhythmic design (long-range polyrhythms), sketches show that Carter expanded his rhythmic expression without simplifying other musical elements, such as harmony, which carries equal importance as rhythm in the design of the piece. The harmonic structure is based on assigning unique intervallic restraints to each instrument that typically yield all-interval twelve-tone chords with a characteristic parallel-inversional invariance. This article illustrates Carter’s logical hierarchy in his compositional process and the meticulous detail in planning the rhythmic and harmonic framework in his least-understood string quartet.

A Hierarchy of Classical and Paraconsistent Logics

Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Oficina de Coordinacion Administrativa Parque Centenario. Instituto de Investigaciones Filosoficas. - Sociedad Argentina de Analisis Filosofico. Instituto de Investigaciones Filosoficas; Argentina. Universidad de Buenos Aires; Argentina

STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE

AbstractIn the article [2] a hierarchy of modal logics has been defined to capture the logical features of Bayesian belief revision. Elements in that hierarchy were distinguished by the cardinality of the set of elementary propositions. By linking the modal logics in the hierarchy to the modal logics of Medvedev frames it has been shown that the modal logic of Bayesian belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable. However, the infinite case remained open. In this article we prove that the modal logic of Bayesian belief revision determined by standard Borel spaces (these cover probability spaces that occur in most of the applications) is also not finitely axiomatizable.

Influential factor analysis of China's unsustainable electric power system: A case study of Chengdu Electric Bureau

Electric security is closely related to all aspects of the national macro-economy, but when it comes into considering power policies, the subject of exploring the reasons for large area power outages is often considered as a “separate subject”. This paper proposes a novel evaluation method to analyze and determine the main factors that are commonly found within unsustainable electric power system. This method integrates the fuzzy clustering method, fault tree analysis and an analytic hierarchy process. First, it builds a classification for different factors based on Faulty Tree Analysis methods. Then, the logical relationships between each factors are prioritized and determined. Once the logical hierarchies are established, the Entropy-House of Quality for quantitative analysis is employed to support big blackout prevention and decision-making for various influential factors. Finally, Sichuan province are given to verify its effectiveness so that the policy-makers and security regulators in China can follow its recommendations to create a better electricity supply security management and a more sustainable energy reform in the future.

The Modal Logic of Bayesian Belief Revision

In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest modal companion of Medvedev’s logic of finite problems it is shown that the modal logic of belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable.

A nomenclature and classification for the congenital myasthenic syndromes: preparing for FAIR data in the genomic era

BackgroundCongenital myasthenic syndromes (CMS) are a heterogeneous group of inherited neuromuscular disorders sharing the common feature of fatigable weakness due to defective neuromuscular transmission. Despite rapidly increasing knowledge about the genetic origins, specific features and potential treatments for the known CMS entities, the lack of standardized classification at the most granular level has hindered the implementation of computer-based systems for knowledge capture and reuse. Where individual clinical or genetic entities do not exist in disease coding systems, they are often invisible in clinical records and inadequately annotated in information systems, and features that apply to one disease but not another cannot be adequately differentiated.ResultsWe created a detailed classification of all CMS disease entities suitable for use in clinical and genetic databases and decision support systems. To avoid conflict with existing coding systems as well as with expert-defined group-level classifications, we developed a collaboration with the Orphanet nomenclature for rare diseases, creating a clinically understandable name for each entity and placing it within a logical hierarchy that paves the way towards computer-aided clinical systems and improved knowledge bases for CMS that can adequately differentiate between types and ascribe relevant expert knowledge to each.ConclusionsWe suggest that data science approaches can be used effectively in the clinical domain in a way that does not disrupt preexisting expert classification and that enhances the utility of existing coding systems. Our classification provides a comprehensive view of the individual CMS entities in a manner that supports differential diagnosis and understanding of the range and heterogeneity of the disease but that also enables robust computational coding and hierarchy for machine-readability. It can be extended as required in the light of future scientific advances, but already provides the starting point for the creation of FAIR (Findable, Accessible, Interoperable and Reusable) knowledge bases of data on the congenital myasthenic syndromes.

COMPLETENESS FOR COUNTER-DOXA CONDITIONALS – USING RANKING SEMANTICS

AbstractStandard conditionals $\varphi > \psi$, by which I roughly mean variably strict conditionals à la Stalnaker and Lewis, are trivially true for impossible antecedents. This article investigates three modifications in a doxastic setting. For the neutral conditional, all impossible-antecedent conditionals are false, for the doxastic conditional they are only true if the consequent is absolutely necessary, and for the metaphysical conditional only if the consequent is ‘model-implied’ by the antecedent. I motivate these conditionals logically, and also doxastically by properties of conditional belief and belief revision. For this I show that the Lewisian hierarchy of conditional logics can be reproduced within ranking semantics, provided we slightly stretch the notion of a ranking function. Given this, acceptance of a conditional can be interpreted as a conditional belief. The epistemic and the neutral conditional deviate from Lewis’ weakest system $V$, in that ID ($\varphi > \varphi$) or even CN ($\varphi > \top$) are dropped, and new axioms appear. The logic of the metaphysical conditional is completely axiomatised by $V$ to which we add the known Kripke axioms T5 for the outer modality. Related completeness results for variations of the ranking semantics are obtained as corollaries.

A framework for good biofilm reactor modeling practice (GBRMP).

A researcher or practitioner can employ a biofilm model to gain insight into what controls the performance of a biofilm process and for optimizing its performance. While a wide range of biofilm-modeling platforms is available, a good strategy is to choose the simplest model that includes sufficient components and processes to address the modeling goal. In most cases, a one-dimensional biofilm model provides the best balance, and good choices can range from hand-calculation analytical solutions, simple spreadsheets, and numerical-method platforms. What is missing today is clear guidance on how to apply a biofilm model to obtain accurate and meaningful results. Here, we present a five-step framework for good biofilm reactor modeling practice (GBRMP). The first four steps are (1) obtain information on the biofilm reactor system, (2) characterize the influent, (3) choose the plant and biofilm model, and (4) define the conversion processes. Each step demands that the model user understands the important components and processes in the system, one of the main benefits of doing biofilm modeling. The fifth step is to calibrate and validate the model: System-specific model parameters are adjusted within reasonable ranges so that model outputs match actual system performance. Calibration is not a simple 'by the numbers' process, and it requires that the modeler follows a logical hierarchy of steps. Calibration requires that the adjusted parameters remain within realistic ranges and that the calibration process be carried out in an iterative manner. Once each of steps 1 through 5 is completed satisfactorily, the calibrated model can be used for its intended purpose, such as optimizing performance, trouble-shooting poor performance, or gaining deeper understanding of what controls process performance.

Cretaceous coastal lagoon facies: Geochemical insights into multi-stage diagenesis and palaeoclimatic signals

Shallow-water Cretaceous, carbonate platform archives have only rarely been explored through their elemental signature. Yet, facies-sensitive geochemical records can shed light onto the specific dynamics of shallow/proximal settings, where changes in depositional conditions are pronounced. Changes stemming from early and later diagenetic processes must be considered, since they may alter the original geochemical signals, but still contribute to a better understanding of the evolution of ancient shallow carbonates.Here, the elemental record of a variety of carbonate materials from two middle Cenomanian coastal lagoon settings is examined. The two selected sections (Lousa and Lampas, W Portugal) provide a varied record of lithofacies, including matrix micrite, corresponding to diverse palaeoenvironments (marine, marine lagoon, restricted lagoon and subaerial exposed intervals), along with dolomitized beds and atypical darkened grey carbonate horizons. Sparry carbonate veinlets that intersect these materials are included for comparison. Based on the characteristic elemental composition of each carbonate material, and by means of a stepwise statistical approach, dolomitization was determined to be a rather early feature occurring exclusively along shallow to frequently exposed intervals. In contrast, carbonate veinlets were identified as the latest diagenetic event. Matrix micrite and darkened beds present the lowest degree of geochemical differentiation, though certain key elemental contrasts allow for their comparison. Accordingly, the atypical case of darkened beds was attributed to an early blackening process in which low contents of organic matter and non-carbonate mineral phases played a decisive role. Matrix micrite samples—presenting a rather narrow range of elemental fluctuations—were linked to previously identified palaeoenvironmental settings by means of stratigraphically constrained cluster analysis. Specific combinations of elemental trends identified for each established cluster reflect variations in palaeoclimatic regimes throughout the studied interval. Furthermore, the degree of connectivity between open waters and coastal lagoons emerged as predictive of the distribution of major and trace elements in ancient shallow carbonates.This study explores the depositional and diagenetic controls forcing elemental distribution across dynamic shallow carbonate settings, as is the case of coastal lagoons. Complex and atypical elemental fingerprints, established by means of statistical analysis, provide arguments to reconstruct the evolution of the examined carbonate materials. Our findings are highly pertinent, as they: (i) provide a rich dataset not only regarding Lusitanian Basin deposits, but also for coeval settings where basin evolution and diagenesis are pivotal; (ii) underline the insight to be gained from time series analyses of raw elemental data collected from carbonate facies; and (iii) place a suite of numerical analyses within a logical hierarchy for stratigraphic facies analysis, fully supported by independent data.

Using Fault Trees to Advance Understanding of Diagnostic Errors

Diagnostic errors annually affect at least 5% of adults in the outpatient setting in the United States. Formal analytic techniques are only infrequently used to understand them, in part because of the complexity of diagnostic processes and clinical work flows involved. In this article, diagnostic errors were modeled using fault tree analysis (FTA), a form of root cause analysis that has been successfully used in other high-complexity, high-risk contexts. How factors contributing to diagnostic errors can be systematically modeled by FTA to inform error understanding and error prevention is demonstrated. A team of three experts reviewed 10 published cases of diagnostic error and constructed fault trees. The fault trees were modeled according to currently available conceptual frameworks characterizing diagnostic error. The 10 trees were then synthesized into a single fault tree to identify common contributing factors and pathways leading to diagnostic error. FTA is a visual, structured, deductive approach that depicts the temporal sequence of events and their interactions in a formal logical hierarchy. The visual FTA enables easier understanding of causative processes and cognitive and system factors, as well as rapid identification of common pathways and interactions in a unified fashion. In addition, it enables calculation of empirical estimates for causative pathways. Thus, fault trees might provide a useful framework for both quantitative and qualitative analysis of diagnostic errors. Future directions include establishing validity and reliability by modeling a wider range of error cases, conducting quantitative evaluations, and undertaking deeper exploration of other FTA capabilities.

Energy Optimization of Routing Protocols in Wireless Sensor Networks

The hierarchical routing of data in WSNs is a specific class of routing protocols it encompasses solutions that take a restructuring of the physical network in a logical hierarchy system for the optimization of the consum-ption of energy. Several hierarchical routing solutions proposed, namely: the protocol LEACH (Low Energy Adaptive Clustering Hierarchy) consist of dividing the network in distributed clusters at one pop in order of faster data delivery and PEGASIS protocol (Power-Efficient Gathering in Sensor Information Systems) which uses the principle of constructing a chain’s sensor node. Our contribution consists of a hierarchical routing protocol, which is the minimization of the energy consumption by reducing the transmission distance of data and reducing the data delivery time. Our solution combines the two hierarchical routing approaches: chain based approach and the cluster based approach. Our approach allows for multi-hop communications, intra- and intercluster, and a collaborative aggregation of data in each Cluster, and a collaborative aggregation of data at each sensor node<strong>.</strong>

Trade in Services and Development: The Case of Perception in Chile

Trade in services and its positive relation with countries’ development has been a consideration in the design of public policies. In particular, since the return of democracy, it has been pointed out by Chilean authorities the intention to improve services exports to add value and diversify its basket. Since the first decade of the 2000 the State has implemented a series of programs and strategies directed to achieve these objectives. However, the matrix remains anchored in natural resources, particularly copper. Although trade in services has increased, it has not done so as expected. In order to understand the reasons why public policies intend to promote the service sector have failed achieving their objective, this work has interviewed experts from the public, private and academic sector, international organizations and NGOs to collect their perception on policies to promote services exports implemented in the period 1990 – 2014. For a better understanding of the results, three overlapping levels are distinguished, in a logical hierarchy from greater to lesser extent: Level I: Considerations on economic doctrines and corporate cultures. Level II: Considerations on the specificity of service industry and economic considerations. Level III: Considerations on specific policies and instruments. Some conclusions and recommendations are presented at the end.

StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data.

Real-time decision making in emerging IoT applications typically relies on computing quantitative summaries of large data streams in an efficient and incremental manner. To simplify the task of programming the desired logic, we propose StreamQRE, which provides natural and high-level constructs for processing streaming data. Our language has a novel integration of linguistic constructs from two distinct programming paradigms: streaming extensions of relational query languages and quantitative extensions of regular expressions. The former allows the programmer to employ relational constructs to partition the input data by keys and to integrate data streams from different sources, while the latter can be used to exploit the logical hierarchy in the input stream for modular specifications. We first present the core language with a small set of combinators, formal semantics, and a decidable type system. We then show how to express a number of common patterns with illustrative examples. Our compilation algorithm translates the high-level query into a streaming algorithm with precise complexity bounds on per-item processing time and total memory footprint. We also show how to integrate approximation algorithms into our framework. We report on an implementation in Java, and evaluate it with respect to existing high-performance engines for processing streaming data. Our experimental evaluation shows that (1) StreamQRE allows more natural and succinct specification of queries compared to existing frameworks, (2) the throughput of our implementation is higher than comparable systems (for example, two-to-four times greater than RxJava), and (3) the approximation algorithms supported by our implementation can lead to substantial memory savings.

Hvad er betydning?

In the same way as Descartes defined body and soul, linguistic expression and meaning can be defined as extensive and divisible and as inextensive and indivisible respectively. Linguistic meaning is analysed in a model containing 1) the situation or scene of communication, 2) the physical utterance act, 3) the inextensive thought which is what the utterance counts as, and 4) the situation that the thought is a representation of. The thought is inextensive in time and space, but organized in a logical hierarchy of conceptual meaning included in propositional meaning, included in informational meaning, included in interactional meaning. Such a model of linguistic meaning makes it possible to make a functional analysis of, among other things, the overwhelming amount of monosemiation of the almost always polysemic lexemes of language.

Evaluating the performance of the Montreal Cognitive Assessment in early stage Parkinson's disease

IntroductionMild cognitive impairment is common in Parkinson's disease, even in the early stages, and can be a risk for developing dementia. To properly track development and progression of cognitive impairment, reliable measurement tools are necessary. The Montreal Cognitive Assessment is currently used as a global cognitive screening tool and has been recommended as an abbreviated diagnostic tool to measure mild cognitive impairment in the context of global cognitive function. However psychometric properties of the Montreal Cognitive Assessment in PD have not been assessed in this context. MethodsData were obtained from the Parkinson's Progression Markers Initiative (n = 395). We examine psychometric properties of the Montreal Cognitive Assessment among newly diagnosed Parkinson's disease patients using Rasch analysis. ResultsOnly one item misfit the measurement model and principle component analysis indicated the Montreal Cognitive Assessment was unidimensional. Distribution of items calibrations formed a logical hierarchy from least to most challenging. Test items were markedly off-target (i.e., too easy) for this sample; this was also reflected in low person separation reliability. While 37% of participants performed all items correctly indicating a large ceiling effect, 22% of participants obtained a raw score in the range of 21–25 indicating mild cognitive impairment. No meaningful differential item functioning was detected. ConclusionResults suggest that in the context of early stage Parkinson's disease, the Montreal Cognitive Assessment is a unidimensional measure of global cognitive function. Implications for the use of the Montreal Cognitive Assessment in early stage Parkinson's disease and potential improvements to the assessment are discussed.

Propositional team logics

We consider team semantics for propositional logic, continuing [34]. In team semantics the truth of a propositional formula is considered in a set of valuations, called a team, rather than in an individual valuation. This offers the possibility to give meaning to concepts such as dependence, independence and inclusion. We associate with every formula ϕ based on finitely many propositional variables the set 〚ϕ〛 of teams that satisfy ϕ. We define a maximal propositional team logic in which every set of teams is definable as 〚ϕ〛 for suitable ϕ. This requires going beyond the logical operations of classical propositional logic. We exhibit a hierarchy of logics between the smallest, viz. classical propositional logic, and the maximal propositional team logic. We characterize these different logics in several ways: first syntactically by their logical operations, and then semantically by the kind of sets of teams they are capable of defining. In several important cases we are able to find complete axiomatizations for these logics.

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

In this article we investigate infinitary propositional logics from the perspective of their completeness properties in abstract algebraic logic. It is well-known that every finitary logic is complete with respect to its relatively (finitely) subdirectly irreducible models. We identify two syntactical notions formulated in terms of (completely) intersection-prime theories that follow from finitarity and are sufficient conditions for the aforementioned completeness properties. We construct all the necessary counterexamples to show that all these properties define pairwise different classes of logics. Consequently, we obtain a new hierarchy of logics going beyond the scope of finitarity.

Reconfigurable fault tolerant routing for networks-on-chip with logical hierarchy

This paper presents a reconfigurable fault tolerant routing for Networks-on-Chip organized into hierarchical units. In case of link faults or failure of switches, the proposed approach enables the online adaptation of routing locally within each unit while deadlock freedom is globally ensured in the network. Experimental results of our approach for a 16 × 16 network show a speedup by a factor of almost four for routing reconfiguration compared to the state-of-the-art approach. Evaluation with transient faults shows that a dedicated reconfiguration unit enables successful reconfiguration of routing tables even in case of high error probabilities.

Single-Event Multiple-Transient Characterization and Mitigation via Alternative Standard Cell Placement Methods

As fabrication technology scales towards smaller transistor sizes and lower critical charge, single-event radiation effects are more likely to cause errant behavior in multiple, physically adjacent devices in modern integrated circuits (ICs), and with higher operating frequencies, this risk increasingly impacts design logic over memory as well. In order to increase future system reliability, circuit designers need greater awareness of multiple-transient charge-sharing effects during the early stages of their design flow with standard cell placement and routing. To measure the propagation and observability of multiple transients from single radiation events, this work uses several intra-pipeline combinational logic circuits at the 32nm technology node, investigates several different standard cell placements of each design, and analyzes those placements with a novel, physically realistic transient injection and simulation method. It is shown that (1) this simulation methodology, informed by experimental data, provides an increased realism over other works in traditional fault injection fields, (2) different placements of the same circuit where standard cells are grouped by logical hierarchy can result in different reliability behavior and benefits especially useful within the area of approximate computing, and (3) improved reliability through charge-sharing transient mitigation can be gained with no area penalty and minimal speed and power penalties by adjusting the placement of standard cells.

The development and application of e-Geoscience in China

In the era of big data, scientific research is entering a key stage of scientific development under the guidance of a new paradigm, "e-Science", and the core characteristics of which are collaboration and sharing. In the past decade, e-Science has rapidly developed around the world. There are now e-Science strategic plans, projects and extensive research activities on the national and international scales that encompass particle physics, astronomy, earth science, ecology, marine science, medicine, life sciences and other disciplines. However, there is no uniform and clear understanding of the essence, characteristics, infrastructure and application of e-Geoscience. This paper first discusses and analyzes the development of e-Science in a global context and then explores its development in China. Next, the development of e-Geoscience is discussed, particularly regarding the details of its design and implementation in China, including a conceptual model, a mode of application, a logical hierarchy, and functional and technical systems. Finally, the paper introduces a typical application, called the Northeast Asia Joint Scientific Exploration and Cooperative Research Platform (NAJSECRP), which is operating in research institutions in China, Russia and Mongolia. This platform can not only provide geodata and bibliographies and promote resource sharing but also provides a collaborative research platform for scientific exploration. In practice, this platform has been shown to save costs and improve the efficiency of transnational, interdisciplinary scientific exploration and cooperative research.