English
Related papers

Related papers: A Comprehensive Implementation of Conceptual Space…

200 papers

Cognition does not only depend on bottom-up sensor feature abstraction, but also relies on contextual information being passed top-down. Context is higher level information that helps to predict belief states at lower levels. The main…

Artificial Intelligence · Computer Science 2018-01-09 Bernhard Hengst , Maurice Pagnucco , David Rajaratnam , Claude Sammut , Michael Thielscher

In a recent paper, two multi-representations for the measurable sets in a computable measure space have been introduced, which prove to be topologically complete w.r.t. certain topological properties. In this contribution, we show them…

Computational Complexity · Computer Science 2010-06-03 Yongcheng Wu

Despite the remarkable success of large large-scale neural networks, we still lack unified notation for thinking about and describing their representational spaces. We lack methods to reliably describe how their representations are…

Machine Learning · Computer Science 2025-06-02 Henry Conklin

Systems for language understanding have become remarkably strong at overcoming linguistic imperfections in tasks involving phrase matching or simple reasoning. Yet, their accuracy drops dramatically as the number of reasoning steps…

Computation and Language · Computer Science 2020-05-04 Daniel Khashabi , Erfan Sadeqi Azer , Tushar Khot , Ashish Sabharwal , Dan Roth

A fundamental cognitive process is the ability to map value and identity onto objects as we learn about them. Exactly how such mental constructs emerge and what kind of space best embeds this mapping remains incompletely understood. Here we…

Neurons and Cognition · Quantitative Biology 2019-05-31 Evelyn Tang , Marcelo G. Mattar , Chad Giusti , Sharon L. Thompson-Schill , Danielle S. Bassett

Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of…

Mathematical Software · Computer Science 2020-02-13 Katja Bercic , Jacques Carette , William M. Farmer , Michael Kohlhase , Dennis Müller , Florian Rabe , Yasmine Sharoda

Trustworthiness of artificially intelligent agents is vital for the acceptance of human-machine teaming in industrial manufacturing environments. Predictable behaviours and explainable (and understandable) rationale allow humans…

Artificial Intelligence · Computer Science 2023-05-22 Vedran Galetić , Alistair Nottle

Continuous phase spaces have become a powerful tool for describing, analyzing, and tomographically reconstructing quantum states in quantum optics and beyond. A plethora of these phase-space techniques are known, however a thorough…

Quantum Physics · Physics 2020-02-24 Bálint Koczor , Robert Zeier , Steffen J. Glaser

The perceived similarity between objects has often been attributed to their physical and conceptual features, such as appearance and animacy, and the theoretical framework of object space is accordingly conceived. Here, we extend this…

Neurons and Cognition · Quantitative Biology 2024-08-06 Shan Xu , Xinran Feng , Yuannan Li , Jia Liu

For the last decade, there has been a push to use multi-dimensional (latent) spaces to represent concepts; and yet how to manipulate these concepts or reason with them remains largely unclear. Some recent methods exploit multiple latent…

Computer Vision and Pattern Recognition · Computer Science 2024-09-24 Lorenzo Olearo , Giorgio Longari , Simone Melzi , Alessandro Raganato , Rafael Peñaloza

In consciousness science, several promising approaches have been developed for how to represent conscious experience in terms of mathematical spaces and structures. What is missing, however, is an explicit definition of what a 'mathematical…

Neurons and Cognition · Quantitative Biology 2023-01-30 Johannes Kleiner , Tim Ludwig

The study of complex systems through the lens of category theory consistently proves to be a powerful approach. We propose that cognition deserves the same category-theoretic treatment. We show that by considering a highly-compact cognitive…

Neurons and Cognition · Quantitative Biology 2021-08-04 Sophie Alyx Taylor , Son Cao Tran , Dan V. Nicolau

Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…

Logic in Computer Science · Computer Science 2020-05-29 Reynald Affeldt , Jacques Garrigue , Takafumi Saikawa

In this chapter tools and techniques from the mathematical theory of formal concept analysis are applied to hypertext systems in general, and the World Wide Web in particular. Various processes for the conceptual structuring of hypertext…

Artificial Intelligence · Computer Science 2018-10-18 Robert E. Kent , Christian Neuss

Perceptual geometry refers to the interdisciplinary research whose objectives focuses on study of geometry from the perspective of visual perception, and in turn, applies such geometric findings to the ecological study of vision. Perceptual…

Neurons and Cognition · Quantitative Biology 2011-11-29 Arash Sangari , Hasti Mirkia , Amir H. Assadi

Advances in networking and computing technologies throughout the early decades of the 21st century have transformed long-standing dreams of pervasive communication and computation into reality. These technologies now form a rapidly evolving…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-15 Mohsen Amini Salehi , Adel N. Tousi , Hai Duc Nguyen , Murtaza Rangwala , Omar Rana , Tevfik Kosar , Valeria Cardellini , Rajkumar Buyya

Abstract axiomatic formulation of mathematical structures are extensively used to describe our physical world. We take here the reverse way. By making basic assumptions as starting point, we reconstruct some features of both geometry and…

History and Overview · Mathematics 2021-02-12 B. F. Rizzuti , L. M. Gaio , C. Duarte

The concepts of independence and totalness of subspaces are introduced in the context of quasi-probability distributions in phase space, for quantum systems with finite-dimensional Hilbert space. It is shown that due to the…

Mathematical Physics · Physics 2018-04-04 A. Vourdas

In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…

Logic in Computer Science · Computer Science 2017-06-05 Kei Matsumoto

Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched…

Logic in Computer Science · Computer Science 2012-01-23 Pascal Hitzler , Markus Krötzsch , Guo-Qiang Zhang