中文
相关论文

相关论文: Grounding Realizable Entities

200 篇论文

We present a general formalism with the aim of describing the situation of an entity, how it is, how it reacts to experiments, how we can make statistics with it, and how it changes under the influence of the rest of the universe. Therefore…

量子物理 · 物理学 2007-05-23 Diederik Aerts

Language grounding is an active field aiming at enriching textual representations with visual information. Generally, textual and visual elements are embedded in the same representation space, which implicitly assumes a one-to-one…

计算与语言 · 计算机科学 2020-02-10 Patrick Bordes , Eloi Zablocki , Laure Soulier , Benjamin Piwowarski , Patrick Gallinari

Substitute relationships are fundamental to people's daily lives across various domains. This study aims to comprehend and predict substitute relationships among products in diverse fields, extensively analyzing the application of machine…

信息检索 · 计算机科学 2024-04-16 Anxin Yang , Zhijuan Du , Tao Sun

Successful conversations often rest on common understanding, where all parties are on the same page about the information being shared. This process, known as conversational grounding, is crucial for building trustworthy dialog systems that…

计算与语言 · 计算机科学 2024-03-26 Biswesh Mohapatra , Seemab Hassan , Laurent Romary , Justine Cassell

We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…

逻辑 · 数学 2023-06-22 Philip Dittmann , Dion Leijnse

As foundation models increasingly permeate sensitive domains such as healthcare, finance, and mental health, ensuring their behavior meets desired outcomes and social expectations becomes critical. Given the complexities of these…

机器人学 · 计算机科学 2024-12-30 Rebecca Ramnauth , Dražen Brščić , Brian Scassellati

Argumentation is a central subarea of Artificial Intelligence (AI) for modeling and reasoning about arguments. The semantics of abstract argumentation frameworks (AFs) is given by sets of arguments (extensions) and conditions on the…

This article presents formalistic tool for description of structural and biochemical relations between cells in the course of development of the body of plants. This is flexible formalistic space, based on the Category theory and the Petri…

组织与器官 · 定量生物学 2017-02-16 I. V. Rudskiy

Model theoretic results such as Characterization and Definability give important information about different logics. It is well known that the proofs of those results for several modal logics have, somehow, the same 'taste'. A general proof…

计算机科学中的逻辑 · 计算机科学 2010-11-23 Facundo Carreiro

We addressed the problem of a lack of semantic representation for user-centric explanations and different explanation types in our Explanation Ontology (https://purl.org/heals/eo). Such a representation is increasingly necessary as…

Ideological attitudes and stance are often expressed through subtle meanings of words and phrases. Understanding these connotations is critical to recognizing the cultural and emotional perspectives of the speaker. In this paper, we use…

计算与语言 · 计算机科学 2021-03-02 Emily Allaway , Kathleen McKeown

Entity linking involves aligning textual mentions of named entities to their corresponding entries in a knowledge base. Entity linking systems often exploit relations between textual mentions in a document (e.g., coreference) to decide if…

计算与语言 · 计算机科学 2018-05-01 Phong Le , Ivan Titov

Extracting biomedical relations from large corpora of scientific documents is a challenging natural language processing task. Existing approaches usually focus on identifying a relation either in a single sentence (mention-level) or across…

计算与语言 · 计算机科学 2020-11-23 Harshil Shah , Julien Fauqueur

Generic Ontology Design Patterns, GODPs, are defined in Generic DOL, an extension of DOL, the Distributed Ontology, Model and Specification Language, and implemented using Heterogeneous Tool Set. Parameters such as classes, properties,…

人工智能 · 计算机科学 2019-06-21 Bernd Krieg-Brückner , Till Mossakowski , Fabian Neuhaus

Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines. In the area of automated vehicles, recent advances suggest the ability to formalize…

人工智能 · 计算机科学 2022-07-06 Lukas Westhofen , Christian Neurohr , Martin Butz , Maike Scholtes , Michael Schuldes

Given the large variety of existing logical formalisms it is of utmost importance to select the most adequate one for a specific purpose, e.g. for representing the knowledge relevant for a particular application or for using the formalism…

人工智能 · 计算机科学 2020-03-04 Ringo Baumann

To any finite ordered subset and any finite partition of a group a set of tuples of positive integers, named as configurations, is associated that describes the group's behavior. The present paper provides an exposition of this notion and…

群论 · 数学 2018-04-24 Akram Yousofzadeh

It is claimed elsewhere that the conscious states of humans must have evolved together with their biological states, and that an ongoing interaction between the two must have occurred to insure that they mirror one another in any species. A…

量子物理 · 物理学 2007-05-23 Richard A Mould

This paper introduces a framework for representing information about entities that do not exist or may never exist, such as those involving fictional entities, blueprints, simulations, and future scenarios. Traditional approaches that…

人工智能 · 计算机科学 2025-11-13 John Beverley , Jim Logan , Barry Smith

Common ground plays a critical role in situated spoken dialogs, where interlocutors must establish and maintain shared references to entities, events, and relations to sustain coherent interaction in a shared space and over time. With the…

计算与语言 · 计算机科学 2026-04-08 Biswesh Mohapatra , Théo Charlot , Giovanni Duca , Mayank Palan , Laurent Romary , Justine Cassell