Using Venn Diagrams to Perform Logic Reasoning: An Algorithm for Automating the Syllogistic Reasoning of Categorical Statements.
Robbie T. NakatsuPublished in: Int. J. Intell. Syst. (2014)
Keyphrases
- dynamic programming
- cost function
- preprocessing
- experimental evaluation
- detection algorithm
- high accuracy
- matching algorithm
- optimal solution
- objective function
- learning algorithm
- search space
- recognition algorithm
- computational complexity
- similarity measure
- worst case
- segmentation algorithm
- convergence rate
- categorical data
- optimization algorithm
- computational cost
- np hard
- k means
- knowledge base