15 papers · ranked by Valyu relevance
Jie Huang, Kevin Chen–Chuan Chang
Reasoning is a fundamental aspect of human intelligence that plays a crucial role in activities such as problem solving, decision making, and critical thinking. In recent years, large language models (LLMs) have made significant progress in natural language processing, and there is observation that these models may…
Jingde Cheng
— Recently, with the application progress of AIGC tools based on large language models (LLMs), led by ChatGPT, many AI experts and more non-professionals are trumpeting the "reasoning ability" of the LLMs. The present author considers that the so-called "reasoning ability" of LLMs are just illusions of those people who…
Zinan Liu, Haoran Li, Jingyi Lu, Gaoyuan Ma + 5 more
'Giovanni Iacca' 'Arvind Kumar' 'Shaojun Tang' 'Lin Wang'] Abstract—Autonomous AI is no longer a hard-to-reach concept–it enables the machines (agents) to move beyond executing tasks to independently addressing complex problems, adapting to change while handling the uncertainty of the environment. However, what makes…
Fei Yu, Hongbo Zhang, Prayag Tiwari, Benyou Wang
This survey paper proposes a clearer view of natural language reasoning in the field of Natural Language Processing (NLP), both conceptually and practically. Conceptually, we provide a distinct definition for natural language reasoning in NLP, based on both philosophy and NLP scenarios, discuss what types of tasks…
Qiguang Chen, Jinhao Liu, Qin Li, Yimeng Zhang + 17 more
Understanding how information is dynamically accumulated and transformed in human reasoning has long challenged cognitive psychology, philosophy, and artificial intelligence. Existing accounts, from classical logic to probabilistic models, illuminate aspects of output or individual modelling, but do not offer a…
Manish Bhatt
This paper first restates T 1 and T U with surgical precision, then extends T U to a richer T ∗ U that incorporates causal modelling (Pearl , 2009), metacognition (Flavell , 1979), the fast/slow thinking dichotomy (Kahneman , 2011), and the (currently untestable) question of phenomenal awareness (Baars , 1988).
Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
This paper addresses the challenge of modeling human reasoning, within a new framework called Cognitive Argumentation. This framework rests on the assumption that human logical reasoning is inherently a process of dialectic argumentation and aims to develop a cognitive model for human reasoning that is computational…
Jingde Cheng
Reasoning Based on Strong Relevant Logics -- A Solution to the Problem of LLM Pre-training Data Exhaustion Authors: ['Jingde Cheng'] Abstract — Recently, it is often said that the data used for the pre-training of large language models (LLMs) have been exhausted. This paper proposes a solution to the problem: Automated…
Antonis Kakas, Loizos Michael
This paper presents Abduction and Argumentation as two principled forms for reasoning, and fleshes out the fundamental role that they can play within Machine Learning. It reviews the state-of-the-art work over the past few decades on the link of these two reasoning forms with machine learning work, and from this it…
Paulo Pirozelli, Victor Hugo Nascimento Rocha, Fabio G. Cozman, Douglas Aldred
Arguments are a fundamental aspect of human reasoning, in which claims are supported, challenged, and weighed against one another. We present an end-to-end large language model (LLM)-based system for reconstructing arguments from natural language text into abstract argument graphs. The system follows a multi-stage…
Paul Égré, Paul F. Marty, Bryan Renne
Is knowledge definable as justified true belief ("JTB")? We argue that one can legitimately answer positively or negatively, depending on how the notion of justification is understood. To facilitate our argument, we introduce a simple propositional logic of reason-based belief. We show that this logic is sufficiently…
Kotaro Funakoshi
This paper1 presents Non-Axiomatic Term Logic (NATL) as a theoretical computational framework of humanlike symbolic reasoning in artificial intelligence. NATL unites a discrete syntactic system inspired from Aristotle's term logic and a continuous semantic system based on the modern idea of distributed representations…
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…
Tshilidzi Marwala
In this paper the theory of flexibly-bounded rationality which is an extension to the theory of bounded rationality is revisited. Rational decision making involves using information which is almost always imperfect and incomplete together with some intelligent machine which if it is a human being is inconsistent to…