Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic.
Ben GoertzelPublished in: CoRR (2020)
Keyphrases
- linear logic
- fuzzy logic
- uncertain databases
- decision making
- uncertain data streams
- sequent calculus
- fixed point
- uncertain data
- logical framework
- fuzzy sets
- genetic algorithm
- modal logic
- intuitionistic logic
- cut elimination
- proof search
- logic programming
- probabilistic model
- inference rules
- desirable properties
- neural network
- artificial intelligence
- bayesian networks
- belief networks
- control system
- proof theoretic
- fuzzy rules