A Study Of Dynamic Epistemic Logic In Context

Domestic and foreign scholars have been deeply discussed the development of dynamic epistemic logic.Logicians put forward many constructive views from different perspectives.Based on the current situation in domestic and abroad,this paper mainly focuses on the cognitive logic of epistemic and dynamic mutual deduction under the context,which studies the dynamic context of epistemic logic.The paper is based on the cognitive logic and relevance theory and mainly aim at the multi agent complex and dynamic processing problems,then realized the integration of language and logic which use the main stay of the solution of cognitive limitations associated with language and based on the analysis and verify of the DEMO system.In terms with the relationship between the static and dynamic,the dynamic epistemic logic associated with context combines with cognitive logic and dynamic logic,so as to form the dynamic context of epistemic logic,which provides conditions for the dynamic changes and the new knowledge.Through the analysis of context,it overcome the natural language of fuzziness,sidedness and limitation,find the unique way that the cognitive logic handling the construction of system and analysis discourse,which solve the ambiguity of language itself and achieved the organic integration of language environment and theoretical framework,which is great significance to solve problems and construct dynamic cognitive system.According to causal analytical method,it still exists to some problems in the process of dynamic context.Secondly,read and study the review of well-known foreign and domestic scholars based on the combination of logic and history.Thirdly,through adopt to system analysis method,studies the element of system and make systematic analysis,it presents the complex subject and dynamic problem.Through the analysis of language forms,grammar and semantics,finally it is concluded the solution about ambiguity avoidance and system process.