Towards an automated reasoning for computing with words.

Elham Sahebkar Khorasani Shahram Rahimi

Published in: FUZZ-IEEE (2010)

Keyphrases

automated reasoning
reasoning systems
theorem proving
probabilistic reasoning
knowledge representation
theorem prover
automated verification
reasoning tasks
decision procedures
n gram
text classification
higher order
optimal solution
keywords
knowledge base
prime implicants
neural network