English
Related papers

Related papers: Deductive and Analogical Reasoning on a Semantical…

200 papers

Abductive reasoning, reasoning for inferring explanations for observations, is often mentioned in scientific, design-related and artistic contexts, but its understanding varies across these domains. This paper reviews how abductive…

Artificial Intelligence · Computer Science 2025-07-14 Abhinav Sood , Kazjon Grace , Stephen Wan , Cecile Paris

Neurosymbolic AI is an increasingly active area of research that combines symbolic reasoning methods with deep learning to leverage their complementary benefits. As knowledge graphs are becoming a popular way to represent heterogeneous and…

Artificial Intelligence · Computer Science 2025-01-13 Lauren Nicole DeLong , Ramon Fernández Mir , Jacques D. Fleuriot

Neural embedding approaches have become a staple in the fields of computer vision, natural language processing, and more recently, graph analytics. Given the pervasive nature of these algorithms, the natural question becomes how to exploit…

Computation and Language · Computer Science 2020-10-27 Alexander Kalinowski , Yuan An

Distributional models provide a convenient way to model semantics using dense embedding spaces derived from unsupervised learning algorithms. However, the dimensions of dense embedding spaces are not designed to resemble human semantic…

Computation and Language · Computer Science 2018-11-15 Steven Derby , Paul Miller , Brian Murphy , Barry Devereux

The unification of low-level perception and high-level reasoning is a long-standing problem in artificial intelligence, which has the potential to not only bring the areas of logic and learning closer together but also demonstrate how…

Artificial Intelligence · Computer Science 2019-11-27 Anton Fuxjaeger , Vaishak Belle

Reasoning is fundamental to human intelligence, and critical for problem-solving, decision-making, and critical thinking. Reasoning refers to drawing new conclusions based on existing knowledge, which can support various applications like…

Computation and Language · Computer Science 2025-02-24 Mayi Xu , Yunfeng Ning , Yongqi Li , Jianhao Chen , Jintao Wen , Yao Xiao , Shen Zhou , Birong Pan , Zepeng Bao , Xin Miao , Hankun Kang , Ke Sun , Tieyun Qian

Knowledge bases (KBs) and text often contain complementary knowledge: KBs store structured knowledge that can support long range reasoning, while text stores more comprehensive and timely knowledge in an unstructured way. Separately…

Computation and Language · Computer Science 2021-06-04 Vardaan Pahuja , Yu Gu , Wenhu Chen , Mehdi Bahrami , Lei Liu , Wei-Peng Chen , Yu Su

Co-occurrence statistics based word embedding techniques have proved to be very useful in extracting the semantic and syntactic representation of words as low dimensional continuous vectors. In this work, we discovered that dictionary…

Computation and Language · Computer Science 2021-03-16 Juexiao Zhang , Yubei Chen , Brian Cheung , Bruno A Olshausen

Knowledge Graphs, such as Wikidata, comprise structural and textual knowledge in order to represent knowledge. For each of the two modalities dedicated approaches for graph embedding and language models learn patterns that allow for…

Computation and Language · Computer Science 2023-08-21 Mojtaba Nayyeri , Zihao Wang , Mst. Mahfuja Akter , Mirza Mohtashim Alam , Md Rashad Al Hasan Rony , Jens Lehmann , Steffen Staab

Analogical reasoning is at the core of human cognition, serving as an important foundation for a variety of intellectual activities. While prior work has shown that LLMs can represent task patterns and surface-level concepts, it remains…

Computation and Language · Computer Science 2025-11-26 Taewhoo Lee , Minju Song , Chanwoong Yoon , Jungwoo Park , Jaewoo Kang

We propose a new interpretability method for neural networks, which is based on a novel mathematico-philosophical theory of reasons. Our method computes a vector for each neuron, called its reasons vector. We then can compute how strongly…

Machine Learning · Computer Science 2025-05-21 Levin Hornischer , Hannes Leitgeb

Mathematical notation makes up a large portion of STEM literature, yet finding semantic representations for formulae remains a challenging problem. Because mathematical notation is precise, and its meaning changes significantly with small…

Computation and Language · Computer Science 2023-09-06 Neeraj Gangwar , Nickvash Kani

Knowledge graph completion (a.k.a.~link prediction), i.e.,~the task of inferring missing information from knowledge graphs, is a widely used task in many applications, such as product recommendation and question answering. The…

Artificial Intelligence · Computer Science 2022-07-05 Zoi Kaoudi , Abelardo Carlos Martinez Lorenzo , Volker Markl

Recognizing similarities among entities is central to both human cognition and computational intelligence. Within this broader landscape, Entity Set Expansion is one prominent task aimed at taking an initial set of (tuples of) entities and…

Artificial Intelligence · Computer Science 2026-01-08 Giovanni Amendola , Pietro Cofone , Marco Manna , Aldo Ricioppo

For a computational system to be intelligent, it should be able to perform, at least, basic deductions. Nonetheless, since deductions are, in some sense, equivalent to tautologies, it seems that they do not provide new information. The…

Logic in Computer Science · Computer Science 2014-04-21 Anderson de Araújo

Human knowledge provides a formal understanding of the world. Knowledge graphs that represent structural relations between entities have become an increasingly popular research direction towards cognition and human-level intelligence. In…

Computation and Language · Computer Science 2021-04-02 Shaoxiong Ji , Shirui Pan , Erik Cambria , Pekka Marttinen , Philip S. Yu

Geometric relational embeddings map relational data as geometric objects that combine vector information suitable for machine learning and structured/relational information for structured/relational reasoning, typically in low dimensions.…

Artificial Intelligence · Computer Science 2023-04-25 Bo Xiong , Mojtaba Nayyeri , Ming Jin , Yunjie He , Michael Cochez , Shirui Pan , Steffen Staab

Representing words by vectors, or embeddings, enables computational reasoning and is foundational to automating natural language tasks. For example, if word embeddings of similar words contain similar values, word similarity can be readily…

Computation and Language · Computer Science 2022-02-02 Carl Allen

In this paper, we propose a novel method for question answering over knowledge graphs based on graph-to-segment mapping, designed to improve the understanding of natural language questions. Our approach is grounded in semantic parsing, a…

Computation and Language · Computer Science 2025-09-03 Sijia Wei , Wenwen Zhang , Qisong Li , Jiang Zhao

The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of…

Logic in Computer Science · Computer Science 2009-09-25 Marc Denecker