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
Latency-Critical Inference Serving for Deep Learning
Latency-Critical Inference Serving for Deep Learning
Deep learning (DL) technology has made remarkable strides in terms of accuracy through the advancement of sophisticated and large deep neural networks (DNNs). Yet, its adoption in ...
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 ...
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...
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...
Foundations and Future Directions for Causal Inference in Ecological Research
Foundations and Future Directions for Causal Inference in Ecological Research
ABSTRACT
Ecology often seeks to answer causal questions, and while ecologists have a rich history of experimental approaches, novel observational data streams and...
Predicting the actions of other agents
Predicting the actions of other agents
The ability to predict the actions of other agents is vital for joint action tasks where the actions of two actors must be coordinated in a timely fashion. Recent accounts suggest ...
Predicting the actions of other agents
Predicting the actions of other agents
The ability to predict the actions of other agents is vital for joint action tasks where the actions of two actors must be coordinated in a timely fashion. Recent accounts suggest ...
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...