Methods for integration of knowledge in logic structures

This research develops several novel frameworks for knowledge integration for different concrete knowledge base structures, including conjunctive and disjunctive knowledge base structures, propositional knowledge base structure and stratified knowledge base structure by consensus-based and negotiation-based techniques. Some aspects of knowledge integration, including rationality and computational complexity are investigated and discussed. The results of this research are widely applied from Politics and Economics in Social Science to Image Processings, Databases and Multiagent Systems in Computer Science.