Buchumschlag

On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gilio, Angelo, Over, David E., Pfeifer, Niki, Sanfilippo, Giuseppe
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
von: D'Asaro, Fabio Aurelio, et al.
Veröffentlicht: (2022)

Deductive Systems for Logic Programs with Counting
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)

Revealing Algorithmic Deductive Circuits for Logical Reasoning
von: Nguyen, Phuong Minh, et al.
Veröffentlicht: (2026)

Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models
von: Abdaljalil, Samir, et al.
Veröffentlicht: (2025)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
von: Derkinderen, Vincent, et al.
Veröffentlicht: (2024)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
von: Martires, Pedro Zuidberg Dos, et al.
Veröffentlicht: (2023)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

Revac: A Social Deduction Reasoning Agent
von: Arya, Mihir Shriniwas, et al.
Veröffentlicht: (2026)

Probabilistic Strategy Logic with Degrees of Observability
von: Mu, Chunyan, et al.
Veröffentlicht: (2024)

Exploring the Reversal Curse and Other Deductive Logical Reasoning in BERT and GPT-Based Large Language Models
von: Wu, Da, et al.
Veröffentlicht: (2023)

Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs
von: Cheng, Kewei, et al.
Veröffentlicht: (2024)

Deduction Game Framework and Information Set Entropy Search
von: Meng, Fandi, et al.
Veröffentlicht: (2024)

Efficiently Learning Probabilistic Logical Models by Cheaply Ranking Mined Rules
von: Feldstein, Jonathan, et al.
Veröffentlicht: (2024)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
von: Chen, Michael K., et al.
Veröffentlicht: (2025)

Integrating Belief Domains into Probabilistic Logic Programs
von: Azzolini, Damiano, et al.
Veröffentlicht: (2025)

Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
von: Sun, Fengsong, et al.
Veröffentlicht: (2024)

Lattice Deduction Transformers
von: Davis, Liam, et al.
Veröffentlicht: (2026)

DELE: Deductive $\mathcal{EL}^{++}$ Embeddings for Knowledge Base Completion
von: Mashkova, Olga, et al.
Veröffentlicht: (2024)

DVM: Towards Controllable LLM Agents in Social Deduction Games
von: Zhang, Zheng, et al.
Veröffentlicht: (2025)

The Stackelberg Speaker: Optimizing Persuasive Communication in Social Deduction Games
von: Zheng, Zhang, et al.
Veröffentlicht: (2025)

Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines
von: Plambeck, Swantje, et al.
Veröffentlicht: (2025)

To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits
von: Lazzari, Nicolas, et al.
Veröffentlicht: (2026)

Boosting Deductive Reasoning with Step Signals In RLHF
von: Li, Jialian, et al.
Veröffentlicht: (2024)

Teaching Probabilistic Logical Reasoning to Transformers
von: Nafar, Aliakbar, et al.
Veröffentlicht: (2023)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
von: Hillerstrom, Fieke, et al.
Veröffentlicht: (2024)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
von: Verreet, Victor, et al.
Veröffentlicht: (2024)

What Will Happen Next: Large Models-Driven Deduction for Emergency Instances
von: Hu, Zhengqing, et al.
Veröffentlicht: (2026)

Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model
von: Gao, Yisen, et al.
Veröffentlicht: (2025)

Correctness Learning: Deductive Verification Guided Learning for Human-AI Collaboration
von: Jin, Zhao, et al.
Veröffentlicht: (2025)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
von: Roy, Rajarshi, et al.
Veröffentlicht: (2025)

Toward Mechanistic Explanation of Deductive Reasoning in Language Models
von: Maltoni, Davide, et al.
Veröffentlicht: (2025)

Investigating the Robustness of Deductive Reasoning with Large Language Models
von: Hoppe, Fabian, et al.
Veröffentlicht: (2025)

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine
von: Jiang, Zhuoxuan, et al.
Veröffentlicht: (2025)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
von: Zou, Jia, et al.
Veröffentlicht: (2024)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
von: Wan, Zishen, et al.
Veröffentlicht: (2026)

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
von: Ping, Bowen, et al.
Veröffentlicht: (2025)

Enhancing Geometric Ontology Embeddings for $\mathcal{EL}^{++}$ with Negative Sampling and Deductive Closure Filtering
von: Mashkova, Olga, et al.
Veröffentlicht: (2024)

Data Analysis and Performance Evaluation of Simulation Deduction Based on LLMs
von: Zhang, Shansi, et al.
Veröffentlicht: (2025)

Abduction-Deduction Entanglement: Domain Generalization via Representation Transplants
von: Jalaldoust, Kasra, et al.
Veröffentlicht: (2026)

Inductive-Deductive Strategy Reuse for Multi-Turn Instructional Dialogues
von: Ou, Jiao, et al.
Veröffentlicht: (2024)