計画行為の妥当性論証にむけた公理化
スポンサーリンク
概要
- 論文の詳細を見る
This paper proposes a Kripke frame that represents logical and empirical requirements with which the validity of planning action is verified. The frame is composed of a consistent set of states in planning and an equivalent relation among the states. It is shown that the frame is equal to S5 frame in modal logic. Therefore, it is possible to apply S5 axiom system to the proof of the validity of planning action. This paper also shows that the axioms and some theorems derived by the axiom system can be associated with the empirical understandings concerning the validity of planning actions.
- 社団法人日本建築学会の論文
- 2000-06-30
著者
関連論文
- 40378 環境と行動との関係に影響を及ぼす行為者の態度に関する研究(熱・エネルギー,環境工学I)
- 5294 建築の計画の不整合性を判定する方法について(設計プロセス(2),建築計画I)
- ゲーム論から観た談合に関する小考
- 社会的コンフリクトとしてみた談合のゲーム論的考察 : 談合の数理 第3報
- ことばによる経路案内の意味の分析(2002年度大会 (北陸) 学術講演梗概集)
- 5390 方向性を参照した位置関係の把握
- 5205 地域住民側からみた地域医療施設の利用構造 : 1969年度の調査と1989年度の調査における比較
- 5362 東北地方中・南部における民家の室名の意味 : 建築空間の外延的意味論 その2
- 21世紀の防火研究教育 : 性能設計時代にむけての防火研究はどう広がるか(防火部門 研究協議会)(1999年度日本建築学会大会(中国))
- 高草木 明博士の討論に対する回答
- 音楽生成のための多次元構造表現編集ツール"Gestalt Editor"の開発
- 機能和声に基づく音楽構造の生成手法の提案
- 11070 人工物を構成する操作のGAによる学習における操作コストの影響(設計システム・CAD,情報システム技術)
- 環境問題の解決法のマルチエージェントシミュレーションによる模索
- 環境問題の解決法のマルチエージェントシミュレーションによる模索
- デザインという行為のデザイン
- 5441 デザインするという行為の外部観測的モデルの形式表現(言語・モデル,建築計画I)
- 機能和声と音楽の認知について
- 池泉回遊式庭園など時間軸の中で体験される空間と音楽の体験の比較について
- 音楽と建築空間とを融合する作曲かつ空間デザイン手法の提案に向けて
- 音楽生成行為のモデルとしての自動作曲(音楽生成・表情生成 1)
- 音楽生成行為のモデルとしての自動作曲
- 5553 行為者の内的状態を考慮した駐車行動のモデル化の試み(空間モデル分析・シミュレーション,建築計画I)
- 5481 駐輪場からのはみ出し駐輪がなされる状況の調査(安全計画・避難・駅・駐輪場,建築計画I)
- 公共建築の再構成と更新のための計画技術(研究協議会,建築計画部門,2008年度日本建築学会大会(中国))
- プロトタイプからプロトコルへ : 21世紀の建築計画学のあり方を展望する(研究協議会,建築計画部門,2006年度日本建築学会大会(関東))
- (3)カーネギーメロン大学建築学科における環境系教育(I 欧米の建築教育現場の実際,岐路に立つ建築教育-国際化のうねりのなかで)
- 良い建築と環境をつくるために社会システムはどうあるべきか(記念行事シンポジウム,2002年度日本建築学会大会(北陸))
- 都立高校における入札選定と委員会選定の比較 : 東京都設計者選定委員会の実情に関する調査(2002年度大会 (北陸) 学術講演梗概集)
- 5484 建築計画および建築設計の説明への行為の概念の導入
- 11012 基礎の設計事例データベース化に関する研究
- 空間体験を触発する空間 -音響インターメディアの試作
- 5456 都市シミュレーションゲームを用いたパラメータによるデザインプロセスにおける行為の記述(設計方法論,建築計画I)
- 5455 ピクトグラムを用いた環境共生建築の設計支援方法に向けて(設計方法論,建築計画I)
- 5454 構成論的方法論のプロセスとしての建築デザインのプロセス(設計方法論,建築計画I)
- 4030 環境共生建築の簡易設計手法に関する基礎的研究(環境工学)
- マルチエージェントモデルによる大規模ホールにおける避難性状の予測 : 歩行者シミュレーションシステムSimTreadの実務的利用可能性の検証,峯岸良和,竹市尚広,吉田克之(評論)
- 環境共生を実現するための科学とデザインの多重螺旋的循環(VII 掉尾論文,環境共生を巡る7つの論点-立ち止まって常識を再考すると)
- 5288 建築と科学的探究の共通性と差異(設計プロセス(1),建築計画I)
- 40028 連想イメージ空間に布置した建築写真の関係性に関する研究(空間の認知・印象(1),環境工学I)
- 現代建築の分析に向けた遮蔽緑シーンブックの開発 : 建築内部空間における視覚体験の記述方法に関する研究 : その2,脇坂圭一(評論)
- 建築学における人間と構築環境の関係についてのいくつかの研究の紹介
- Understanding spatial descriptions (特集:空間の知覚と認知のモデル)
- 40446 建築環境システムの異常の原因を判断する手法の基礎的研究 : 経験的知識を活用するアスペクト推論法の適用可能性(環境負荷・ストック評価,環境工学I)
- 5569 景観写真の複雑さの評価と容量次元の関係についての実験的研究(景観構造,建築計画I)
- 音楽生成のための多次元構造表現編集ツール "Gestalt Editor" の開発
- 空間体験を触発する空間-音響インターメディアの試作
- 機能和声に基づく音楽構造の生成手法の提案
- 機能和声と音楽の認知について
- 建築設備技術者はどこで生まれるのか
- 5339 シンセシスとアナリシスの繰り返しとしてのサヴォア邸設計プロセス(設計理論,建築計画I)
- 5330 デザイン科学における多義的二重性について(設計プロセス:理論,建築計画I)
- 5460 属性文法を用いたオフィス収納家具のコンフィギュレーション(概念・テキスト, 建築計画I)
- 5459 人工物構成過程の定式化とデザインにおける知の特徴づけ(概念・テキスト, 建築計画I)
- 5280 充足問題を解く行為としてのデザイン(設計プロセス,建築計画I)
- デザインにおける論理的観点と非論理的観点を包括するモデルの提案 : 複雑系科学の観点から見たデザイン研究(セッション : 社会システムと知能(複雑系とオークション), 「社会システムにおける知能」及び一般)
- デザインにおける論理的観点と非論理的観点を包括するモデルの提案 : 複雑系科学の観点から見たデザイン研究
- デザインにおける論理的観点と非論理的観点を包括するモデルの提案 : 複雑系科学の観点から見たデザイン研究(社会システムと知能(複雑系とオークション), 「社会システムにおける知能」及び一般)
- デザインにおける論理的観点と非論理的観点を包括するモデルの提案 : 複雑系科学の観点から見たデザイン研究
- 我らが将来に持続可能社会はあるのか?
- 5555 建築デザイン研究の形式化のための出来事と行動の考察(空間モデル分析・シミュレーション,建築計画I)
- 8004 建築設計における倫理的問題の制度論的検討(建築経済・住宅問題)
- 言語と指示対象との関係に基づくデザインの二層モデル : デザイン・コミュニティにおける文化のシミュレーションに向けて(社会システムにおける知能 : エージェントと社会基盤)
- サステナブル社会に向けた価値観創発のマルチエージェントシミュレーション(社会システムにおける知能 : マルチエージェントと社会システム)
- 言語と指示対象との関係に基づくデザインの二層モデル : デザイン・コミュニティにおける文化のシミュレーションに向けて(社会システムにおける知能(エージェントと社会基盤))(「社会システムにおける知能」及び一般)
- サステナブル社会に向けた価値観創発のマルチエージェントシミュレーション(社会システムにおける知能(マルチエージェントと社会システム))(「社会システムにおける知能」及び一般)
- 設計に関わる類推の論理表現
- 付与情報に観る創発メカニズムの違い : 談合の数理 第2報
- 複雑系科学に基づく大学-学会モデルによるアカデミックソサエティの盛衰予測に関する研究 : 大学における講座制と研究効率に関する一考察
- 5546 入札額決定のモデル化と入札参加者数の効果(環境行動,建築計画I)
- 5545 コンフィグレーション空間における経路の表現(環境行動,建築計画I)
- エネルギー計算に用いる生活スケジュールに関する研究 : 第2報-冷房負荷に及ぼす生活スケジュールの影響
- エネルギー計算に用いる生活スケジュールに関する研究 : 第1報 確率プロセスに基づく発生法の基礎的検討
- 複雑系科学に基づく環境共生型持続社会システムの探究 : 室内温熱環境調整行動が広域環境システムに及ぼす影響のシミュレーション(第4部 学術論文,地球環境建築のフロンティア)
- 持続可能型社会における経済システムに関する一考察 : マルチ・エージェント・シミュレーションによる人間-環境-社会システムの解析
- 地球環境と共生する持続的社会の探究 : 人間-環境-社会システムの計算モデル
- マルチエージェントシミュレーションによる談合モデル
- ゲーム論から観た談合に関する小考
- 持続可能型社会における経済システムに関する一考察 : マルチ・エージェント・シミュレーションによる人間-環境-社会システムの解析
- 地球環境と共生する持続的社会の探究 : 人間-環境-社会システムの計算モデル
- マルチエージェントシミュレーションによる談合モデル
- 社会システムとしての学術組織のエージェントに基づくシミュレーション
- 複雑系モデルに基づくアカデミック・ソサエティの盛衰予測に関する研究 : 大学における研究組織と効率に関する考察
- 建築に関わる思考における類推の論理モデル化に向けて(2002年度大会 (北陸) 学術講演梗概集)
- 論文審査に着目した学会の質の推移のマルチエージェントシミュレーション
- 複雑系モデルに基づくアカデミック・ソサエティの盛衰予測に関する研究 : マルチエージェントシミュレーションによる大学人事システム考
- 論文審査に着目した学会の質の推移のマルチエージェントシミュレーション
- 複雑系モデルに基づくアカデミック・ソサエティの盛衰予測に関する研究 : マルチエージェントシミュレーションによる大学人事システム考
- ことばによる経路案内の統語論的分析
- 複雑系モデルに基づくアカデミック・ソサエティの盛衰予測に関する研究 : 日本建築学会・建築関連大学における実事求是の模索
- 意図的とみなせる行動の発生に関する思考実験
- 防災計画についてのエキスパートジャッジのモデル化
- 「ゴミ処理有料化に対する家計の購買行動改善によるゴミ排出抑制効果の推定法に関する研究」に対する討論(高草木 明著 日本建築学会論文集, 第537号, 235-240, 2000年11月号掲載)
- 情報理論を適用した離散型シミュレーションによるテーマパーク解析に関する一考察
- 屋内環境の変動と居住者の環境調整行動との相互作用の計算モデル
- 5419 地図の内容に伴う記憶内容の違い
- 計画行為の妥当性論証にむけた公理化
- モデルの維持による空間記述の逐次解釈
- 5507 デザインに関する合理的な説明のための形式表現について
- 建築設計に用いられる多種記号体系を関連づける枠組み