本文首先基于对超协调性的分析给出一个超协调逻辑的分类,并提出一个超协调逻辑的新定义,由此容易看出各种超协调逻辑存在一定的共性;然后,从一种统一的观点研究超协调逻辑基础,提出一种优先语义作为超协调性的模型论基础,并提出一个表演算系统作为超协调性的证明论基础,它们包括很多超协调逻辑作为特殊形式,并且容易导出新的超协凋逻辑系统,进一步,它们也能作为非单调逻辑的统一基础,使得超协调逻辑与非单调逻辑结合在同一逻辑框架中。 Based on the analysis of hypercoordination, this paper gives a classification of hyper-coordination logic and proposes a new definition of hyper-coordination logic. It is easy to see that there exist some commonalities in various hyper-coordination logic. Then, from a unified From the viewpoint of superconorientation logic, this paper proposes a kind of priority semantics as the foundation of super-coordination model theory and proposes a kind of performance computing system as the proof foundation of super-coordination. They include many super-coordination logic as special forms and are easy to export Furthermore, they can also serve as a unified basis for non-monotone logic, making the super-coordinated logic and non-monotonic logic combined in the same logical framework.