English
Related papers

Related papers: Reasoning about conscious experience with axiomati…

200 papers

Integrated information theory (IIT) has established itself as one of the leading theories for the study of consciousness. IIT essentially proposes that quantitative consciousness is identical to maximally integrated conceptual information,…

Neurons and Cognition · Quantitative Biology 2017-03-06 Stephan Krohn , Dirk Ostwald

The vast corpus of physics equations forms an implicit network of mathematical relationships that traditional analysis cannot fully explore. This work introduces a graph-based framework combining neural networks with symbolic analysis to…

Machine Learning · Computer Science 2025-08-15 Massimiliano Romiti

Phenomenology is the rigorous descriptive study of conscious experience. Recent attempts to formalize Husserlian phenomenology provide us with a mathematical model of perception as a function of prior knowledge and expectation. In this…

Neurons and Cognition · Quantitative Biology 2022-10-31 Mahault Albarracin , Riddhi J. Pitliya , Maxwell J. D. Ramstead , Jeffrey Yoshimi

A model of knowledge representation is described in which propositional facts and the relationships among them can be supported by other facts. The set of knowledge which can be supported is called the set of cognitive units, each having…

Artificial Intelligence · Computer Science 2013-04-12 A. Julian Craddock , Roger A. Browse

The process of doing Science in condition of uncertainty is illustrated with a toy experiment in which the inferential and the forecasting aspects are both present. The fundamental aspects of probabilistic reasoning, also relevant in real…

History and Overview · Mathematics 2018-02-07 Giulio D'Agostini

It is commonly assumed that a specific testing occasion (task, design, procedure, etc.) provides insights that generalise beyond that occasion. This assumption is infrequently carefully tested in data. We develop a statistically principled…

Applications · Statistics 2020-03-27 Laura Wall , David Gunawan , Scott D. Brown , Minh-Ngoc Tran , Robert Kohn , Guy E. Hawkins

We compare different epistemic notions in the presence of awareness of propositional variables: the logics of implicit knowledge (in which explicit knowledge is definable), explicit knowledge, and speculative knowledge. Different notions of…

Logic in Computer Science · Computer Science 2013-10-29 Hans van Ditmarsch , Tim French , Fernando R. Velazquez-Quesada , Yi N. Wang

The treatment of fairness in decision-making literature usually involves quantifying fairness using objective measures. This work takes a critical stance to highlight the limitations of these approaches (group fairness and individual…

Computers and Society · Computer Science 2024-07-03 Sarra Tajouri , Alexis Tsoukiàs

How should my own decisions affect my beliefs about the outcomes I expect to achieve? If taking a certain action makes me view myself as a certain type of person, it might affect how I think others view me, and how I view others who are…

Artificial Intelligence · Computer Science 2023-07-21 Matt MacDermott , Tom Everitt , Francesco Belardinelli

The features of a logically sound approach to a theory of statistical reasoning are discussed. A particular approach that satisfies these criteria is reviewed. This is seen to involve selection of a model, model checking, elicitation of a…

Statistics Theory · Mathematics 2018-05-09 Luai Al-Labadi , Zeynep Baskurt , Michael Evans

We tackle the problem of consciousness by taking the naturally selected, embodied organism as our starting point. We provide a formalism describing how biological systems such as human bodies self-organize to hierarchically interpret…

Artificial Intelligence · Computer Science 2026-03-06 Michael Timothy Bennett , Sean Welsh , Anna Ciaunica

String diagrammatic calculi have become increasingly popular in fields such as quantum theory, circuit theory, probabilistic programming, and machine learning, where they enable resource-sensitive and compositional algebraic analysis.…

Logic in Computer Science · Computer Science 2025-06-30 Gabriele Lobbia , Wojciech Różowski , Ralph Sarkis , Fabio Zanasi

We present a computational model of mathematical reasoning according to which mathematics is a fundamentally stochastic process. That is, on our model, whether or not a given formula is deemed a theorem in some axiomatic system is not a…

Logic · Mathematics 2020-12-16 David H. Wolpert , David Kinney

Functional theories of consciousness, based on emergence of conscious experiences from the execution of a particular function by an insentient brain, face the hard problem of consciousness of explaining why the insentient brain should…

Neurons and Cognition · Quantitative Biology 2025-04-29 Danko D. Georgiev

Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various strengths. In spite of the usefulness of arguments in a decision…

Artificial Intelligence · Computer Science 2012-07-19 Leila Amgoud , Henri Prade

The tension between qualitative theorizing and quantitative methods is pervasive in the social sciences, and poses a constant challenge to empirical research. But in science studies as an interdisciplinary specialty, there are additional…

Digital Libraries · Computer Science 2015-05-25 Loet Leydesdorff

Affective computing has proven to be a viable field of research comprised of a large number of multidisciplinary researchers resulting in work that is widely published. The majority of this work consists of computational models of emotion…

Artificial Intelligence · Computer Science 2009-03-05 Joost Broekens

There are two approaches for simulating memory as well as learning in artificial intelligence; the functionalistic approach and the cognitive approach. The necessary condition to put the second approach into account is to provide a model of…

Artificial Intelligence · Computer Science 2023-06-01 Mahdi Mollakazemiha , Hassan Fatzade

We introduce cognitive-affective maps (CAMs) as a novel tool to assess individual experiences and belief systems. CAMs were first presented by the cognitive scientist and philosopher Paul Thagard as a graphical representation of a mental…

Populations and Evolution · Quantitative Biology 2022-02-22 Lisa Reuter , Jordan Mansell , Carter Rhea , Andrea Kiesel

Consciousness has been hypothesized to operate as a global workspace, which accesses and integrates multimodal information in a unified manner, supports expectation violation monitoring and reduction, and the motivation, programming and…

Neurons and Cognition · Quantitative Biology 2025-11-26 D. Rudrauf , G. Sergeant-Perthuis , O. Belli , Y. Tisserand , G. Di Marzo Serugendo