An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning.
Alexander SteenPublished in: CoRR (2022)
Keyphrases
- lightweight
- automated reasoning
- horn logic
- proof theory
- deductive reasoning
- order of magnitude reasoning
- reasoning engine
- probabilistic logic
- computational properties
- human reasoning
- intuitionistic logic
- logical framework
- knowledge representation
- logic programming
- logical inference
- development environments
- communication infrastructure
- logical rules
- reasoning about actions
- classical logic
- reasoning tasks
- default reasoning
- probabilistic knowledge
- abductive reasoning
- knowledge base
- dos attacks
- proof theoretic
- vector space
- anomaly detection
- data model