2009 Fiscal Year Self-evaluation 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 |
(1)事例からの定式化:計画行為の妥当性について問題となった事例を収集するとともに、これらを『シナリオ』として整理する。計画行為の妥当性が問題となる典型シナリオの各段階の論理記述と推論記述の整理を行う。
(2)計画妥当性の様相論理学的定式化:計画の実現性を議論するために必然・可能という様相を扱う。様相論理学では必然・可能を論じる公理系としていくつかのものが提案されているが、計画の実態を反映する公理系として、どれが望ましいかを検討する。公理系を用いて、計画実現可能性を確認する方法を構築する。
|
