Secondary coordination logic and artificial intelligence

Author: Gui Qiquan
Publisher:
Publish Date: 2002-07-01
Features: This book, "Paraconsistent Logic and Artificial Intelligence (AI)," covers the fundamental principles of paraconsistent logic, including historical background, real prototypes, paraconsistent logic propositional calculus, predicate calculus, deontic calculus, and preliminary applications in set theory and dialectical logic, all written by the author. The second part features most of the innovative paraconsistent axiom systems, largely the work of Chen Lizhi. These include coherent, intuitionistic, behaviorist, fuzzy, non-monotonic, and other logical systems, as well as dialectical logic. I merely provided some background ideas, guiding his interest toward the formalization of dialectical logic; in terms of technical contributions, only a small portion belongs to the author, but the author made significant revisions in the text. Chen Lizhi believes that the axiom system of deductive logic by Researcher Zhang Qingyu has a Carnapian-like rigor and formal elegance. However, Chen himself, due to his habit of thinking as an engineer, was compelled to keep in mind the need to address computer programming and machine implementation when constructing the formal system. The third part on applications of computer artificial intelligence was handled by Associate Professor Zhu Fuxi of the Computer Science Department at Wuhan University. He has years of experience in this field and has thoroughly absorbed the relevant literature by daCosta. The logic ideas of the book's author exhibit a clear non-mainstream flavor, and it can be said that we particularly favor non-classical logics and belong to the "third world" of logicians.