The inference mechanism is a key technology in AI and Logic Programming.
推理机制是人工智能及逻辑程序设计的关键技术。
Reductive inference in traditional logic is performed under certain condition.
传统逻辑学的演绎推理是在一定的条件限制之下进行的。
He thought that logic is the science of necessary and valid inference rules.
他认为，逻辑是必然有效的推论规律的科学。
He thought that logic is the science of necessary and valid inference rules.
他认为，逻辑是必然有效的推论规律的科学。
应用推荐