本研究は、語用論の動的側面の形式化を図ろうとするものである。昨年度検討した我々の形式化は、関連性理論のいう総合的演繹規則を更新関数とするもので、発話自身が変化しなくても、話者の意図の切り替えによって、適用する演繹規則を切り替えることができ、語用論的な解釈の動的側面を説明している。本年度は、演繹規則の位置づけ、あるいは演繹規則の切り替えの原理的な仕組みについて検討した。演繹規則のうち切り替わりうるものとは、知識や思い込みといったものであり、それらは推論においてデフォルトをなしている。短いスパンの発話が動的というより静的におこなわれているのは、デフォルト論理でエクステンションを静的に確定させることができる(つまり、知らなくてもいつか知ることが出来る)ことに対応している。談話の真に動的な部分は、デフォルトとして働く演繹規則が切り替わることでおきるのであり、それは意図をもってデフォルトを切り替える(つまり、エクステンションを変える)ことに相当すると定式化することができる。論理学の理論としてアップグレード論理が最近脚光をあびているが、それとの対応を検討している。これらの装置の下で、言語による伝達の形式化をより精密に検討した。日本語においては、会話の文が命題あるいは論理形式を構成する力が弱く、曖昧な伝達やプランニングが見られるが、それらを制約の形式で伝達するようなモデルを仮定すると、談話レベルのプランニングが明確になることが分かった。統語理論として過去に検討されてきた情報の部分性に関する研究との対応を検討している。