Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Inference in action
View through CrossRef
Substructural logics arise whenever classical logic is put to new uses, and logicians from Serbia have been in the fore-front here. In this paper, we join the substructural tradition with another recent trend, viz. dynamic logic of information update. We show how these two approaches fit together in particular, through a number of representation theorems concerning structural rules. The proper background for these results turn out to be modal and dynamic logics of cross-model relations. We connect this finding with recent accounts of generalized inference, interpolation, and preservation results.
Title: Inference in action
Description:
Substructural logics arise whenever classical logic is put to new uses, and logicians from Serbia have been in the fore-front here.
In this paper, we join the substructural tradition with another recent trend, viz.
dynamic logic of information update.
We show how these two approaches fit together in particular, through a number of representation theorems concerning structural rules.
The proper background for these results turn out to be modal and dynamic logics of cross-model relations.
We connect this finding with recent accounts of generalized inference, interpolation, and preservation results.
Related Results
Evolutionary Grammatical Inference
Evolutionary Grammatical Inference
Grammatical Inference (also known as grammar induction) is the problem of learning a grammar for a language from a set of examples. In a broad sense, some data is presented to the ...
Screening Deep Learning Inference Accelerators at the Production Lines
Screening Deep Learning Inference Accelerators at the Production Lines
Artificial Intelligence (AI) accelerators can be divided into two main buckets, one for training and another for inference over the trained models. Computation results of AI infere...
L'Action, synthèse de l'être : analyse de l'Action de Maurice Blondel à la lumière du "vinculum substantiale" de Leibniz
L'Action, synthèse de l'être : analyse de l'Action de Maurice Blondel à la lumière du "vinculum substantiale" de Leibniz
Notre thèse veut montrer que l’Action est une synthèse de l’être. L’action ici est entendue dans la perspective de Blondel qui montre - dans sa thèse française, l’Action de 1893, e...
Prediction in action: toward an empirical science of active inference
Prediction in action: toward an empirical science of active inference
Active inference has emerged as an influential theoretical framework in cognitive neuroscience, offering a unifying account of perception, action, and cognition under the single pr...
Embodied decisions as active inference
Embodied decisions as active inference
Abstract
Decision-making is often conceptualized as a serial process, during which sensory evidence is accumulated for the choice alternatives un...
Extended Bayesian inference incorporating symmetry bias
Extended Bayesian inference incorporating symmetry bias
AbstractIn this study, we start by proposing a causal induction model that incorporates symmetry bias. This model has two parameters that control the strength of symmetry bias and ...
Bayesian models of human online inference
Bayesian models of human online inference
Modèles bayésiens d'inférence séquentielle chez l'humain
Le paradigme bayésien s'est imposé comme une interprétation mathématique élégante du comportement humain da...
Affirmative Action
Affirmative Action
Affirmative action refers to laws or government-mandated or voluntary policies or procedures designed to promote the equitable inclusion of members of certain historically excluded...