15 papers · ranked by Valyu relevance
Nicholas Carrara
The following three sections and appendices are taken from my thesis "The Foundations of Inference and its Application to Fundamental Physics" from 2021, in which I construct a theory of entropic inference from first principles. The majority of these chapters are not original, but are a collection of various sources…
Soumya Sanyal, Harman Singh, Xiang Ren
Transformers have been shown to be able to perform deductive reasoning on a logical rulebase containing rules and statements written in natural language. Recent works show that such models can also produce the reasoning steps (i.e., the proof graph) that emulate the model's logical reasoning process. Currently, these…
Anthony Hunter
Argumentation is a non-monotonic process. This reflects the fact that argumentation involves uncertain information, and so new information can cause a change in the conclusions drawn. However, the base logic does not need to be non-monotonic. Indeed, most proposals for structured argumentation use a monotonic base…
Nancy Abigail Nuñez Hernández, Francisco Hernández Quiroz
Accounting for the epistemic contribution of deduction has been a pervasive problem for logicians interested in deduction, such as, among others, Jakko Hintikka. The problem arises because the conclusion validly deduced from a set of premises is said to be "contained" in that set; because of this containment relation…
Alrubyli, Yazeed
The purpose of this paper is to give an easy to understand with step-by-step explanation to allow interested people to fully appreciate the power of natural deduction for first-order logic. Natural deduction as a proof system can be used to prove various statements in propositional logic, but we will see its extension…
Jesper Amilon, Dilian Gurov, Christian Lidström, Mattias Nyberg + 2 more
'Gustav Ung' 'Ola Wingbrant'] Deductive verification has become a mature paradigm for the verification of industrial software. Applying deductive verification, however, requires that every function in the code base is annotated with a function contract specifying its behaviour. This introduces a large overhead of…
Martín Pereira-Fariña, Félix Díaz-Hermida, Alberto Bugarín
NOTICE: this is the author's version of a work that was accepted for publication in Fuzzy Sets and Systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been…
Peter Haddawy, Alan M. Frisch
This paper discusses the semantics and proof theory of Nilsson's probabilistic logic, outlining both the benefits of its well-defined model theory and the drawbacks of its proof theory. Within Nilsson's semantic framework, we derive a set of inference rules which are provably sound. The resulting proof system, in…
Hermógenes Oliveira
Proof-theoretic definitions of validity can be considered as loosely inspired by Wittgenstein's ideas relating meaning and use. They attempt to explain of the concept of logical validity in terms of the deductive use of the logical constants, as expressed by inference rules. In this context, Gentzen's investigations…
Sun Yunxin, Saparov, Abulhair
Reasoning is a core capability in artificial intelligence systems, for which large language models (LLMs) have recently shown remarkable progress. However, most work focuses exclusively on deductive reasoning, which is problematic since other types of reasoning are also essential in solving real-world problems, and…
Florian Richter
Deduction is the one of the major forms of inferences and commonly used in formal logic. This kind of inference has the feature of monotonicity, which can be problematic. There are different types of inferences that are not monotonic, e.g. abductive inferences. The debate between advocates and critics of abduction as a…
Jianfeng Xu
We study lossy compression of a finite statement source generated in a fixed deductive environment. The source symbols are statements in a knowledge base endowed with a proof system, and reconstruction fidelity is measured by preservation of deductive closure rather than by symbolwise equality. This induces, once the…
Burc Gokden
Deep Neural Net At Inference Authors: ['Burc Gokden'] We show that Large Language Model from Power Law Decoder Representations (PLDR-LLM) is a foundational model whose deductive outputs are invariant tensors up to a small perturbation. PLDR-LLM learns a singularity condition for the deductive outputs that enable the…
Henry E. Kyburg
- ( 1 ) I have enough evidence to render the sentence S probable. - (2) So, relative to what I know, it is rational of me to believe S. - (3) Now that I have more evidence, Smay no longer be probable. - ( 4) So now, relative to what I know, it is not rational of me to believe S.
Henry E. Kyburg
A number of writers (Joseph Halpern and Fahiem Bacchus among them) have offered semantics for formal languages in which inferences concerning probabilities can be made. Our concern is different This paper provides a formalization of nonmonotonic inferences in which the conclusion is supported only to a certain degree.…