Domain Specific Knowledge Representation for an Intelligent Tutoring System to Teach Algebraic Reasoning.
Miguel Arevalillo-HerráezDavid ArnauJosé Antonio González-CaleroAladdin AyeshPublished in: ITS (2012)
Keyphrases
- knowledge representation
- domain specific
- automated reasoning
- knowledge base
- knowledge representation and reasoning
- domain independent
- knowledge engineering
- representing knowledge
- general purpose
- inference engine
- rule based reasoning
- artificial intelligence
- description logics
- knowledge acquisition
- knowledge processing
- logic programming
- expert systems
- knowledge representation formalisms
- knowledge based systems
- reasoning mechanisms
- natural language processing
- natural language
- knowledge representation systems
- knowledge structures
- probabilistic reasoning
- semantic web
- machine learning
- human reasoning
- reasoning systems
- production rules
- causal reasoning
- general knowledge
- intelligent tutoring systems
- reasoning tasks
- neural network
- formal representation
- tutoring system
- domain experts
- computer algebra
- deductive reasoning
- qualitative reasoning