REVIEW 4 cited by
PyReason: Software for Open World Temporal Logic
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
The growing popularity of neuro symbolic reasoning has led to the adoption of various forms of differentiable (i.e., fuzzy) first order logic. We introduce PyReason, a software framework based on generalized annotated logic that both captures the current cohort of differentiable logics and temporal extensions to support inference over finite periods of time with capabilities for open world reasoning. Further, PyReason is implemented to directly support reasoning over graphical structures (e.g., knowledge graphs, social networks, biological networks, etc.), produces fully explainable traces of inference, and includes various practical features such as type checking and a memory-efficient implementation. This paper reviews various extensions of generalized annotated logic integrated into our implementation, our modern, efficient Python-based implementation that conducts exact yet scalable deductive inference, and a suite of experiments. PyReason is available at: github.com/lab-v2/pyreason.
Forward citations
Cited by 4 Pith papers
-
Adversarially Robust Abductive Fusion of Pre-trained Transformer-based Perception Models
A domain-knowledge-free error-detection layer, built from per-model label vector pools, is fused via consistency-based abduction to match hand-crafted rules on clean data and outperform majority voting under coordinat...
-
Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
A probabilistic-circuit model over rule subsets lets knowledge graph completion use 70-96% fewer rules while retaining about 91% of full-rule-set accuracy.
-
Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
A logic programming and abduction method ranks likely future regions for dark vessels, achieving higher recall per search area than tested deep learning baselines on AIS data.
-
Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
A facet-based comparison of DeepProbLog, Scallop, and DomiKnowS with efficiency measurements on four toy tasks, identifying challenges for future neurosymbolic frameworks.
Discussion (0). Continue with ORCID to comment.