Syllogistic reasoning by strand algebra.
Mandrita MondalKumar Sankar RayPublished in: Int. J. Bio Inspired Comput. (2017)
Keyphrases
- reasoning systems
- knowledge representation
- knowledge base
- reasoning process
- meta level
- logical reasoning
- query language
- relational algebra
- mental models
- maximal tractable
- spatial reasoning
- automated reasoning
- reasoning problems
- genetic algorithm
- model based reasoning
- formal models
- algebraic expressions
- approximate reasoning
- computational properties
- legal reasoning
- reasoning tasks
- logic programs
- expert systems
- bayesian networks