Cover Image

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mendez-Lucero, Miguel Angel, Gallardo, Enrique Bojorquez, Belle, Vaishak
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Information Theory Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
by: Molick, Sanderson, et al.
Published: (2026)

Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026)

Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
by: Izumo, Takashi
Published: (2025)

Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
by: Xu, Jianfeng
Published: (2026)

Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints
by: Xu, Jianfeng, et al.
Published: (2025)

Order-theoretic models for decision-making: Learning, optimization, complexity and computation
by: Hack, Pedro
Published: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
by: Zhang, Maifang, et al.
Published: (2026)

Neuro-symbolic Weak Supervision: Theory and Semantics
by: Upreti, Nijesh, et al.
Published: (2025)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
by: Park, Young Bin
Published: (2026)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

The logic behind desirable sets of things, and its filter representation
by: de Cooman, Gert, et al.
Published: (2023)

Computational Dualism and Objective Superintelligence
by: Bennett, Michael Timothy
Published: (2023)

da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems
by: Rocha, Gabriel
Published: (2026)

Length Functions and the Dimension of Points in Self-Similar Fractal Trees
by: Porter, Christopher P.
Published: (2024)

On logic and generative AI
by: Gurevich, Yuri, et al.
Published: (2024)

A minimal coalition logic
by: Li, Yinfeng, et al.
Published: (2024)

A Truly Concurrent Semantics for Reversible CCS
by: Melgratti, Hernán, et al.
Published: (2023)

Comparing differentiable logics for learning with logical constraints
by: Flinkow, Thomas, et al.
Published: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

A first-order logic characterization of safety and co-safety languages
by: Cimatti, Alessandro, et al.
Published: (2022)

A Counterfactual Cause in Situation Calculus
by: Liu, Daxin, et al.
Published: (2025)

An Algebraic Framework for Hierarchical Probabilistic Abstraction
by: Upreti, Nijesh, et al.
Published: (2025)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

Practical Considerations for Agentic LLM Systems
by: Sypherd, Chris, et al.
Published: (2024)

Categorical semantics of compositional reinforcement learning
by: Bakirtzis, Georgios, et al.
Published: (2022)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
by: Zhou, Can, et al.
Published: (2026)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
by: Collinson, Matthew, et al.
Published: (2026)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
by: Caminati, Marco B.
Published: (2024)

Systemic Constraints of Undecidability
by: Bulin, Seth
Published: (2025)

Automated Process Planning Based on a Semantic Capability Model and SMT
by: Köcher, Aljosha, et al.
Published: (2023)

Computability Limits of Sequential Hypothesis Testing
by: Leshem, Amir
Published: (2026)

Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra
by: Li, Cheuk Ting
Published: (2025)

On the Computability of Finding Capacity-Achieving Codes
by: Gkekas, Angelos, et al.
Published: (2025)

Formalising Propositional Information via Implication Hypergraphs
by: Dalal, Vibhu
Published: (2025)

Neural logic programs and neural nets
by: Antić, Christian
Published: (2024)

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
by: Mendez, Julian Alfredo
Published: (2023)

Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024)