Sampling-Based SAT/ASP Multi-model Optimization as a Framework for Probabilistic Inference

2018 ◽  
pp. 88-104 ◽  
Author(s):  
Matthias Nickles
Keyword(s):  
Probabilistic Inference ◽  
Model Optimization

Task information and performance in probabilistic inference tasks.

1976 ◽  
Author(s):  
Berndt Brehmer ◽  
Jan Kuylenstierna ◽  
Jan-Erik Liljergren
Keyword(s):  
Probabilistic Inference ◽  
And Performance

ERROR LOCALIZATION DIAGNOSTIC MODEL OPTIMIZATION IN DIGITAL STATE MACHINES NETWORKS

2019 ◽  
Author(s):  
Irina Bystrova ◽  
E. Danil'chuk ◽  
Boris Podkopaev
Keyword(s):  
Single Component ◽  
Diagnostic Model ◽  
State Machines ◽  
Model Optimization ◽  
Error Localization ◽  
Diagnostic Models

The problem of constructing a diagnostic model for a network S consisting of a number of digital automata is considered, provided that the diagnostic models of all network components are known. It is assumed that these models are given by systems of logical equations, and the errors to be detected are localized in any but a single component of the network.

Computational Techniques for Probabilistic Inference

1991 ◽  
Author(s):  
Edward H. Shortliffe ◽  
Gregory F. Cooper
Keyword(s):  
Probabilistic Inference ◽  
Computational Techniques
Sign in / Sign up

Export Citation Format

Share Document