ACL RD-TEC 1.0 Summarization of C82-1003
Paper Title:
KNOWLEDGE REPRESENTATION METHOD BASED ON PREDICATE CALCULUS IN AN INTELLIGENT CAI SYSTEM
KNOWLEDGE REPRESENTATION METHOD BASED ON PREDICATE CALCULUS IN AN INTELLIGENT CAI SYSTEM
Primarily assigned technology terms:
Other assigned terms:
- approach
- axioms
- calculus notation
- concept
- concepts
- domain knowledge
- knowledge
- language expression
- logic
- logical expression
- method
- names
- natural language
- negation
- phrase
- predicate calculus
- predicates
- procedure
- process
- queries
- query
- relation
- semantic
- sentence
- sentences
- subclass
- syntax
- syntax and semantics
- terms
- translation rules
- user
- verb
- verb phrase
