2016 Fiscal Year Final Research Report
New formal methods based on game semantics and their descriptive hierarchy
| Project/Area Number |
26540001
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Theory of informatics
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
|
|---|
| Research Collaborator |
NEMOTO Takako
HORIHATA Yoshihiro
KASHIMA Ryo
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Keywords | ゲーム意味論 / 高次計算論 / ゲーム木 / プッシュダウン・オートマトン |
|---|
| Outline of Final Research Achievements |
In this research, we have invented several new formal methods based on game semantics in order to analyze the complication of multi-dimensional multi-agent systems, which cannot be captured by ordinary computability theory. Among others, we investigated the determinacy strength of infinite games recognized by various pushdown automata, and pinned them down in terms of higher recursion theory. We also got some new results on the query complexity of game trees with random inputs.
|
| Free Research Field |
数理論理学
|
