Representing narrative evidence as clinical evidence logic statements [PDF]
JAMIA Open, 2022 Abstract Objective Clinical evidence logic statements (CELS) are shareable knowledge artifacts in a semistructured “If-Then” format that can be used for clinical decision support systems. This project aimed to assess factors facilitating CELS representation.
Ronilda Lacson +9 more
openalex +3 more sources
Prayer Leads to Advocacy: The Theological Logic in a Bishop's Statement on Comprehensive Immigration Reform [PDF]
Frontiers in Communication, 2022 This article contributes to the scholarly discussions about the role of religion in social and political action rhetoric by revealing the complexities of rhetorical resources found in the logic of theology. To this end, I explored rhetorical functions of
James W. Vining
doaj +2 more sources
Statistical Statements in Probabilistic Logic Programming
, 2022 AbstractProbabilistic Logic Programs under the distribution semantics (PLPDS) do not allow statistical probabilistic statements of the form “90% of birds fly”, which were defined “Type 1” statements by Halpern. In this paper, we add this kind of statements to PLPDS and introduce the PASTA (“Probabilistic Answer set programming for STAtistical ...
Damiano Azzolini +2 more
openalex +3 more sources
Enhancing automated financial statement analysis using fuzzy logic algorithms [PDF]
Discover ComputingFinancial statement analysis is crucial to organizational performance, but quantitative and rule-based methods often fail to capture nonlinear relationships, uncertainty, and rapidly changing market conditions.
Ruiyao Liu
doaj +2 more sources
Logics of Statements in Context – First-Order Logic Files
LogicsLogics of Statements in Context have been proposed as a general framework to describe and relate, in a uniform and unifying way, a broad spectrum of logics and specification formalisms, which also comprise “open formulas”. In particular, it has been shown that we can define arbitrary first-order “open formulas” in arbitrary categories.
Uwe Wolter
+4 more sources
On translating conditional statements into mathematical logic [PDF]
, 2022 In this paper, we highlight a profound difference between conditional statements in mathematical logic and natural languages. This difference exists even when the conditional statements are used in mathematical theorems.
Kamaledin Ghiasi-Shirazi
openalex +3 more sources
Integrating Context of Statements within Description Logics [PDF]
, 2017 We address the problem of providing contextual information about a logical formula (eg provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reification mechanism.
Antoine Zimmermann +1 more
openalex +3 more sources
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas.
Federico Aschieri
doaj +1 more source
Muslim Logicians on Quantification of Predicate vs. Hamilton’s View [PDF]
حکمت و فلسفه, 2018 According to Muslim logicians, the quantifier, in categorical logic, shows the quantity of the individuals of the subject in a statement; so its place is before the subject.
Seyyed Mohammad Ali Hodjati
doaj +1 more source
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic [PDF]
Logical Methods in Computer Science, 2019 We show that on graphs with n vertices, the 2-dimensional Weisfeiler-Leman algorithm requires at most O(n^2/log(n)) iterations to reach stabilization. This in particular shows that the previously best, trivial upper bound of O(n^2) is asymptotically not ...
Sandra Kiefer, Pascal Schweitzer
doaj +1 more source