Mind your language! Controlled language for inference purposes
Jana Z. Sukkarieh · 2003
The Knowledge Representation (KR) community and the Natural Language Processing community, in our opinion, have common goals yet finding a language that is expressive enough and capable of efficient reasoning is yet a challenge. We have claimed elsewhere that having a Natural Language(NL)-like KR may be a step towards solving that challenge. The NL-like KR we looked at denes a controlled subset of English that is not trivial and exhibits powerful reasoning properties. Controlled Language for Inference Purposes (CLIP) is a dialect of English that was considered while developing a domain-independent knowledge-based system. The system takes as input 'clippy' utterances, Ui, and uses a NL-like KR called McLogic to deduce plausible inferences from Ui and give a justification for these deductions.