AN INTELLIGENT SEMANTICS COMPREHENSION SYSTEM BASED ON INTENSIONAL LOGIC

• 一个基于内涵逻辑的智能语义解释系统