English
Related papers

Related papers: Argument Invention from First Principles

200 papers

Recent advancements in large language models (LLMs) have sparked optimism about their potential to accelerate scientific discovery, with a growing number of works proposing research agents that autonomously generate and validate new ideas.…

Computation and Language · Computer Science 2024-09-09 Chenglei Si , Diyi Yang , Tatsunori Hashimoto

We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language which makes it possible to express that a fact causes another…

Artificial Intelligence · Computer Science 2010-05-02 Philippe Besnard , Marie-Odile Cordier , Yves Moinard

The most important problems for society are describable only in vague terms, dependent on subjective positions, and missing highly relevant data. This thesis is intended to revive and further develop the view that giving non-trivial,…

Logic in Computer Science · Computer Science 2018-09-27 Robert Dustin Wehr

Humans work together to solve common problems by having discussions, explaining, and agreeing or disagreeing with each other. Similarly, if a system can have discussions with humans when solving tasks, it can improve the system's…

Computation and Language · Computer Science 2024-01-31 Masahiro Kaneko , Graham Neubig , Naoaki Okazaki

An optimal delivery of arguments is key to persuasion in any debate, both for humans and for AI systems. This requires the use of clear and fluent claims relevant to the given debate. Prior work has studied the automatic assessment of…

Computation and Language · Computer Science 2023-09-08 Gabriella Skitalinskaya , Maximilian Spliethöver , Henning Wachsmuth

Terms like 'misinformation', 'fake news', and 'echo chambers' permeate current discussions on the state of the Internet. We believe a lack of technological support to evaluate, contest, and reason about information online---as opposed to…

Human-Computer Interaction · Computer Science 2020-03-18 Steven Jeuris

The ability to reason with natural language is a fundamental prerequisite for many NLP tasks such as information extraction, machine translation and question answering. To quantify this ability, systems are commonly tested whether they can…

Computation and Language · Computer Science 2016-06-07 Vladyslav Kolesnyk , Tim Rocktäschel , Sebastian Riedel

The field of Argumentation Mining has arisen from the need of determining the underlying causes from an expressed opinion and the urgency to develop the established fields of Opinion Mining and Sentiment Analysis. The recent progress in the…

Information Retrieval · Computer Science 2018-09-20 Anastasios Lytos , Thomas Lagkas , Panagiotis Sarigiannidis , Kalina Bontcheva

We make three contributions. First, we formulate a discussion-graph semantics for first-order logic with equality, enabling reasoning about discussion and argumentation in AI more generally than before. This addresses the current lack of a…

Artificial Intelligence · Computer Science 2025-11-14 Ryuta Arisaka

This paper outlines a general formal framework for reasoning systems, intended to support future analysis of inference architectures across domains. We model reasoning systems as structured tuples comprising phenomena, explanation space,…

Artificial Intelligence · Computer Science 2025-08-05 Saleh Nikooroo , Thomas Engel

Providing feedback on the argumentation of the learner is essential for developing critical thinking skills, however, it requires a lot of time and effort. To mitigate the overload on teachers, we aim to automate a process of providing…

The Natural Language Inference (NLI) task is an important task in modern NLP, as it asks a broad question to which many other tasks may be reducible: Given a pair of sentences, does the first entail the second? Although the state-of-the-art…

Artificial Intelligence · Computer Science 2020-05-07 Zaid Marji , Animesh Nighojkar , John Licato

Topic modelling is a popular unsupervised method for identifying the underlying themes in document collections that has many applications in information retrieval. A topic is usually represented by a list of terms ranked by their…

Information Retrieval · Computer Science 2020-06-02 Areej Alokaili , Nikolaos Aletras , Mark Stevenson

In this paper, we present a preliminary work on an approach to fill the gap between logic-based argumentation and the numerous approaches to tackle the dynamics of abstract argumentation frameworks. Our idea is that, even when arguments and…

Artificial Intelligence · Computer Science 2016-03-30 Jean-Guy Mailly

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of…

History and Overview · Mathematics 2024-05-06 Andrew Aberdein , Zoe Ashton

Writing persuasive arguments is a challenging task for both humans and machines. It entails incorporating high-level beliefs from various perspectives on the topic, along with deliberate reasoning and planning to construct a coherent…

Computation and Language · Computer Science 2025-01-06 Zhe Hu , Hou Pong Chan , Jing Li , Yu Yin

The definition is a common form of human expert knowledge, a building block of formal science and mathematics, a foundation for database theory and is supported in various forms in many knowledge representation and formal specification…

Logic in Computer Science · Computer Science 2017-02-16 Marc Denecker , Bart Bogaerts , Joost Vennekens

Natural language understanding (NLU) of text is a fundamental challenge in AI, and it has received significant attention throughout the history of NLP research. This primary goal has been studied under different tasks, such as Question…

Computation and Language · Computer Science 2019-08-15 Daniel Khashabi

Reproducible research---by its many names---has come to be regarded as a key concern across disciplines and stakeholder groups. Funding agencies and journals, professional societies and even mass media are paying attention, often focusing…

Digital Libraries · Computer Science 2018-02-12 Lorena A. Barba

Analogical reasoning is an essential aspect of human cognition. In this paper, we summarize key theory about the processes underlying analogical reasoning from the cognitive science literature and relate it to current research in natural…

Computation and Language · Computer Science 2025-09-29 Molly R Petersen , Claire E Stevenson , Lonneke van der Plas