2010 Fiscal Year Final Research Report
The identification method for the validity of planning
| Project/Area Number |
19560611
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Town planning/Architectural planning
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
AOKI Yoshitsugu Tokyo Institute of Technology, 大学院・理工学研究科, 教授 (80159300)
|
|---|
| Project Period (FY) |
2007 – 2010
|
| Keywords | 計画妥当性 / 典型シナリオ / 帰納論理 / 整合性 / 計画様相 / 可能様相 / 必然様相 |
|---|
| Research Abstract |
From a viewpoint such that we need the checking methodology for the consistency of the planning, we make typical planning scenarios based on the actual planning cases, and we examined the logical form in the scenario. As the result, we find the modal expressions of possibility and necessity, and then, we construct the axiomatic system of planning modal logic. Furthermore, we proposed an algorithm utilized this axiomatic system, and we confirm the effectiveness of the algorithm by the implemented computer program.
|
