Weighted Rules under the Stable Model Semantics

• URL: http://arxiv.org/abs/2605.09519v1
• Date: Sun, 10 May 2026 13:05:44 GMT
• Title: Weighted Rules under the Stable Model Semantics
• Abstract summary: We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic.<n>This provides versatile methods to overcome the deterministic nature of the stable model semantics.
• Score: 4.756254991351937
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic. This provides versatile methods to overcome the deterministic nature of the stable model semantics, such as resolving inconsistencies in answer set programs, ranking stable models, associating probability to stable models, and applying statistical inference to computing weighted stable models. We also present formal comparisons with related formalisms, such as answer set programs, Markov Logic, ProbLog, and P-log.

Related papers

• Fuzzy Propositional Formulas under the Stable Model Semantics [7.052794276153519]
  We define a stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas.<n>The syntax of the language is the same as the syntax of fuzzy propositional logic, but its semantics distinguishes stable models from non-stable models.
  arXiv  Detail & Related papers  (2025-06-15T10:38:56Z)
• Modeling Boundedly Rational Agents with Latent Inference Budgets [56.24971011281947]
  We introduce a latent inference budget model (L-IBM) that models agents' computational constraints explicitly. L-IBMs make it possible to learn agent models using data from diverse populations of suboptimal actors. We show that L-IBMs match or outperform Boltzmann models of decision-making under uncertainty.
  arXiv  Detail & Related papers  (2023-12-07T03:55:51Z)
• Stability and L2-penalty in Model Averaging [0.0]
  We introduce stability from statistical learning theory into model averaging. We show that stability can ensure that model averaging has good performance and consistency under reasonable conditions. We also propose a L2-penalty model averaging method without limiting model weights and prove that it has stability and consistency.
  arXiv  Detail & Related papers  (2023-11-23T07:11:15Z)
• Distributed Bayesian Learning of Dynamic States [65.7870637855531]
  The proposed algorithm is a distributed Bayesian filtering task for finite-state hidden Markov models. It can be used for sequential state estimation, as well as for modeling opinion formation over social networks under dynamic environments.
  arXiv  Detail & Related papers  (2022-12-05T19:40:17Z)
• Numerically Stable Sparse Gaussian Processes via Minimum Separation using Cover Trees [57.67528738886731]
  We study the numerical stability of scalable sparse approximations based on inducing points. For low-dimensional tasks such as geospatial modeling, we propose an automated method for computing inducing points satisfying these conditions.
  arXiv  Detail & Related papers  (2022-10-14T15:20:17Z)
• Stability Preserving Data-driven Models With Latent Dynamics [0.0]
  We introduce a data-driven modeling approach for dynamics problems with latent variables. We present a model framework where the stability of the coupled dynamics can be easily enforced.
  arXiv  Detail & Related papers  (2022-04-20T00:41:10Z)
• Surrogate Modeling for Physical Systems with Preserved Properties and Adjustable Tradeoffs [0.0]
  We present a model-based and a data-driven strategy to generate surrogate models. The latter generates interpretable surrogate models by fitting artificial relations to a presupposed topological structure. Our framework is compatible with various spatial discretization schemes for distributed parameter models.
  arXiv  Detail & Related papers  (2022-02-02T17:07:02Z)
• On the Stochastic Stability of Deep Markov Models [2.417285483528549]
  Deep Markov models (DMM) are scalable generalizations of Markov models for representation, learning, and inference problems. We provide sufficient conditions of DMM's probabilistic stability as defined in the context of dynamical systems. We propose a few practical methods for designing constrained DMMs with guaranteed stability.
  arXiv  Detail & Related papers  (2021-11-08T16:14:37Z)
• Estimation of Bivariate Structural Causal Models by Variational Gaussian Process Regression Under Likelihoods Parametrised by Normalising Flows [74.85071867225533]
  Causal mechanisms can be described by structural causal models. One major drawback of state-of-the-art artificial intelligence is its lack of explainability.
  arXiv  Detail & Related papers  (2021-09-06T14:52:58Z)
• Accounting for Unobserved Confounding in Domain Generalization [107.0464488046289]
  This paper investigates the problem of learning robust, generalizable prediction models from a combination of datasets. Part of the challenge of learning robust models lies in the influence of unobserved confounders. We demonstrate the empirical performance of our approach on healthcare data from different modalities.
  arXiv  Detail & Related papers  (2020-07-21T08:18:06Z)
• Control as Hybrid Inference [62.997667081978825]
  We present an implementation of CHI which naturally mediates the balance between iterative and amortised inference. We verify the scalability of our algorithm on a continuous control benchmark, demonstrating that it outperforms strong model-free and model-based baselines.
  arXiv  Detail & Related papers  (2020-07-11T19:44:09Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.