English
Related papers

Related papers: Jacob's Ladder and Scientific Ontologies

200 papers

Furstenberg--Zimmer structure theory refers to the extension of the dichotomy between the compact and weakly mixing parts of a measure preserving dynamical system and the algebraic and geometric descriptions of such parts to a conditional…

Dynamical Systems · Mathematics 2025-09-30 Asgar Jamneshan

There are investigated the generalized methods of cognition of the Existing, i.e. everything that is able to influence to the cognizer, and everything differed from the Existing is postulated as indistinguishable from the non-existing and…

General Physics · Physics 2017-08-18 Andrey V. Novikov-Borodin

We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof that the Effective Topos is a topos (equipped with natural numbers),…

Logic in Computer Science · Computer Science 2013-07-16 Alexis Bernadet , Stéphane Graham-Lengrand

A large number of studies in cognitive science have revealed that probabilistic outcomes of certain human decisions do not agree with the axioms of classical probability theory. The field of Quantum Cognition provides an alternative…

Information Retrieval · Computer Science 2020-01-22 Sagar Uprety , Prayag Tiwari , Shahram Dehdashti , Lauren Fell , Dawei Song , Peter Bruza , Massimo Melucci

Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which we have named "OntoKADS") is founded on a core problem-solving ontology which distinguishes…

Artificial Intelligence · Computer Science 2007-05-23 Sabine Bruaux , Gilles Kassel , Gilles Morel

We introduce a new formal model -- based on the mathematical construct of sheaves -- for representing contradictory information in textual sources. This model has the advantage of letting us (a) identify the causes of the inconsistency; (b)…

Computation and Language · Computer Science 2018-01-30 Wlodek Zadrozny , Luciana Garbayo

Categories provide a coarse grained description of the world. A fundamental question is whether categories simply mirror an underlying structure of nature, or instead come from the complex interactions of human beings among themselves and…

Physics and Society · Physics 2008-06-19 Andrea Puglisi , Andrea Baronchelli , Vittorio Loreto

Identifying the intent of a citation in scientific papers (e.g., background information, use of methods, comparing results) is critical for machine reading of individual publications and automated analysis of the scientific literature. We…

Computation and Language · Computer Science 2019-10-01 Arman Cohan , Waleed Ammar , Madeleine van Zuylen , Field Cady

The infrastructure upon which the functioning of society depends is composed of complex ecosystems of systems. Consequently, we must reason about the properties of such ecosystems, which requires that we construct models of them. There are…

Logic in Computer Science · Computer Science 2024-11-15 Didier Galmiche , Timo Lang , David Pym

This paper gives a generative model of the interpretation of formal logic for data-driven logical reasoning. The key idea is to represent the interpretation as likelihood of a formula being true given a model of formal logic. Using the…

Artificial Intelligence · Computer Science 2022-03-01 Hiroyuki Kido

We present the fundamentals of the quantum theoretical approach we have developed in the last decade to model cognitive phenomena that resisted modeling by means of classical logical and probabilistic structures, like Boolean, Kolmogorovian…

Neurons and Cognition · Quantitative Biology 2023-02-27 Diederik Aerts , Massimiliano Sassoli de Bianchi , Sandro Sozzo , Tomas Veloz

Conceptual spaces are geometric representations of conceptual knowledge, in which entities correspond to points, natural properties correspond to convex regions, and the dimensions of the space correspond to salient features. While…

Artificial Intelligence · Computer Science 2017-10-26 Shoaib Jameel , Steven Schockaert

We address the relation between two apparently distinct problems: The quest for a deeper understanding of the nature of consciousness and the search for time and space as emergent structures in the quantum mechanical world. We also advance…

History and Philosophy of Physics · Physics 2017-09-29 Augusto Cesar Lobo

The Axiom-Based Atlas is a novel framework that structurally represents mathematical theorems as proof vectors over foundational axiom systems. By mapping the logical dependencies of theorems onto vectors indexed by axioms - such as those…

Artificial Intelligence · Computer Science 2025-04-02 Harim Yoo

The Galois lattice is a graphic method of representing knowledge structures. The first basic purpose in this paper is to introduce a new class of Galois lattices, called graded Galois lattices. As a direct result, one can obtain the notion…

Logic · Mathematics 2021-09-14 Reza Sotoudeh , Hamidreza Goudarzi , Ali Akbar Nikoukar

This brief brochure is intended to present a philosophical theory known as relational materialism. We introduce the postulates and principles of the theory, articulating its ontological and epistemological content using the language of…

History and Philosophy of Physics · Physics 2024-09-05 Bekir Baytaş , Ozan Ekin Derin

This paper introduces and outlines a new integrative field, Ideometrics. It is the systematic science of generating, evaluating, and prioritising ideas, based on the proposed sense of ideas and assigning value to information by the brain.…

Physics and Society · Physics 2025-08-13 Igor Rudan , Aziz Sheikh

In recent decades there has been a resurge of interest in the foundations of quantum theory, partly motivated by new experimental techniques, partly by the emerging field of quantum information science. Old questions, asked since the…

Quantum Physics · Physics 2008-10-29 Eric G. Cavalcanti

Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete…

Logic in Computer Science · Computer Science 2017-07-28 Willem Conradie , Sabine Frittella , Alessandra Palmigiano , Michele Piazzai , Apostolos Tzimoulis , Nachoem M. Wijnberg

Clear and effective explanations are essential for human understanding and knowledge dissemination. The scope of scientific research aiming to understand the essence of explanations has recently expanded from the social sciences to machine…

Computation and Language · Computer Science 2025-05-26 Giacomo Magnifico , Eduard Barbu