Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility.
Hiroyuki KidoPublished in: CoRR (2023)
Keyphrases
- data driven
- probabilistic logic
- logical framework
- logical operations
- generative model
- logical rules
- logical representation
- statistical models
- lambda calculus
- information theoretic
- statistical information
- modal logic
- predicate logic
- truth values
- predicate calculus
- computational properties
- logical formulas
- dynamic logic
- probabilistic knowledge
- consistency checking
- automated reasoning
- inference rules
- logic programming