ACL RD-TEC 1.0 Summarization of W98-1410
Paper Title:
MACROPLANNING WITH A COGNITIVE ARCHITECTURE FOR THE ADAPTIVE EXPLANATION OF PROOFS
MACROPLANNING WITH A COGNITIVE ARCHITECTURE FOR THE ADAPTIVE EXPLANATION OF PROOFS
Primarily assigned technology terms:
- algorithm
- analyzer
- case analysis
- classification
- conflict resolution
- development environment
- encoding
- explanation generation
- instantiation
- knowledge bases
- learning
- learning mechanism
- linguistic realizer
- matching
- modeling
- muitimodal generation \
- multimodal dialog
- multimodal generation
- natural deduction
- planner
- proof presentation
- reasoning
- resolution mechanism
- sentence planner
- text planner
- tile
- verbalization
- weighting
Other assigned terms:
- acronym
- axioms
- case
- chunk
- chunks
- cognitive
- cognitive model
- cognitive science
- communicative acts
- community
- computer program
- concept
- concepts
- cpu time
- data structure
- declarative knowledge
- deduction
- derivation
- device
- dialog
- discourse
- discourse history
- fact
- formal language
- generation
- heuristic
- hierarchical knowledge
- human cognition
- hypotheses
- hypothesis
- inferences
- knowledge
- knowledge base
- lemma
- linguistic
- mathematics
- metaphor
- method
- modality
- natural language
- probability
- process
- production rule
- production rules
- relation
- representations
- sentence
- sentences
- speech acts
- style
- terms
- text
- textbook
- theorem
- theories
- theory
- user
- user model
