scholarly journals Concepts as Modalities in Description Logics

10.29007/9cxg ◽  
2019 ◽  
Author(s):  
Lukas Grätz
Keyword(s):  
Modal Logic ◽  
Description Logics ◽  
Kripke Semantics ◽  
Kripke Structure ◽  
Modal Operators ◽  
Colloquial Language ◽  
Future Work ◽  
The Relationship

Motivated by the colloquial language term of a “glass gummy bear”, an additional type of concept composition for description logics is suggested. This composition type is then axiomatically formalized and called concept generalization. Consistency of the formalization is checked. By proving axiom K and Go ̈del rule, it is shown that this logic is in fact a multi-modal logic. Concepts could be both modal operators and predicate symbols. A Kripke semantics is presented (the adequacy is future work). In this semantics, the TBox axioms hold for any view, assertions in the ABox hold for the natural view (a selected world in the Kripke structure) only. The relationship to other formalisms is outlined. Further examples are discussed at the end.

scholarly journals Recursive enumerability and elementary frame definability in predicate modal logic

2019 ◽  
Vol 30 (2) ◽  
pp. 549-560 ◽  
Author(s):  
Mikhail Rybakov ◽  
Dmitry Shkatov
Keyword(s):  
Modal Logic ◽  
Modal Logics ◽  
The Other ◽  
Kripke Semantics ◽  
First Order ◽  
Elementary Class ◽  
Recursive Enumerability ◽  
Kripke Frames ◽  
Recursively Enumerable ◽  
The Relationship

Abstract We investigate the relationship between recursive enumerability and elementary frame definability in first-order predicate modal logic. On one hand, it is well known that every first-order predicate modal logic complete with respect to an elementary class of Kripke frames, i.e. a class of frames definable by a classical first-order formula, is recursively enumerable. On the other, numerous examples are known of predicate modal logics, based on ‘natural’ propositional modal logics with essentially second-order Kripke semantics, that are either not recursively enumerable or Kripke incomplete. This raises the question of whether every Kripke complete, recursively enumerable predicate modal logic can be characterized by an elementary class of Kripke frames. We answer this question in the negative, by constructing a normal predicate modal logic which is Kripke complete, recursively enumerable, but not complete with respect to an elementary class of frames. We also present an example of a normal predicate modal logic that is recursively enumerable, Kripke complete, and not complete with respect to an elementary class of rooted frames, but is complete with respect to an elementary class of frames that are not rooted.

Generalized Update Semantics

Mind ◽  
2019 ◽  
Vol 128 (511) ◽  
pp. 795-835
Author(s):  
Simon Goldstein
Keyword(s):  
Modal Logic ◽  
Dynamic Semantics ◽  
Epistemic Modals ◽  
Kripke Semantics ◽  
Dynamic Update ◽  
Update Semantics ◽  
Construction Procedure ◽  
Special Cases ◽  
Truth Conditional ◽  
The Relationship

Abstract This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics for modals into a dynamic semantics for modals with similar properties.

Modal operators and functional completeness, II

1977 ◽  
Vol 42 (3) ◽  
pp. 391-399 ◽  
Author(s):  
S. K. Thomason
Keyword(s):  
Modal Logic ◽  
Possible Worlds ◽  
Kripke Semantics ◽  
Functional Completeness ◽  
Possible World ◽  
States Of Affairs ◽  
Propositional Modal Logic ◽  
Modal Operators ◽  
Fixed Frame ◽  
State Of Affairs

In the Kripke semantics for propositional modal logic, a frame W = (W, ≺) represents a set of “possible worlds” and a relation of “accessibility” between possible worlds. With respect to a fixed frame W, a proposition is represented by a subset of W (regarded as the set of worlds in which the proposition is true), and an n-ary connective (i.e. a way of forming a new proposition from an ordered n-tuple of given propositions) is represented by a function fw: (P(W))n → P(W). Finally a state of affairs (i.e. a consistent specification whether or not each proposition obtains) is represented by an ultrafilter over W. {To avoid possible confusion, the reader should forget that some people prefer the term “states of affairs” for our “possible worlds”.}In a broader sense, an n-ary connective is represented by an n-ary operatorf = {fw∣ W ∈ Fr}, where Fr is the class of all frames and each fw: (P(W))n → P(W). A connective is modal if it corresponds to a formula of propositional modal logic. A connective C is coherent if whether C(P1,…, Pn) is true in a possible world depends only upon which modal combinations of P1,…,Pn are true in that world. (A modal combination of P1,…,Pn is the result of applying a modal connective to P1,…, Pn.) A connective C is strongly coherent if whether C(P1, …, Pn) obtains in a state of affairs depends only upon which modal combinations of P1,…, Pn obtain in that state of affairs.

Identifying Physico-Chemical Laws from the Robotically Collected Data

2019 ◽  
Author(s):  
Liwei Cao ◽  
Danilo Russo ◽  
Vassilios S. Vassiliadis ◽  
Alexei Lapkin
Keyword(s):  
Experimental Data ◽  
Numerical Models ◽  
Predictor Variable ◽  
Physical Models ◽  
Training Data ◽  
Mixed Integer ◽  
Physico Chemical ◽  
Data Points ◽  
Future Work ◽  
The Relationship

<p>A mixed-integer nonlinear programming (MINLP) formulation for symbolic regression was proposed to identify physical models from noisy experimental data. The formulation was tested using numerical models and was found to be more efficient than the previous literature example with respect to the number of predictor variables and training data points. The globally optimal search was extended to identify physical models and to cope with noise in the experimental data predictor variable. The methodology was coupled with the collection of experimental data in an automated fashion, and was proven to be successful in identifying the correct physical models describing the relationship between the shear stress and shear rate for both Newtonian and non-Newtonian fluids, and simple kinetic laws of reactions. Future work will focus on addressing the limitations of the formulation presented in this work, by extending it to be able to address larger complex physical models.</p><p><br></p>

Adolescent Language: Models, Assessment, and Links to Reading

2019 ◽  
Author(s):  
Amanda Goodwin ◽  
Yaacov Petscher ◽  
Jamie Tock
Keyword(s):  
Reading Comprehension ◽  
Bifactor Model ◽  
Language Models ◽  
Multiple Group ◽  
Global Factor ◽  
Eighth Grade Students ◽  
Key Aspects ◽  
Future Work ◽  
The Relationship ◽  
Best Fit

Various models have highlighted the complexity of language. Building on foundational ideas regarding three key aspects of language, our study contributes to the literature by 1) exploring broader conceptions of morphology, vocabulary, and syntax, 2) operationalizing this theoretical model into a gamified, standardized, computer-adaptive assessment of language for fifth to eighth grade students entitled Monster, PI, and 3) uncovering further evidence regarding the relationship between language and standardized reading comprehension via this assessment. Multiple-group item response theory (IRT) across grades show that morphology was best fit by a bifactor model of task specific factors along with a global factor related to each skill. Vocabulary was best fit by a bifactor model that identifies performance overall and on specific words. Syntax, though, was best fit by a unidimensional model. Next, Monster, PI produced reliable scores suggesting language can be assessed efficiently and precisely for students via this model. Lastly, performance on Monster, PI explained more than 50% of variance in standardized reading, suggesting operationalizing language via Monster, PI can provide meaningful understandings of the relationship between language and reading comprehension. Specifically, considering just a subset of a construct, like identification of units of meaning, explained significantly less variance in reading comprehension. This highlights the importance of considering these broader constructs. Implications indicate that future work should consider a model of language where component areas are considered broadly and contributions to reading comprehension are explored via general performance on components as well as skill level performance.

Potential Role of Inflammation in Associations between Particulate Matter and Heart Failure

2018 ◽  
Vol 24 (3) ◽  
pp. 341-358 ◽  
Author(s):  
Xiaotong Ji ◽  
Yingying Zhang ◽  
Guangke Li ◽  
Nan Sang
Keyword(s):  
Heart Failure ◽  
Particulate Matter ◽  
Inflammatory Response ◽  
Heart Diseases ◽  
Experimental Studies ◽  
Epidemiological Studies ◽  
Inflammatory Mechanism ◽  
High Concentrations ◽  
Future Work ◽  
The Relationship

Recently, numerous studies have found that particulate matter (PM) exposure is correlated with increased hospitalization and mortality from heart failure (HF). In addition to problems with circulation, HF patients often display high expression of cytokines in the failing heart. Thus, as a recurring heart problem, HF is thought to be a disorder characterized in part by the inflammatory response. In this review, we intend to discuss the relationship between PM exposure and HF that is based on inflammatory mechanism and to provide a comprehensive, updated evaluation of the related studies. Epidemiological studies on PM-induced heart diseases are focused on high concentrations of PM, high pollutant load exposure in winter, or susceptible groups with heart diseases, etc. Furthermore, it appears that the relationship between fine or ultrafine PM and HF is stronger than that between HF and coarse PM. However, fewer studies paid attention to PM components. As for experimental studies, it is worth noting that coarse PM may indirectly promote the inflammatory response in the heart through systematic circulation of cytokines produced primarily in the lungs, while ultrafine PM and its components can enter circulation and further induce inflammation directly in the heart. In terms of PM exposure and enhanced inflammation during the pathogenesis of HF, this article reviews the following mechanisms: hemodynamics, oxidative stress, Toll-like receptors (TLRs) and epigenetic regulation. However, many problems are still unsolved, and future work will be needed to clarify the complex biologic mechanisms and to identify the specific components of PM responsible for adverse effects on heart health.

scholarly journals More on Modal Aspects of Default Logic1

1992 ◽  
Vol 17 (1-2) ◽  
pp. 99-116
Author(s):  
V. Wiktor Marek ◽  
Miroslaw Truszczynski
Keyword(s):  
Modal Logic ◽  
Default Logic ◽  
Nonmonotonic Logic ◽  
Default Reasoning ◽  
Default Theory ◽  
Autoepistemic Logic ◽  
The Relationship ◽  
Natural Classes ◽  
Weak Extension

Investigations of default logic have been so far mostly concerned with the notion of an extension of a default theory. It turns out, however, that default logic is much richer. Namely, there are other natural classes of objects that might be associated with default reasoning. We study two such classes of objects with emphasis on their relations with modal nonmonotonic formalisms. First, we introduce the concept of a weak extension and study its properties. It has long been suspected that there are close connections between default and autoepistemic logics. The notion of weak extension allows us to precisely describe the relationship between these two formalisms. In particular, we show that default logic with weak extensions is essentially equivalent to autoepistemic logic, that is, nonmonotonic logic KD45. In the paper we also study the notion of a set of formulas closed under a default theory. These objects are shown to correspond to stable theories and to modal logic S5. In particular, we show that skeptical reasoning with sets closed under default theories is closely related with provability in S5. As an application of our results we determine the complexity of reasoning with weak extensions and sets closed under default theories.

scholarly journals Formula size games for modal logic and μ-calculus

2019 ◽  
Vol 29 (8) ◽  
pp. 1311-1344 ◽  
Author(s):  
Lauri T Hella ◽  
Miikka S Vilander
Keyword(s):  
Modal Logic ◽  
Optimal Strategy ◽  
Order Logic ◽  
First Order Logic ◽  
Kripke Models ◽  
First Order ◽  
Modal Operators ◽  
Crucial Difference ◽  
Definition Of ◽  
Person Game

Abstract We propose a new version of formula size game for modal logic. The game characterizes the equivalence of pointed Kripke models up to formulas of given numbers of modal operators and binary connectives. Our game is similar to the well-known Adler–Immerman game. However, due to a crucial difference in the definition of positions of the game, its winning condition is simpler, and the second player does not have a trivial optimal strategy. Thus, unlike the Adler–Immerman game, our game is a genuine two-person game. We illustrate the use of the game by proving a non-elementary succinctness gap between bisimulation invariant first-order logic $\textrm{FO}$ and (basic) modal logic $\textrm{ML}$. We also present a version of the game for the modal $\mu $-calculus $\textrm{L}_\mu $ and show that $\textrm{FO}$ is also non-elementarily more succinct than $\textrm{L}_\mu $.

scholarly journals Analysis of the Relationship between the Psychological Well-Being, Emotional Intelligence, Willpower, and Job-Efficacy of Clinical Nurses: A Structural Model Application

2021 ◽  
Vol 18 (11) ◽  
pp. 5582
Author(s):  
Jin-Hwa Lee ◽  
In-Ok Sim
Keyword(s):  
Emotional Intelligence ◽  
Nursing Students ◽  
Structural Model ◽  
Well Being ◽  
Psychological Well Being ◽  
Clinical Nurses ◽  
Professional Nurses ◽  
Mediating Factor ◽  
Future Work ◽  
The Relationship

The aim of this study to discover the relationship between psychological well-being, emotional intelligence, willpower, and job-efficacy. The data were collected from 26 May to 30 May 2020 by distributing a questionnaire to 317 clinical nurses with six months of experience in a general hospital located in Seoul. Three hundred copies were collected and used for final data analysis. The results of the study verified that the direct factors of psychological well-being, emotional intelligence, and willpower affect the job-efficacy of clinical nurses and confirmed that emotional intelligence is a mediating factor between psychological well-being and job-efficacy. This study is meaningful in that it proves the necessity of establishing various curriculums focusing on these factors so that nursing students can best perform their duties as professional nurses. In particular, it is suggested that an educational program and curriculum be established that can strengthen the psychological well-being and enhance the emotional intelligence of nursing students. It is expected that such training will equip professional clinical nurses to effectively handle future work in their stress-filled field.

Abstract P139: Rates of Low Output Failure After Cardiac Surgery Cannot Be Explained Solely by Preoperative Characteristics

2011 ◽  
Vol 4 (suppl_2) ◽  
Author(s):  
Donald S Likosky ◽  
Yvon R Baribeau ◽  
Jeremiah R Brown ◽  
Benjamin M Westbrook ◽  
Lawrence J Dacey ◽  
...  
Keyword(s):  
New England ◽  
Artery Bypass ◽  
Case Volume ◽  
Cabg Surgery ◽  
Operative Outcomes ◽  
Time Period ◽  
Protective Strategy ◽  
Northern New England ◽  
Future Work ◽  
The Relationship

Background: Post-operative low output failure (LOF) is an important contributor to morbidity and mortality during coronary artery bypass grafting (CABG) surgery, and may result from poor myocardial protection. We hypothesized that rates of LOF would vary across surgeons, in part attributed to their myocardial protective strategy. Methods: We identified 11,838 patients undergoing non-emergent, isolated CABG surgery utilizing cardiopulmonary bypass (CPB) at 8 centers in northern New England from 2001-2009. Our cohort included patients with preoperative ejection fractions 40+% and patients operated on by surgeons who performed 80+ CABG procedures during the time period. Patients with preoperative balloon pumps were excluded. LOF was defined as the need for an intra- or post-operative balloon pump, or return to CPB or 2+ inotropes at 48 hours. Predicted rates of LOF were estimated using logistic regression. Results: Case volume varied across surgeons (range: 80-766, median: 344). Overall rate of LOF was 5.3% (return to CPB: 3.2%, balloon pump: 1.8%, inotrope usage: 1.3%). While predicted risk of LOF did not differ across surgeons, p=0.381, observed rates varied from 1.1% to 15.6%, p=0.003 (Figure). Post-operative outcomes, including death (ptrend=0.03) or stroke (ptrend =0.02), significantly increased across surgical LOF strata (low: <2%, medium: 3-9%, high: 10+%). Conclusions There was a 14-fold variability in rates of LOF across surgeons among patients with ejection fractions 40+%. This variability could not be explained by patient case mix. Future work should focus on understanding the relationship between myocardial protective strategy and risk of LOF.

Sign in / Sign up

Export Citation Format

Share Document