| 摘要 | 第1-10页 |
| Abstract | 第10-12页 |
| Chapter 1 Introduction | 第12-25页 |
| ·The purpose and significance of the research | 第12-18页 |
| ·The present situation of research of formalization to context at home and abroad | 第18-20页 |
| ·The scope of the research in this paper | 第20-22页 |
| ·The methodology of the research and the structure of this paper | 第22-25页 |
| Chapter 2 literature review | 第25-39页 |
| ·The significance of context research | 第25-28页 |
| ·The significance of the formalization to natural language | 第28-29页 |
| ·The significance of the formalization to context | 第29-31页 |
| ·Theory review | 第31-39页 |
| ·Discourse Representation Theory | 第31-33页 |
| ·File Change Semantics | 第33-35页 |
| ·Dynamic Predicate Logic | 第35-37页 |
| ·Situation Semantics | 第37-39页 |
| Chapter 3 context | 第39-62页 |
| ·What is context | 第39-53页 |
| ·The definition and categories of context | 第39-44页 |
| ·The function and effect of context | 第44-53页 |
| ·Context and meaning | 第53-62页 |
| ·The relationship between context and meaning | 第53-55页 |
| ·Accumulation of information in Markov process | 第55-58页 |
| ·The two basic characteristics of context | 第58-62页 |
| Chapter 4 The dynamic semantic theory and context formalization | 第62-120页 |
| ·the problem concerning context and presupposition | 第62-72页 |
| ·The problem concerning presupposition | 第62-66页 |
| ·the semantic study and pragmatic study on presupposition | 第66-70页 |
| ·the theoretical discussion on projection | 第70-72页 |
| ·Studying the dynamic theory on presupposition | 第72-84页 |
| ·The binding theory and context | 第73-78页 |
| ·The satisfaction theory | 第78-79页 |
| ·The comparison between the binding theory and the satisfaction theory | 第79-81页 |
| ·The dynamic context theory | 第81-84页 |
| ·Focus and presupposition | 第84-93页 |
| ·The focal presupposition and existential presupposition | 第84-88页 |
| ·The backgroundpresupposition rule | 第88-90页 |
| ·Explanation to focal effect on background presupposition rules | 第90-93页 |
| ·The contextual formalization in the frame of the discourse representation theory | 第93-100页 |
| ·The formalization to the contextual anaphoric pronoun | 第93-96页 |
| ·The formalization to contextual quantifier phrases and infinitive noun phrase | 第96-98页 |
| ·The formalization to definitive noun phrase | 第98-100页 |
| ·The contextual formalization in the frame of file change semantics | 第100-105页 |
| ·The formalization to anaphoric pronoun, quantifier phrases and infinitive nouns in context | 第100-102页 |
| ·Accordant description to contextual nouns and its formalization | 第102-104页 |
| ·The formalization to the parameters including time, place, speaker, hearer etc | 第104-105页 |
| ·The contextual formalization in the frame of dynamic predicate logic | 第105-109页 |
| ·The contextual formalization to anaphoric pronoun, existential quantifier, infinitive noun phrase | 第105-108页 |
| ·The contextual formalization to universal quantifier | 第108-109页 |
| ·The contextual formalization in the frame of situational semantics | 第109-120页 |
| ·The meaning of pronoun and its contextual formalization | 第109-111页 |
| ·The meaning of noun and its contextual formalization | 第111-113页 |
| ·The meaning of verb and its contextual formalization | 第113-114页 |
| ·The meaning of noun phrase and its contextual formalization | 第114-117页 |
| ·The meaning of sentence and its contextual formalization | 第117-120页 |
| Chapter 5 Conclusion | 第120-126页 |
| ·Accomplishment of the research | 第120-121页 |
| ·The limitation of the research | 第121-123页 |
| ·Suggestions for further research | 第123-126页 |
| Bibliography | 第126-129页 |
| Acknowledgements | 第129页 |
