中文
相关论文

相关论文: Language, logic and ontology: uncovering the struc…

200 篇论文

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…

计算机科学中的逻辑 · 计算机科学 2009-09-25 Marc Denecker

Natural language inference (NLI) requires models to learn and apply commonsense knowledge. These reasoning abilities are particularly important for explainable NLI systems that generate a natural language explanation in addition to their…

计算与语言 · 计算机科学 2021-10-14 Hendrik Schuff , Hsiu-Yu Yang , Heike Adel , Ngoc Thang Vu

Language models have become very popular recently and many claims have been made about their abilities, including for commonsense reasoning. Given the increasingly better results of current language models on previous static benchmarks for…

计算与语言 · 计算机科学 2023-04-25 Anthony G Cohn , Jose Hernandez-Orallo

Recent advances of powerful Language Models have allowed Natural Language Generation (NLG) to emerge as an important technology that can not only perform traditional tasks like summarisation or translation, but also serve as a natural…

The purpose of this work is to find out how different library classification systems and linguistic ontologies arrange a particular domain of interest and what are the limitations for information retrieval. We use knowledge representation…

人工智能 · 计算机科学 2023-06-21 Subhashis Das , Debashis Naskar , Sayon Roy

Why is the universe comprehensible? How is it that we can come to know its regularities well-enough to exploit them for our own gain? In this essay I argue that the nature of our comprehension lies in the mutually agreed upon methodology we…

物理学史与哲学 · 物理学 2020-11-16 Ian T. Durham

A significant amount of information in today's world is stored in structured and semi-structured knowledge bases. Efficient and simple methods to query them are essential and must not be restricted to only those who have expertise in formal…

计算与语言 · 计算机科学 2019-05-31 Aishwarya Kamath , Rajarshi Das

Generative commonsense reasoning refers to the task of generating acceptable and logical assumptions about everyday situations based on commonsense understanding. By utilizing an existing dataset such as Korean CommonGen, language…

计算与语言 · 计算机科学 2023-06-27 Dahyun Jung , Jaehyung Seo , Jaewook Lee , Chanjun Park , Heuiseok Lim

This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the…

逻辑 · 数学 2024-01-23 Zachary Goodsell , Juhani Yli-Vakkuri

When people interpret text, they rely on inferences that go beyond the observed language itself. Inspired by this observation, we introduce a method for the analysis of text that takes implicitly communicated content explicitly into…

计算与语言 · 计算机科学 2025-02-25 Alexander Hoyle , Rupak Sarkar , Pranav Goel , Philip Resnik

The sequential structure of language, and the order of words in a sentence specifically, plays a central role in human language processing. Consequently, in designing computational models of language, the de facto approach is to present…

计算与语言 · 计算机科学 2021-08-25 Rishi Bommasani

Language understanding entails not just extracting the surface-level meaning of the linguistic input, but constructing rich mental models of the situation it describes. Here we propose that because processing within the brain's core…

计算与语言 · 计算机科学 2025-11-26 Colton Casto , Anna Ivanova , Evelina Fedorenko , Nancy Kanwisher

Compositionality is a widely discussed property of natural languages, although its exact definition has been elusive. We focus on the proposal that compositionality can be assessed by measuring meaning-form correlation. We analyze…

计算与语言 · 计算机科学 2020-12-08 Timothee Mickus , Timothée Bernard , Denis Paperno

Commonsense datasets have been well developed in Natural Language Processing, mainly through crowdsource human annotation. However, there are debates on the genuineness of commonsense reasoning benchmarks. In specific, a significant portion…

计算与语言 · 计算机科学 2024-11-07 Quyet V. Do , Junze Li , Tung-Duong Vuong , Zhaowei Wang , Yangqiu Song , Xiaojuan Ma

Each cognitive science tries to understand a set of cognitive behaviors. The structuring of knowledge of this nature's aspect is far from what it can be expected about a science. Until now universal standard consistently describing the set…

人工智能 · 计算机科学 2008-10-19 Sergio Miguel

The SemanticWeb emerged as an extension to the traditional Web, towards adding meaning to a distributed Web of structured and linked data. At its core, the concept of ontology provides the means to semantically describe and structure…

人工智能 · 计算机科学 2021-05-03 Konstantinos Sikelis , George E Tsekouras , Konstantinos I Kotis

Natural language processing for programming aims to use NLP techniques to assist programming. It is increasingly prevalent for its effectiveness in improving productivity. Distinct from natural language, a programming language is highly…

计算与语言 · 计算机科学 2023-08-08 Qingfu Zhu , Xianzhen Luo , Fang Liu , Cuiyun Gao , Wanxiang Che

Humans understand language based on the rich background knowledge about how the physical world works, which in turn allows us to reason about the physical world through language. In addition to the properties of objects (e.g., boats require…

计算与语言 · 计算机科学 2019-08-09 Maxwell Forbes , Ari Holtzman , Yejin Choi

This paper discusses the different roles that explicit knowledge, in particular ontologies, can play in Explainable AI and in the development of human-centric explainable systems and intelligible explanations. We consider three main…

人工智能 · 计算机科学 2023-11-09 Roberto Confalonieri , Giancarlo Guizzardi

One of the ultimate goals for linguists is to find universal properties in human languages. Although words are generally considered as representing arbitrary mapping between linguistic forms and meanings, we propose a new universal law that…

计算与语言 · 计算机科学 2020-05-06 Li-Min Wang , Sun-Ting Tsai , Shan-Jyun Wu , Meng-Xue Tsai , Daw-Wei Wang , Yi-Ching Su , Tzay-Ming Hong