Imagen de Portada

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Xu, Jianfeng
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
por: Itoh, Kei
Publicado: (2025)

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

On Formally Undecidable Traits of Intelligent Machines
por: Fox, Matthew
Publicado: (2024)

Translating Informal Proofs into Formal Proofs Using a Chain of States
por: Wang, Ziyu, et al.
Publicado: (2025)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
por: Foldvik, Simon
Publicado: (2026)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
por: Rehan, Zainab, et al.
Publicado: (2026)

Learning Formal Mathematics From Intrinsic Motivation
por: Poesia, Gabriel, et al.
Publicado: (2024)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
por: Elboher, Yizhak Yisrael, et al.
Publicado: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
por: Aria, Hadi Partovi, et al.
Publicado: (2026)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
por: Shea-Blymyer, Colin, et al.
Publicado: (2024)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
por: Ahmad, Faseeh, et al.
Publicado: (2019)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

Rational Inference in Formal Concept Analysis
por: Carr, Lucas, et al.
Publicado: (2025)

Formally Certified Approximate Model Counting
por: Tan, Yong Kiam, et al.
Publicado: (2024)

Formally Verified Approximate Policy Iteration
por: Schäffeler, Maximilian, et al.
Publicado: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
por: Liu, Qi, et al.
Publicado: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
por: Luckcuck, Matt, et al.
Publicado: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
por: Luckcuck, Matt, et al.
Publicado: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
por: Wang, David, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
por: Bertossi, Leopoldo
Publicado: (2026)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
por: Ramani, Keshav, et al.
Publicado: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
por: Ospanov, Azim, et al.
Publicado: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
por: Bourgaux, Camille, et al.
Publicado: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
por: Nikooroo, Saleh, et al.
Publicado: (2025)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
por: Kim, Chang-Eop
Publicado: (2024)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
por: Olson, Taylor
Publicado: (2026)

Formally Explaining Decision Tree Models with Answer Set Programming
por: Takemura, Akihiro, et al.
Publicado: (2026)

An ASP-Based Framework for MUSes
por: Kabir, Mohimenul, et al.
Publicado: (2025)

Enhancing Symbolic Machine Learning by Subsymbolic Representations
por: Roth, Stephen, et al.
Publicado: (2025)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
por: Contreras, Ricardo, et al.
Publicado: (2025)

A Theory of Formalisms for Representing Knowledge
por: Zhang, Heng, et al.
Publicado: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
por: Li, Sirui, et al.
Publicado: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
por: Florath, Andreas
Publicado: (2024)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
por: Arkoudas, Konstantine, et al.
Publicado: (2026)

Constrained Assumption-Based Argumentation Frameworks
por: De Angelis, Emanuele, et al.
Publicado: (2026)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
por: Chen, Chen, et al.
Publicado: (2025)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
por: Han, Sangjun, et al.
Publicado: (2025)