Results 31 to 40 of about 973,083 (329)
Large Language Models and Logical Reasoning
In deep learning, large language models are typically trained on data from a corpus as representative of current knowledge. However, natural language is not an ideal form for the reliable communication of concepts.
Robert Friedman
doaj +1 more source
Semantic Probabilistic Inference of Predictions
Prediction is one of the most important concepts in science. Predictions obtained from probabilistic knowledge, are described by an inductive-statistical inference (I-S inference).
E. E. Vityaev
doaj +1 more source
Sentiment analysis is an analysis with an objective to identify like, dislike, comments, opinion, or feedback on certain content which will be categorized into positive, negative, or neutral.
Sugiyarto Sugiyarto +4 more
doaj +1 more source
An independent axiomatisation for free short-circuit logic [PDF]
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression.
Ponse, Alban, Staudt, Daan J. C.
core +3 more sources
A Judgmental Reconstruction of Some of Professor Woleński’s Logical and Philosophical Writings
Roman Suszko said that “Obviously, any multiplication of logical values is a mad idea and, in fact, Łukasiewicz did not actualize it.” The aim of the present paper is to qualify this ‘obvious’ statement through a number of logical and philosophical ...
Schang Fabien
doaj +1 more source
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid [PDF]
In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification ...
E.A. Ashcroft +8 more
core +2 more sources
Students’ propositional logic thinking in higher education from the perspective of disciplines
Logic and logical thinking are present and play an important role in most of the disciplines at the university level but in different ways. In our research, which has been ongoing for several years, we are investigating the use of propositional logic ...
Zoltán Fehér +3 more
doaj +1 more source
Co-constructive Logics for Proofs and Refutations
This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and
Trafford James
doaj +1 more source
Fuzzy Logic: vulnerability of women who have sex with women to sexually transmitted infections [PDF]
Objective: To describe the possibility of applying Fuzzy Logic in analyzing the vulnerability of Women Who Have Sex with Women to Sexually Transmitted Infections/HIV/AIDS. Methods: We developed a Fuzzy Logic system with 17 input variables and one output
Juliane Andrade +5 more
doaj +1 more source
Circuitree: A Datalog Reasoner in Zero-Knowledge
Driven by the increased consciousness in data ownership and privacy, zero-knowledge proofs (ZKPs) have become a popular tool to convince a third party of the truthfulness of a statement without disclosing any further information.
Tom Godden +5 more
doaj +1 more source

