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
|
Project Status |
Completed (Fiscal Year 2010)
|
Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2010: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2009: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2008: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2007: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
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.
|
Report
(6 results)
Research Products
(58 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 計画様相論理2010
Author(s)
青木義次
Organizer
日本計画行政学会計画理論研究専門部会
Place of Presentation
東京
Year and Date
2010-05-29
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-