PDF(214 KB)

从实践思维看现代逻辑的发展

With the development of computer science and the deepening study within the field of Artificial Intelligence,Classical Logics Theory have widely been applied and developed,Logic idea on study,objects and methods have also had their transformation.The logical function no longer merely was confined to the effective inference,but has been applied to comprehensive discussion about the programs,patterns,methods and rules in agent s thinking activities.This paper takes the practical thought as meta-thought(logics...