Results 31 to 40 of about 973,083 (329)

Large Language Models and Logical Reasoning

open access: yesEncyclopedia, 2023
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

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 2017
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

A Fuzzy Logic in Election Sentiment Analysis: Comparison Between Fuzzy Naïve Bayes and Fuzzy Sentiment using CNN

open access: yesJTAM (Jurnal Teori dan Aplikasi Matematika), 2021
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]

open access: yes, 2017
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

open access: yesStudia Humana, 2020
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]

open access: yes, 2011
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

open access: yesFrontiers in Education, 2023
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

open access: yesStudia Humana, 2015
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]

open access: yesRevista Brasileira de Enfermagem
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

open access: yesIEEE Access, 2022
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

Home - About - Disclaimer - Privacy