English
Related papers

Related papers: Towards a Consistent, Sound and Complete Conceptua…

200 papers

By nature, transmissible human knowledge is enumerable: every sentence, movie, audio record can be encoded in a sufficiently long string of 0's and 1's. The works of G\"odel, Turing and others showed that there are inherent limits and…

Other Computer Science · Computer Science 2020-01-30 Frédéric Prost

Ontologies enable knowledge sharing and interdisciplinary collaboration by providing standardized, structured vocabularies for diverse communities. While logical axioms are a cornerstone of ontology design, natural language elements such as…

Formal Languages and Automata Theory · Computer Science 2025-08-29 Paul Fabry , Adrien Barton , Jean-François Éthier

Quotations are crucial for successful explanations and persuasions in interpersonal communications. However, finding what to quote in a conversation is challenging for both humans and machines. This work studies automatic quotation…

Computation and Language · Computer Science 2021-06-21 Lingzhi Wang , Jing Li , Xingshan Zeng , Haisong Zhang , Kam-Fai Wong

Situation awareness is a crucial cognitive skill that enables individuals to perceive, comprehend, and project the current state of their environment accurately. It involves being conscious of relevant information, understanding its…

Information Retrieval · Computer Science 2023-07-26 Sumit Sharma , Sarika Jain

Sentence similarity is considered the basis of many natural language tasks such as information retrieval, question answering and text summarization. The semantic meaning between compared text fragments is based on the words semantic…

Information Retrieval · Computer Science 2016-10-17 Issa Atoum , Ahmed Otoom , Narayanan Kulathuramaiyer

We regularly encounter information on novel, emerging topics for which the body of knowledge is still evolving, which can be linked, for instance, to current events. A primary way to learn more about such topics is through web search.…

Information Retrieval · Computer Science 2025-09-15 Alisa Rieger , Stefan Dietze , Ran Yu

Besides their use for efficient computation, quantum computers are a base for studying quantum systems that create valid physical theories using mathematics and physics. An essential part of the validation process for quantum mechanics is…

Quantum Physics · Physics 2009-10-31 Paul Benioff

Acquiring commonsense knowledge and reasoning is recognized as an important frontier in achieving general Artificial Intelligence (AI). Recent research in the Natural Language Processing (NLP) community has demonstrated significant progress…

Artificial Intelligence · Computer Science 2021-01-20 Ke Shen , Mayank Kejriwal

Humans can learn and reason under substantial uncertainty in a space of infinitely many concepts, including structured relational concepts ("a scene with objects that have the same color") and ad-hoc categories defined through goals…

Artificial Intelligence · Computer Science 2020-10-07 Ramakrishna Vedantam , Arthur Szlam , Maximilian Nickel , Ari Morcos , Brenden Lake

Knowledge amount is an integral indicator of the development of society. Humanity produces knowledge in response to challenges from nature and society. Knowledge production depends on population size and human productivity. Productivity is…

Physics and Society · Physics 2023-12-27 Boris M. Dolgonosov

We develop a semantics for logics of imperfect information with respect to general models. Then we build a proof system and prove its soundness and completeness with respect to this semantics.

Logic · Mathematics 2012-01-30 Pietro Galliani

A machine translation system is said to be *complete* if all expressions that are correct according to the source-language grammar can be translated into the target language. This paper addresses the completeness issue for compositional…

cmp-lg · Computer Science 2008-02-03 Willem-Olaf Huijsen

Music similarity is an essential aspect of music retrieval, recommendation systems, and music analysis. Moreover, similarity is of vital interest for music experts, as it allows studying analogies and influences among composers and…

Sound · Computer Science 2023-06-22 Andrea Poltronieri

Cognition is the process of knowing. As carried out by a dynamical system, it is the process by which the system absorbs information into its state. A complex network of agents cognizes knowledge about its environment, internal dynamics and…

Multiagent Systems · Computer Science 2022-07-13 Jack Hall

It is asserted that consciousness functionally is a vision. Biologically it is a sensation of work of a brain that converts external and internal signals into visual output. However, as we well know, human consciousness includes meaning…

Neurons and Cognition · Quantitative Biology 2022-10-12 Boris Rusakov

Consciousness is notoriously hard to define with objective terms. An objective definition of consciousness is critically needed so that we might accurately understand how consciousness and resultant choice behaviour may arise in biological…

Neurons and Cognition · Quantitative Biology 2024-06-05 Craig I. McKenzie

Compositionality has traditionally been understood as a major factor in productivity of language and, more broadly, human cognition. Yet, recently, some research started to question its status, showing that artificial neural networks are…

Computation and Language · Computer Science 2022-06-13 Michal Auersperger , Pavel Pecina

This paper discusses the important process of knowledge and its management, and differences between tacit and explicit knowledge and understanding the culture as a key issue for the successful implementation of knowledge management, in…

Other Computer Science · Computer Science 2010-03-10 Mohsen Gerami

Mutual knowledge distillation (MKD) improves a model by distilling knowledge from another model. However, \textit{not all knowledge is certain and correct}, especially under adverse conditions. For example, label noise usually leads to less…

Machine Learning · Computer Science 2022-11-17 Ziyun Li , Xinshao Wang , Di Hu , Neil M. Robertson , David A. Clifton , Christoph Meinel , Haojin Yang

Sound deductive reasoning -- the ability to derive new knowledge from existing facts and rules -- is an indisputably desirable aspect of general intelligence. Despite the major advances of AI systems in areas such as math and science,…

Artificial Intelligence · Computer Science 2025-07-01 András György , Tor Lattimore , Nevena Lazić , Csaba Szepesvári
‹ Prev 1 3 4 5 6 7 10 Next ›