, Theory Of Meaningful Information
Knowledge representation language is based on the strong AI model, which completely complies with the requirements of a strong AI originally formulated by Weizenbaum in 1976.