AIとFM

昭和 61年 度 卒 業 論文

AIと

FM

早稲田大学理 工学部建築学 科 渡辺仁史研究室

G3D009

新井

聡

目次

目的 第

1章 AI

■

AIと

2

は

知識工学

2-1・

エ キ ス パ ー トシ ス テ ム の 特 徴 と そ の 有 用 な 点

2-2

建 築 用 エ キ ス パ ー トシ ス テ ム に 要 求 さ れ る も の

2‐

2-1

日本 語 処 理

:

2=2-2

グ ラ フ ィ ッ ク機 能

2-2-3

図形認 識

2-2｀ -4 1C A D(コ

.

4。

ン ピ ユ ■ 夕・ エ イ デ ッ ト・ ド ラ フ テ イ ン グ )

との 関 係 エ キ ス パ ー トシ ス テ ム の 試 作

4‐ 1

.

シ ェ ル に よ る エ キ ス パ ー トシ ス テ ム

4-■ -l BRAINS概

要

4-1-2

知 識ベ ー ス の移植 結果

4-1-3

考察

4-2

自 作 推 論 エ ン ジ ン に よ る エ キ ス パ ー トシ ス テ ム

°

4-2-1

エ キ ス パ ー ト シ ス テ ム概 要

4-2-2

結果

4-2-3

考察

第

2章 FM

lo FMと 2.空

は

間有効利用

2-1

現 在 の 空 間 使 用 の あ り方

2-2

空 間使用最適化の方法論

2-3

実行例

2-3-■

作成 プ ログラムの概 要

2-3-2

結果

2-3-2-1

プ ログラム性 能

2-3-2-2

理工学 部教室割

2-3-3 3

考察

空間配置

. 4 CADと

の リン ク につ いて

参考文献 あ とがき 付録

目的

￨ =

現 在、 コ ン ピ ュ ー タ の 利 用 方 法 が 数 々 開 発 さ れ つ つ あ る. そ の 中 で フ ア シ リテ ィ 0マ ネ ー ジ メ ン ト (FM)と エ キ ス パ ー トシ ス テ ム を 取 り上 げ 建 築 へ の 応 用 を考 え る.

￨

第

■

讐講

A I

・一 ヽ 一 ¨

AIと

は

AIと

は 人 工 知 能 (Artifical lnteri30ncQ)の 略 称 で あ り、 そ の 定 義 は あ い ま い で あ る。 1956年 、 夏 、 こ の 名 称 が 初 め て ダ ー トマ ス 大 学 で 開 か れ た A=史 上 歴 史 的 な 会 議 (ダ ー ト マ ス 会 議 )で 使 用

さ れ た. こ の と き ロ ッ ク フ ェ ラ ー 基 金 へ 出 し た 提 案 書 の 会 議 目 的 の 要 約 に 次 の よ う な 一 文 が あ る.

『 研 究 は 次 の よ う な 推 測 を 基 盤 と し て 進 め ら れ る.即 ち、 学 習 や そ の 他 の 知 能 の ど ん な 特 徴 も、・あ ら ゆ る 面 で 原 則 的 に は 常 に 正 確 に 記 述 で き、 機 械 が そ れ を 模 倣 で き る と い う 推 測 で あ る.」 こ の 推 測 に 則 り、 現 在 様 々 な 所 で 研 究 が 進 行 中 で あ る. と 同 時 に、 数 々 の 分 野 で 応 用 が 始 ま っ て い る。 こ の 章 で は、 こ の 各 々 の 手 法 を 建 築 計 画 に 応 用 し、 CAD(コ ン ピ ュ ー タ に よ る 設 計 )構 築 の 際 の 問 題 点、 提 案 を 次 の 章 よ り 述 べ て い く こ と と す る. 知識工学 現 在 の 知 識 工 学 に お い て は、 も っ と も 実 用 性 の あ る の と し て エ キ ス パ ー ト 0シ ス テ ム が 上 げ ら れ て い る. エ キ ス パ ー ト シ ス テ ム は 専 門 家 の 知 識 を コ ン ピ ュ ー タ 上 に 乗 せ て そ の 知 識 を 活 用 し よ う とす る こ と に あ る。

2-1

エ キ ス パ ー トシ ス テ ム の 特 徴 と そ の 有 用 な 点

エ キ ス パ ー ト シ ス テ ム は 次 の よ う な 点 で 有 用 で あ る。 1。 専 門 知 識 が な い、 ま た は 得 難 い 場 合 .

2.大 量 の 情 報 を 処 理 す る 場 合 . 問 題 を 取 り巻 く環 境 が 急 速 に 変 化 す る 場 合 .

1に 関 し て は、 木 造 在 来 工 法、 庭 職 人 の 伝 統 的 造 園 手 法 な ど 伝 統 的 知 識 が 失 わ れ つ つ あ り、 一 方、 各 分 野 に 於 て 専 門 化 が 進 ん で き て 一 建 築 家 が 総 て に 於 て 専 門 家 で あ る こ と が 不 可 能 に 近 く な りつ つ あ る. こ の よ う な 場 合 に 対 し て、 エ キ ス パ ー トシ ス テ ム は 建 築 家 の 支 3。

援 シ ス テ ム と し て コ ン サ ル テ ー シ ョ ン を 可 能 と す る も の と 思 わ れ る.

一ヽ ヽ ヽ 一 一 ，

2の

問 題 で は、 建 築 法 規、 種 々 様 々 な 建 築 部 材 な ど の 大 量 の 情 報 を扱 わ ね ば な らな い よ う な 今 日の 設 計 環 境 に お い て は エ キ ス パ ー ト ・ シ ス テ ム は そ の 重 要 性 を 増 し つ つ あ る.例 え ば,建 築 法 規 を シ ス テ ム に乗 せ て お く こ と に よ っ て 法 規 与 ェ ッ ク に 関 わ る わ ず らわ しき か ら の が れ る こ と が で き、 部 材、 例 え ば 窓 に 関 す る 市 販 製 品 の 知 識 ベ ー ス が あ れ ば ど の メ ー カ の 部 材 が 適 して い る か 等 の コ ン サ ル テ ー “ シ ヨ ン を 行 う こ と が 出 来 る か も 知 れ な い.

3の

問 題 は 余 り建 築 計 画 に 応 用 す る こ と は な い で あ ろ う が、 例 え ば 原 子 力 発 電 所 な ど に お い て、 緊 急 事 態 に 対 す る 的 確 な 処 置 を導 き 出 す こ と は 人 間 の 限 界 を 越 え る た め に エ キ ス パ ー トシ ス テ ム が 用 い

られている. これは、 建築施工 において い くつかの実用例 が報告 ヽ れ て い る。 こ の よ う に エ キ ス パ ー トシ ス テ ム は 様 々 な 発 展 性 が 期 待 さ れ て い る が、 も っ と も 重 大 な こ と は こ の よ う な シ ス テ ム の 有 利 な 点、 不 利 な 点 を 考 え て 最 も 適 し た 使 い 方 を 見 つ け 出 す こ と に な る. さ も な け れ ば こ れ ら の シ ス テ ム も 有 効 性 を 発 揮 す る こ と な く終 っ て し ま うで あ ろ う。

2-2

建 築 用 エ キ ス パ ー トシ ス テ ム に 要 求 さ れ る も の

建 築 用 エ キ ス パ ー トシ ス テ ム を 構 築 す る 際 に 要 求 さ れ る も の と し て 次 の 4点 を 上 げ た い. 日本 語 処 理 グ ラ フ ィ ッ ク機 能 図形認識

CAD(コ

ン ピ ュ ー タ・ エ イ デ ッ ト・ ド ラ フ テ ィ ン グ )と の 関 係

こ の 各 々 に つ い て 提 言 を 与 え る.

2-2-1

日本 語 処 理

エ キ ス パ ー トシ ス テ ム が 日 常 化、 一 般 化 す る た め に は 日 本 語 に 依 っ て や り取 り が 為 さ れ な け れ ば な ら な い. さ も な け れ ば、 エ キ ス パ ー トシ ス テ ム が 目 指 す と こ ろ の 専 門 知 識 の 一 般 化 が 大 き く 阻 ま れ る こ と,に な る.従 っ て 日 本 語 処 理 の 出 来 る シ ェ ル ま た は、 処 理 系 で 作

成 さ れ た も の 出 な け れ ば な ら な い . こ の 点 に 於 て、 BRAINS、 壮 玄 な ど 日 本 の ソ フ トハ ウ ス に よ る 日 本 語 対 応 の ソ フ ト ウ ェ ア や 外 国 ソ フ ト ウ ェ ア の 日 本 語 対 応 版 が 徐 々 に で あ る が 発 売 さ れ つ つ あ る.

2-′ 2-2

グ ラ フィ ッ ク機 能

建 築 計 画 に お いて は ほ と ん どの 作 業 が図 形 化 さ れ で 伝 達 され るた め、 文 章 か ら 文 章 に よ る マ ン・ マ シ ン・ イ ン タ ー フ ェ イ ス よ りは る か に 文 章 か ら 図 形 へ の マ ン・ マ シ ン・ イ ン タ ー フ ェ イ ス で あ る こ と ・ が 望 ま し い. こ れ に は エ キ ス パ ー トシ ス テ ム に よ る 出 力 が グ ラ フ ィ

ッ ク 機 能 を 備 え て い る 必 要 が あ る。 ま た、 図 形 に よ る 伝 達 情 報 は、 文 章 に よ る 伝 達 情 報 の 数 十 倍 か ら、 数 百 倍 に の ぼ り情 報 伝 達 能 力 と して も 一 際 優 れ る こ と と な る. 現 在 エ キ ス パ ー ト構 築 用 の 簡 易 言 語 に 当 た る シ ェ ル は 建 築 用 を想 定 して い な い た め に ほ と ん ど の 場 合 グ ラ フ ィ ッ ク 機 能 が な い 場 合 が 多 く、 ま た あ っ て も 建 築 計 画 に 適 す る も の で は な い の が 実 状 で あ る. そ の た め 建 築 用 エ キ ス パ ー トシ ス テ ム の 出 現 が 待 た れ る.

2-2-3

図形認 識

こ の 項 目 は 絶 対 必 要 条 件 で は な い が、 後 の 発 展 に 関 し て 必 要 不 可 決 と 思 わ れ る も の で あ る.実 際 の 建 築 設 計 活 動 に 於 て は 文 章 よ り図 形 と い う こ と だ け で な く、 図 形 を 理 解 す る こ と に よ り、 図 形 を新 た に 出 力 す る と い う 場 合 が あ る. こ れ に 関 す る 研 究 も 数 多 く 為 さ れ て い る が 実 用 に 至 る も の は 未 だ に な い. そ こ で 新 た な 方 法 論 と して 部 材 ご と の フ レ ー ム 化 ま た は、 モ ジ ュ ー ル 化 を 提 案 す る.我 々 が 図 形 認 識 を必 要 とす る 場 合 と い う の は コ ン ピ ュ ー タ 上 に 保 管 さ れ て い る 図 形 デ ー タ を 使 用 す る と い う こ と に な る わ け で あ る か ら、 (図 形 を そ の ま ま コ ン ピュー タ に認 識 させ る こ とは 音 声 言 語 をコ ン ピュー タ に認 識 させ る の と同様 一 般 化 か らは 過 か に か け離 れ て い て 応 用 研究 の 段 階 に 入 っ て い な い.)図

形 デ ー タ の表 記 方 法 を変 え る こ と によ っ て 図 形 認 識 を 比 較 的 容 易 に 実 現 で き る も の と か 思 わ れ る.建 築 設 計 上 の 常 識 (例 え ば、 柱 の 上 に は 梁 が く る、 柱 は 垂 直 に 立 つ も の で あ り、 梁 は 水 平 に 掛 か る も の で あ る.)が あ る の で 梁 の 長 さ が い く

ら で あ る か、 ま た 柱 の 高 さ 体 一 対 応 に して お く こ と に の よ う に 柱、 梁 な ど の 属 性 築 常 識 を持 っ て い る シ ス テ

は 幾 ら で あ る か 社 rt 文 章 記 述 に よ リ ー よ っ て 表 記 が 出 来 る も の と 思 わ れ る. こ を フ レー ム 化 す る こ と に よ っ て 共 通 の 建 ム 間 ま た は、 同 シ ス テ ム で の デ ー タ の 再

利 用 が 可 能 と な る と 思 わ れ る。 し か し、 こ の よ う な デ ー タ 構 造 に よ る 表 記 は 総 て の 部 材 が 明 確 に の リン クの さ れ て い る こ と を 前 提 と し て 行 わ れ て い る た め CADと い よ う に そ の 図 形 が ど の 部 材 で あ る か と い う定 義 付 が 行 わ れ て い な 場 合 に は 不 都 合 を 生 じ る も の と 思 わ れ る.

2-2-4

CAD(コ

ン ピ ユ ー タ・ エ イ デ ッ ト・ ド ラ フ テ イ ン グ)

との 関 係 こ の よ う に して 構 築 さ れ た 建 築 用 の エ キ ス パ ー トシ ス テ ム の も っ CA と も 有 効 な 利 用 範 囲 と し て CADと の 関 係 が あ げ ら れ る.現 在 Dと 呼 ば れ て い る も の は コ ン ピ ュ ー タ・ エ イ デ ッ ト・ デ ザ イ ン (コ ・ ン ピ ユ ー タ に よ る 設 計 )で は な く、 コ ン ピ ユ ー タ ・ エ イ デ ッ ト ド

デフディ ング (コ ンピユー タによる製図)の 段階 で しかない. これ をЪ シ ピユータによる設計 にまで高 めるた めには上記 のような問題

が 克 服 さ れ ね ば な ら な い. も っ と も、 問 題 と な る の は デ ー タ の 入 力 ゛ どの様 に 形 式 の 違 い に あ る と 思 わ れ る. し か し AUTO CADな LISPで 書 か れ て お り、 部 材 に 属 性 値 を 持 た せ た 階 層 構 造 な ど と の デ ー タ の や り取 り は 以 外 に 旨 く行 く よ う に な る と 思 わ れ る。 4。

4-1

エ キ ス パ ー トシ ス テ ム の 試 作 シ ェ ル に よ る エ キ ス パ ー トシ ス テ ム

に蓄 日 本 語 対 応 の エ キ ス パ ー ト シ ス テ ム と し て、 渡 辺 仁 史 研 究 室 の BR え られ た知 識 ベ ー ス を 日本 語 対 応 が可 能 な 東 洋 情 報 シ ス テ ム AINSに 移 植 を お こ な っ た。 EXSIS上 知 識 ベ ー ス と して は加 藤 能 治 氏 に よ つ て 作 成 さ れ た ベースを で 作 動 す る 在 来 木 造 小 屋 組 建 築 及 び、 床 組 建 築 工 法 の 知 識 日本 語 対 応 と な っ て お ら ず、 質 問、 コ 使 用 し た.・ 現 在 EXSISは

0

ン サ ル テ ー シ ョ ン 結 果 共 に ロ ー マ 字 に よ っ て な さ れ お り可 読 性 が 不 十 分 で あ っ た. エ キ ス パ ー トシ ス テ ム の 有 効 性 の 一 つ と し て あ げ ら れ る も の は 実 際 の 作 業 現 場 に そ の 分 野 の 専 門 家 が い な い こ と を補 う こ と に あ り、 使 用 者 は コ ン ピ ュ ー タ 等 の エ キ ス パ ー トで は な く、 日 常 に 近 い 形 で の コ ン サ ル テ ー シ ョ ン で あ る た め に は、 日 本 語 に よ り、 コ ン サ ル テ ー シ ョ ン が な さ れ る こ と が も っ と も 望 ま し い. こ の た め に 日本 語 対 応 可 能 な

4-1-l BRAINS概

BRAINSは

BRAINSに

移 植 す る 必 要 性 が 生 じ た.

要

東 洋 情 報 シ ス テ ム か ら販 売 され て い る エ キ ス パ ー

ト構 築 用 の シ ェ ル で あ り、 米 国 で 開 発 さ れ た 推 論 シ ス テ ム

RTや

EXPE

、 EMYCINを

参 考 と し、 実 用 性 を 考 慮 し て 機 能 を 強 化 し た 汎 用 推 論 シ ス テ ム で あ る.使 用 者 側 が 知 識 ベ ー ス を 書 く こ と に よ り、 フ ォ ア ー ド チ ェ ー ン、 パ ッ ク ワ ー ド チ ェ イ ン、 全 事 項 質 問 の 3 つ の 推 論 機 構 を 備 え、 実 用 に 耐 え る よ う に 数 々 の 質 問 形 式、 そ の 他 の コ マ ン ド を 揃 え た 日 本 語 対 応 の 推 論 シ ス テ ム で あ る. 知 識 ベ ー ス の 書 き 方 は,・ イ ン タ ー フ ェ イ ス と な る 質 問 文、 推 論 結 果 を 記 述 す る 「 デ ー タ定 義 」 エ リ ア と ル ー ル を表 記 す る 「 知 識 ベ ー ス 定 義 Jエ リ ア の 2つ の 部 分 に 分 け ら れ る。 「 デ ー タ 定 義 」 エ リ ア で は 推 論 に よ り結 果、 ま た は 中 間 仮 説 と し て 必 要 と な る 事 象 を そ の 事 象 と そ れ を 代 表 す る 変 数 の 二 つ に よ り定 義 す る. こ の 変 数 は 次 で の べ る 「 知 識 ベ ー ス 定 義 Jで 使 用 さ れ、 事 象 自 体 は 推 論 結 果 等 と し て 表 示 さ れ る. こ れ に 加 え て、 質 問 と し て 表 示 す る 文 章 と 選 択 し を 同 様 に 定 義 す る. こ の 際 に 質 問 形 式 を 同 時 に 決 定 す る.「 知 識 ベ ー ス 定 義 Jエ リ ア で は 上 記 の 「 デ ー タ で 定 義 Jで 定 義 し た 変 数 を 使 用 し て ル ー ル を 書 く こ と と す る. こ の 際 に 得 ら れ る 結 論 部 に つ い て そ ° れ ぞ れ 確 信 度 を 設 け る こ と が 可 能 で あ る.

BRAINSの も っ と も 評 価 で き る 機 能 と し て、 そ の イ ン タ ー フ ェ イ ス の 良 さ に あ る.今 ま で の 知 識 ベ ー ス は 自 然 語 表 記 が 出 来 る こ と に 最 大 の 焦 点 を お く あ ま り、 コ ボ ル が そ う で あ っ た よ う に 助 長 な 記 述 と な り、 何 度 も 表 記 す る 必 要 の あ る も の に 対 し て 無 駄 な 手 間 を お いて は 自然 言 語 表 記 の 強 い て き た。 そ れ に 対 し て BRAINSに 部 分 で あ る。 デ ー タ 定 義 と、 ル ー ル 定 義 で あ る 知 識 ベ ー ス 定 義 を分

け て、 知 識 ベ ー ス の み は 簡 易 な 略 記 号 で 書 け る よ う に し た 点 に あ る。 こ れ に よ っ て、 表 記 が 簡 略 化 し た ば か り で な く、 コ ン ピ ュ ー タ 上 に お い て、 ノ ー ド の 使 用 を 抑 え、 メ モ リ の 効 率 か を 計 っ て い る も の と

FH 思 わ れ る。 こ れ に と も な い、 FF RULE、 H RULE等 を 揃 え る こ と に よ っ て EXSISに

H あ る よ う な CH

RULE、

OICEな ど の 様 な 目 標 を わ ぎ わ ざ 別 に 用 意 す る 必 要 性 を な く し、 HH RULEを 設 け る こ と に よ っ て 重 複 表 記 をで き る だ け解 消 し て い る.

ム な ど、 情 報 量 が 多 く な っ た 場 合 に 高 速 の 検 索、 メ モ リ ー の 節 約 が 問 題 と な る が そ の 点 を 見 事 に 解 決 し て い る。 ま た。 BRAINSは

構 築 さ れ た 知 識 ベ ー ス を コ ン パ イ ル す る形 式 を と っ て い る. こ れ に よ り、 高 速 化 が 為 さ れ る と の こ と で あ る が ど れ ほ ど の 機 能 が あ る か に つ い て は 疑 わ し い.多 分 知 識 ベ ー ス を B

RAINSな

い の リ ス ト内 に 格 納 す る 作 業 を 示 す も の と 思 わ れ る. も し、 コ ン パ イ ル に よ り実 行 可 能 な コ ー ド を 出 力 で き る よ う に な る な ら ば 大 変 の ぞ ま し い か ぎ り で あ る. し か し、 こ の コ ン パ イ ル 作 業 に よ る エ ラ ー チ ェ ッ ク機 能 に 関 して は 満 足 で き る も の と な って い る ア ッパ ー パ ー 印 象 を 受 け た.東 洋 情 報 決 ス テ ム で は BRAINSの

SUPER BRAINSを を 抜 き に し て BRAlNSを 評価

ジ ョンにあたる

開 発 し て お り、 こ れ の

す る こ と は 余 り意 味 が な い が、 評価 エ キ ス パ ー トシ ス テ ム を知 ら な い 使 用 者 が 実 用 に 耐 え る エ キ ス パ ー ト シ ス テ ム を 構 築 す る た め に は 十 分 な 機 能 が 揃 っ て い る と 思 わ れ る。 し か し 初 め て の シ ェ ル と し て は 数 々 あ る ル ー ル の 型 が 分 か りづ ら い も の と 思 わ れ る.

4-1-2

知識ベー スの移 植 結果

使用 移 植 は 東 洋 情 報 シ ス テ ム 内 に あ る 端 末 に よ り BRAINSを す る こ と に よ り お こ な っ た。 移 植 か ら 完 全 に 作 動 す る こ と を 確 認 す る ま で に ほ ぼ 3日 で 終 了 し、 BRAINSの 使 い や す さ を証 明す る 結 果 と な っ た. 出 力 は 完 全 日 本 語 化 さ れ、 ほ ぼ 予 定 し て い た 性 能 を

ノじ ︵

こ の 様 な 表 記 法 の 簡 素 化 は、 大 量 の デ ー タ に よ る エ キ ス パ ー トシ ス テ ム を 構 築 す る 際 に は 非 常 に 有 効 セ あ る。 こ の BRAINSに よ エ パ ー キス トシ ス テ り構 築 さ れ た 大 林 組 の 法 規 コ ン サ ル テ ァ シ ョ ン

ギｒ¨‘¨

得 る こ と が で き た . た だ し、 BRAINSが LISPに よ り書 か れ て い る こ と に よ り、 「 、 Jの 解 釈 が 旨 く 行 か ず に 『 100● 100、

105Jと

表示 す べ き と こ ろ が 「 10:9■ ・ れ る 部 分 が あ っ た。

loo、

105J等

と出 力 さ

●

4-1-3

考察

今 回 BRAINSに 日本 語 と し て 知 識 を 移 植 し た こ と に よ り、 エ パ ー ト シ ス テ ム の 操 作 性 が 向 上 し、 よ リ ー 般 的 な も の と な っ た. キス 漢 字 混 じ り に 出 力 さ れ る 日本 語 は 想 像 以 上 に 読 も う と す る イ ン セ ン テ ィ プ を 高 め る 効 果 が あ る こ と が 分 力1つ た. ま た、 漢 字 で 表 記 さ れ た も の は そ れ だ け で 分 か り や す さ を 増 し た.漢 字 は 表 意 文 字 で あ る た め 可 読 性 に 大 き な 影 響 を 与 え る も の と 思 わ れ る。 日 本 人 に よ り 使 用 さ れ る エ キ ス パ ー トシ ス テ ム が も し 実 用 的 に 使 用 さ れ る 際 に は 必 ず 日本 語 に よ り 表 記 さ れ な け れ ば な ら な い. こ の 点 現 在 ま だ AI 関 連 の ソ フ ト ウ ェ ア は 米 国 に 頼 っ て い る の が 現 状 で あ り、 東 洋 情 報 シ ス テ ム の よ う な 日 本 企 業 に よ る ソ フ ト開 発 ま た は、 米 国 ソ フ トハ ウ ス の 漢 字 対 応 が ス ム ー ス に 行 わ れ る こ と を 期 待 す る. こ の 移 植 に よ っ て 日本 語 対 応 の エ キ ス パ ー トシ ス テ ム を構 築 す る こ と に 成 功 し た が 建 築 用 の エ キ ス パ ー トシ ス テ ム と し て は 上 記 の 条 件 を 満 た す こ と か ら は 過 か に ほ ど と お く、 十 分 と は い え な い。 し か し、 日 本 語 対 応 で あ る 点 が 望 ま し い と す る 提 案 は 正 し い こ と が 確 証 さ れ た.

4-2

自 作 推 論 エ ン ジ ン に よ る エ キ ス パ ー トシ ス テ ム

4-■

で 述 べ ら れ た よ う に 日本 語 対 応 で あ る だ け で は 建 築 用 エ ス パ ー ト シ ス テ ム と し て は 不 十 分 で あ る. し か し、 現 在 シ ェ ル に お い ては

BRAINSを

始 め と して 推 論 結 果 を 図 形 表 示 す る こ と が 出 来 な い た め、 リ ス ト処 理 が 可 能 な コ ン ピ ュー タ 言 語 を 使 用 す る こ と に よ り、 推 論 エ ン ジ ン か ら 作 る 必 要 性 に 迫 ら れ た。 2-2の 条 件 をな る べ く み た す べ く エ キ ス パ ー トシ ス テ ム の 作 成 を 試 み た.第 一 条 件 と し て 推 論 結 果 を 図 形 表 示 さ せ る こ と を 前 提 と し た。

:キ

4-2-1

F

エ キ ス パ ー トシ ス テ ム 概 要

プ ロ ダ ク シ ョ ン 型 の エ キ ス パ ー トシ ス テ ム を 動 か す こ と が で き る よ り作 成 し た. こ の 推 論 エ ン ジ ン は 日本 推 論 エ ン ジ ン を LOGOに 語 に よ る 知 識 ベ ー ス。 イ ン タ ー フ ェ イ ス 構 築、 図 形 出 カ ル ー チ ン に よ る 図 形 出 力 が 可 能 で あ る こ と を 目 指 し た. こ の 試 作 は 建 築 用 エ キ ス・パ ー ト シ ス テ ム に 必 要 と な る 諸 機 能 の 実 現 性 に 関 す る 研 究 が 目的 で あ る た め、 知 識 ベ ー ス は 上 記 で 述 べ た 加 藤 氏 に よ る 木 造 在 来 床 組 工 法 を 使 用 し た. こ の 知 識 ベ ー ス を 使 用 し た 理 由 は、 ル ー ル 数 が 少 な く プ ロ ト タ ィ プ の 作 成 に 適 し て い た こ と、 床 組 の 形 は 直 線 の 組 合 せ で 書 け る た め に 最 も 図 形 出 力 が し や す い た め で あ る. こ の さ い E

XSIS上

で は 確 信 度 も 計 算 し て い た が、 図 形 出 力 に 際 し て は 確 信 度 を 用 い て も 出 力 上 必 要 と な る デ ー タ は 1つ で あ り、 ル ー ル 数 が 少 な い た め 確 信 度 な し で 一 義 的 に 決 め た も の と、 確 信 度 に よ り求 め た 確 信 度 上 の 最 高 値 の 結 果 と の 間 に 開 き が み られ な い の で 問 題 は な い も の と し て 省 略 し た。

4-2-2

結果

現 在 こ の シ ス テ ム に お い て、 床 組 の 断 面 口 を 出 力 す と な っ て い る. し か し、 次 の 点 で 初 期 の 要 求 を 満 た す か っ た. こ の エ キ ス パ ー ト シ ス テ ム を 構 築 す る 際 に 最 た の は コ ン ピ ュ ー タ の メ モ リ 制 限 で あ っ た. 開 発 環 境

801F2を

る こ と が可 能 こ と がで きな も 問 題 とな っ は,

PC-9

使 用 し、 登 載 メ モ リ は 384Kバ イ トで あ っ た。 そ れ に 加 え て、 使 用 し た 処 理 系 の メ モ リ効 率 が 悪 く。 リ ス ト操 作 も 低 速 で あ っ た た め い ろ い ろ な 制 約 を 受 け る 結 果 と な っ た. ま ず 始 め に、 知 識 ベ ー ス を 完 全 に 自 然 言 語 の ま ま 格 納 す る メ モ リ が 足 り な か っ た た め、 知 識 ベ ー ス 表 記 は 質 問 文 を 除 い て 総 て 略 記 号 に 置 き 換 え ら れ た。 し か し、 ISを 動 詞 と す る (日 本 語 で は 「 は 」 を 用 い れ ば 良 い。 )主 語、 述 語 を 理 解 す る こ と が で き る た め、 メ モ リ を 増 設 す れ ば 自 然 表 記 が で き る。 図 形 出 力 は、 知 識 表 現 に よ り獲 ら れ た も の を 元 に 完 全 に 独 立 した モ ジ ュ ー ル に 依 っ て 作 成 さ れ て い る.従 っ て 別 の 知 識 ベ ー ス を乗 せ て も そ の ま ま 図 形 が 生 成 さ れ る と い う も の で は な い. こ の ま ま で は

エ キ ス パ ー トシ ス テ ム が 持 つ 知 識 の 保 守 性 に 乏 し い。 従 っ て 当 初 の 予 定 に お い て は、 LOGOは リ ス ト の 中 が 命 令 体 系 で あ ろ う が、 文 章 で あ ろ う が 区 別 を し な い 点 を 利 用 し, プ リ ン ト文 に よ リ リ ス トを 文 章 表 示 す る 変 わ り に、 リ ス トの 中 の 命 令 文 を 実 行 す る こ と に よ っ て 図 形 表 示 を す る こ と に よ り従 来 の エ キ ス パ ー ト シ ス テ ム 同 様 に 表 現 す る こ と を 目 指 し て い た が、 こ の 図 形 出 力 用 の リ ス ト を 知 識 ベ ー ス 中 に 書 く メ モ リ が な か っ た た め に 断 倉 し た.

4-2-3

考察

こ の 推 論 エ ン ジ ン の 作 成 に よ り文 章 か ら 図 形 に よ る マ ン・ マ シ ン ・ イ ン タ ー フ ェ イ ス ヘ の 一 歩 が 開 か れ た. こ の 様 に 作 画 情 報 を CA Dシ ス テ ム ヘ 受 け 渡 す こ と が 可 能 と な れ ば、:柱 の 太 さ を 決 め た り、 ス ペ ー ス プ ラ ン ニ ン グ に 関 す る エ キ ス パ ー ト の 情 報 を元 に あ る程嵐 ま た は、 大 部 分 の 作 画 作 業 の 効 率 を あ げ るtと が で き る. 使 用 し た 処 理 系 の 関 係 上 日 本 語 処 理 は 可 能 で あ る. し か し、 日本 語 文 法 解 析 能 力 は 殆 ど 作 成 し て い な い た め に (BRAINSは 文法 ベ い ー ス を書 く際 に キー 解 析 を 行 わ な 。 )日 本 語 使 用 の 際 に は 知 識 「 な ら ば 」 な ど の 単 語 は わ か ち が き をす と な る 「 は J、 「 も し J、 る 必 要 が あ る. こ れ は、 現 在 AIの も う 一 つ の 分 野 で あ る 自 然 言 語 処 理 に お い て も ま だ あ ま り 日本 語 の 文 法 解 析 は 応 用 研 究 の 段 階 に入 っ て い な い と こ ろ で あ る. そ の 大 き な 理 由 の 一 つ は 日 本 語 に お い て は単 語 こ とにスペ ー スで きれて い るわ けで はな いので簡単 な文であ っ て も 主 語、 述 語 等 の 判 断 が 難 し い た め で あ る.完 全 な 解 析 手 段 で な い こ と を 前 提 と す る な ら ば,主 語 に 述 語 の 切 れ 日 と な る 「 は Jま た は 「 が Jを い れ な い こ と を 前 提 と し て、 文 の 最 初 に 出 て く る 「 は J ま た は 「 が 』 よ り前 に あ る 部 分 を 主 語、 て 処 理 す る こ と と で あ る. こ れ も 扱 う 知 れ る こ と を 考 え る と 有 効 な 方 法 で あ る。 文 法 解 析 を しな い シ ス テ ム も一 考 の余 地

後 に く る 部 分 を述 語 部 と し 識 の主 語 が殆 ど漢 字 で 表 さ ま た、 BRAINSの 様に が あ る と 思 わ れ る.

な お、 グ ラ フ ィ ッ ク ル ー チ ン の 知 識 ベ ー ス か が メ モ リ 不 足 の 為 に 実 現 で き な か っ た こ と は 非 常 に 不 満 で あ る. こ れ の 実 用 化 は、 エ キ ス パ ー ト シ ス テ ム の CAD化 等 に 非 常 に 重 要 と な る と 思 わ れ る.現 在 高 速、 メ モ リ効 率 の 良 い

3D― LOGOへ

の 移 植 を 進 め て お り、

こ れ に よ り上 記 の 問 題 が 殆 ど 解 消 す る と 同 時 にぅ グ ラ フ ィ ッ ク ル ー チ ン の 知 識 ベ ー ス 化 を 実 現 し よ う と 考 え て い る. 製 作 に 於 て 最 も 苦 労 し た 点 は、 推 論 エ ン ジ ン の ア ル ゴ リ ズ ム の 理 解 が も っ と 困 難 な 作 業 と な っ た. そ の 理 由 は 簡 単 な 推 論 エ ン ジ ン の ア ル ゴ リ ズ ム に 関 し て の 文 献 が 少 な く、 推 論 エ ン ジ ン の プ ロ グ ラ ム リ ス ト も 適 切 な も の が 見 つ か り に く か っ た た め で あ る.今 回 作 成 し た 推 論 エ ン ジ ン が 後 の 研 究 室 で の 研 究 に 貢 献 で き れ ば 幸 い で あ る.

第

2:章 =

FM

FMと

1。

FMは

は

、 フ ア シ リテ イ マ ネ ー ジ メ ン ト

(Faci H ty Management)の

略 称 で あ り 直 訳 す る と 施 設 管 理 で あ る.

IFMA(International Facility Management Associatlo■ )は FMを 次 の よ う に 定 義 して い る。 『

FMと

は 組 織 に お け る 人 と 業 務 を空 間 に 調 和 と秩 序 を も っ て配 置 す る こ と で あ る. 同 時 に FMは 人 間 的 で し か も 効 率 の 良 い 環 境 を 作 り 出 す た め に、 最 も 新 し い 専 門 的 ・ 技 術 的 英 知 を も っ て マ ネ ー ジ メ ン トの 実 践 を 行 う こ と で あ る.J し た が っ て FMの 持 つ 意 味 と い う の は、 広 義、 且 つ、 多 義 に わ た 管 轄 に い れ て い る 業 務 41項 目 に の ぼ り、 そ れ ら は 次 の 8つ の グ ル ー プ に 分 類 さ れ て い る. 不 動 産 関 連、 ス ペ ー ス マ ネ ー ジ メ ン ト、 イ ン テ リ ア プ ラ ン ニ ン グ、 イ ン テ リ ア 管 理、 建 築 /設 備 関 係、 維 持 管 理 そ し て 予 算 関 係 で あ る.現 在 米 国 に お い て る.

IFMAが

FMの

こ の よ う な 業 務 を 含 め た 建 築 設 計 業 務 を 行 う 建 築 事 務 所 や、 イ ン テ リ ア 事 務 所 な ど が 徐 々 に 増 え つ つ あ る。 と 同 時 に こ れ ら の サ ー ビ ス を 行 う た め の 科 学 的 ア プ ロ ー チ が 開 発 さ れ つ つ あ る. こ の 論 文 で は ス ペ ー ス マ ネ ー ジ メ ン トに お け る そ れ らの 科 学 的 手 法 を 中 心 に建 築 か ら の ア プ ロ ー チ を 考 え る. 空間有効利用

2。

現 在 有 効 な 空 間 配 置 に 付 い て は 数 々 の 議 論 が 為 さ れ、 ま た 試 さ れ つ つ あ る. そ の 中 に 於 て、 実 際 に 使 う 側 が ど の 様 に そ の 空 間 を利 用 す る か に 付 い て は そ の 使 用 者 側 に 委 ね ら れ て い る の が 現 状 で あ る. し か し、 利 用 者 側 が 同 様 に 有 効 な 方 法 論 を 取 る こ と に 依 っ て 空 間 の 有 効 性 は さ ら に 増 す も の と 期 待 さ れ る。 こ こ で は FMに よ り 使 用 者 側 の 空 間 利 用 に つ い て 考 察 す る と 共 に、 実 際 に プ ロ グ ラ ム を 作 成 し、 そ の 問 題 点、 有 効 性 を 探 る.

2-1

現 在 の 空 間 使 用 の あ り方

建 築 に お け る 第 一 条 件 は、 作 ら れ る 空 間 が そ こ に 住 む 人 間 に 取 っ

て 使 い や す く か つ 快 適 で あ る こ と で あ る. そ の た め 建 築 家 は、 そ の 条 件 を み た す べ く数 々 の 手 法 を 駆 使 し て い る. そ の 様 に し て 作 ら れ た 空 間 も、 使 用 者 が そ の 意 向 を 無 視 し、 ま た 空 間 使 用 に 関 し て 無 関 心 で あ る こ と に よ っ て そ の 効 果 を 最 大 限 に 発 揮 す る こ と は 出 来 な い。 ま た、 現 在 利 用 者 に よ る 空 間 利 用 に 関 す る 方 法 論 は あ ま り な さ れ て お ら ず、 利 用 状 況 は 理 想 か ら 程 遠 い も の で あ る. 建 築 家 に と っ て 折 角 苦 労 し て 創 造 し た 空 間 が、 自 分 の 意 回 を 外 れ、 ま た、 少 し の 空 間 利 用 上 の 注 意 を 払 う だ け で よ り有 効 な 効 果 を あ げ る の 物 が お ざ な り に な っ て い る こ と は 非 常 に 心 苦 し い 限 りで あ る. し た が っ て 建 築 家 は、 利 用 し や す い 空 間 を 考 え る だ け で な く、 利 用 者 側 に 対 し て 能 動 的 に 空 間 利 用 の あ り方 に つ い て、 助 言 し て い く必 要 と 義 務 が あ る と 思 わ れ る.

2-2

空 間使 用最適化 の方 法論

空 間 利 用 最 適 化 に 関 す る 問 題 は 複 雑 を 極 め、 そ の 議 論、 答 え も ま ち ま ち で あ る. あ る 建 築 か は 無 駄 の あ る 空 間 に も 意 味 が あ る と い い、 ま た、 動 線 上 最 短 で な い こ と に よ っ て あ る 種 の 効 果 が あ る と い わ れ て い る。 ま た、 あ る 心 理 学 者 の 研 究 に よ る と 現 代 建 築 の 無 駄 の な い 家 で 育 っ た 子 供 よ ヴ も、 伝 続 的 な 古 い 家 で 育 っ た 子 供 の 方 が 情 緒 的 に 安 定 し て い る、 と い う. し か し、 無 駄 を 極 力 排 す こ と が そ の 建 物 に 取 っ て 最 適 で あ る と い う よ う な 建 物 も あ る。 例 え ば、 無 駄 を排 す こ と に 依 っ て 空 間 を 有 効 利 用 で き、 動 線 を 最 短 に す る こ と に 依 っ て 労 働 者 の 活 動 効 率 を 最 大 に 引 き 上 げ る こ と が 出 来 る オ フ ィ ス ピル な ど で あ る. こ こ で、 最 適 な 空 間 利 用 上 の 評 価 関 数 を 提 言 す る つ も り は な い. こ れ は、 今 後 の 課 題 と し て 外 の 研 究 対 象 と し、 評 価 関 数 を 設 定 し た 場 合 に ど の 様 な コ ン ピ ュ ー タ の 利 用 法 が 可 能 と な る か につ い て 論 じ る こ と と す る. こ こ で は、 こ の 様 に 扱 う 空 間 の 数 が 多 く あ る 種 の 助 言 な し で 的 確 な 空 間 利 用 が 難 し い 空 間 に つ い て 考 え、 か つ、 最 小 移 動 距 離 を 評 価 関 数 を 空 間 使 用 上 の 最 適 利 用 法 と し て 考 え た. し か し、 後 の 研 究 に よ り最 適 と 去 れ る 評 価 関 数 が 出 来 て き た 場 合 に も、 プ ロ グ ラ ム 上 の 評 価 関 数 を 変 え る こ と に 依 っ て 対 応 で き る も の と 思 わ れ る。

2-3

実行例

2-t-1

作成プログラムの概要

・

種 々 様 々 な 機 能 を 持 つ 空 間 郡 を 入 れ 替 わ り立 ち 代 わ り人 間 が そ の 空 間 属 性 に 応 じて 移 動 す る と い う 状 況 に お い て 最 も 効 率 の 良 い 移 動 形 態 を 出 力 す る プ ロ グ ラ ム と す る.評 価 関 数 と して は 最 小 移 動 距 離 を も っ て,最 高 効 率 と し た。 入 カ デ ー タ と し て、 空 間 属 性。 人 が 移 動 し て い く空 間 属 性 と 移 動 順 序 そ して、 移 動 距 離 を示 す マ ト リ ッ ク ス で あ る.最 終 日標 と して 理 工 学 部 の 数 室 割 を 出 力 す る こ と とす る。

2-3-2

結果

2-3-2-1

プ ログラム性能

演 算 速 度 に 関 す L以 外 初 期 に 計 画 し た 性 能 を 得 る こ と が で き た. 実 行 し た,プ ロ グ ラ ム の 入 力 と、 出 力 を 次 に 表 示 す る。 入 カ デ ー タ形 式 距 離データ

0 10 23 5 12 11 0 23 10 32

20 45 0 4 11

21 21 52 0 9 23 11 10 5 0

教 室デー タ

' :111。 i s

51-102 s 51-103 1 51-201 1

ク ラス デ ー タ

:

￨

Ｓ

ｓ ｌ

Ｓ

Ｓ ｌ

ｓ ｉ

ｇ

ｇ ｉ

Ｄ

ｇ

ｇ

Ｃ

ｓ

８

Ｂ

ｌ

Ａ

デ ー タ出力νJ

> Runn ing Distance Filo 8 far5 Room file 8 r00m5

(Y/N)?8 y

ｇ

Class fi10 : Class4 DISPLAY FILE CONTENTS **** CLASS DATA **** NAME: A l HOUR TYPE8 2 HOUR TYPE: 3 HOUR TYPE: 4 HOUR TYPE8 NAME8 B l HOUR TYPE: 2 HOUR TYPE8 3 HOUR TYPE: 4 HOUR TYPE: NAME8 C l HOUR TYPE8 2 HOUR TYPE: 3 HOUR TYPE8 4 HOUR TYPE: NAME: D l HOUR TYPE3 2 HOUR TYPE: 3 HOUR TYPE: 4 HOUR TYPE: ｇ

Ｓ ｌ

ｇ

ｓ ｌ ｓ

Ｉ

ｓ

ｓ

ｇ

ｓ ｌ

ｌ

ｇ

**** R00M DATA **** NAME : gate TYPE : g

NAME TYPE

8 51-101

NAME TYPE

8 51-102

NAME TYPE

: 51-103

NAME TYPE

: 51-201

:

:

:

8

S

S

l

1

**** DISTANCE CHART o 10 23 5 12 11 0 23 10 32 20 45 0 4 11 21 21 52 0 9 23 11 10 5 0 結 果 出力例

I

HAVE 1 oPTION HERE. TOTAL DISTANCE : 146

lH : 2H: 3H: 4H :

L234 1( 0) 1( 0) 1(0) 3(23) 3(23) 5(1r) 4( 4) 3(10)

5(12) 2(10) 2(11) 4(10) 2< 0) 4(0) 1(11) 1(21)

１ ﹂ ・ １ ヽ ・

し か し、 演 算 速 度 に 関 し て は 全 く 予 想 外 に 低 速 で あ っ た.

2-3-2-2

理 工学 部教室割

演 算 時 間 が 長 時 間 要 す る と 思 わ れ た た め と、 学 科 を 一 つ の 単 位 と し て い る た め、 途 中 で 人 が 分 か れ る こ と が な く、 一 番 利 用 の 少 な い 土 曜 日 の 時 間 割 を 使 用 し た.使 用 し た デ ー タ を 次 に 掲 げ る.

gate g 52-101 1 52-102 1 52-103 1 52-201 1 52-202 m 52-203 1 52-204 m 52-301 1 52-302 m 52-303 1 52-304 m 53-101 s 53-102 s 53-103 s 58-104 s 53-201 s 53-202 m 53-203 s 53-204 m 53-301 s 53-302 m 53-303 s 53-304 m 53-401 s 53-402 m 53-403 s 53-404 m 54-101 S 54-102 S .54-103 s 54-104 s

54-201 54-202 54-203 54-204 54-301 54-302 54-303 54-304 54-401 54-402 54-403 54-404 56-Bl 56-101 56-102 56-103 57-l 57-201 57-202 58-3

m s m s m s m s m s m s k m m m r h h d

ｇ ｓ ｇ ｇｌ ｍ ｇ ｇ ｇ ｇ ｇ ｇ ｇ ｇ ｎ ｇ ｇ ｇ ｎ ｇ ｇ ｇ ｓ ｍ ｍｌ ｇ ｍｋ ｇ ｇ ｍ ｇ ｇ ｍ ｍ ｇ ｓ ｇ ｇ ｍ ｍ ｇｉ ｇｄ ｍｈ 口 ｎｄ ｌ ｈ ｓｌ ｈ ｍ ｓ ｓ ｇ ｎ ｇ ｍ ｍ ｍ ｍ ｍ ｓ ｎ ｇ ｍ ｓ ー ｇｈ ｍ ｓｈ ｈ ｇ ｓ ｓ ｓ ｇ ｎ ｇ ｍ ｓ ｇ ｇ ｇ ｇ ｇｉ ｇ ロ

ｇ ｇ ｇ ｇ ｇ ｇ ｇ ｇ ｇ ｇ ｇ ｇｄ ｇ ｍ ｇ ｇ ｍ ｓ ｓ ｇｈ ｇ ｍｌ ｇ ｍ ｍ ｇ ｇ ｇ ｍ ｇｄ ｌ ｌ ｇ ｇ ｎ ｓ ｍ ｓ ｇ ｒ ｓｌ ｍ ｓ ｓ ｇ ｇ ｍ ｍ ｓ ｓｌ ｌ ｌ ｍ ｍ ｇ ｇ ｒ ｇ ｇ ｇｌ ｓ ｇ ｍｌ ｇ ｍ ｓ ｎ ｇ ｇ ｓ ｍ ｍ

ｇ ｇ

ｇ ｍ

ｍ ｍ

ｇ ｇ

キカイ2 キカイ3 キカイ4 ・ 夕1 カカ ‐ カカ ク2 ・ 夕3 カカ ・ ク4 カカ ‐ スウカ ク2 ‐ スウカ ク3 ‐ スウカ 夕4 ・ ッリ1 フ ‐ フ ッリ3 ・ ッリ4 フ ・ ツ1 オウフ ・ ォウフ ッ2 ・ ッ3 ォウブ ‐ ォウフ ツ4 ・ 夕1 ・ 卜 ホ ‐・ 卜 ホ ク2 い ・ 卜 ホ 夕3 ‐・ 卜 ホ ク4 コウケイ1 コウケイ2 コウケイ3 コウケイ4 ‐ テ ンツウ1 ‐ テ ンツウ2 ・ テ ンツウ3 ・ ンツウ4 テ ‐ キンソ 夕1 ・ キンソ ク3 オウカ1 オウカ2 ォウカ3 オウカ4 ケンチク1 ケンチク2 ケンチタ3 ケンチタ4 ・ ン1 シケ ・ ン2 シケ ・ ン3 シケ ・ ン4 シケ ‐ テ ンキ2 ・ ンキ3 テ ‐ テ ンキ4

演 算 結 果 は 最 低 で あ る と 報 告 し な け れ ば な ら な い.即 ち、 結 果 を 得 る こ と が で き な か っ た の で あ る. こ れ は 演 算 速 度 が こ れ だ け の 大 量 デ ー タ を 扱 う た め に は 遅 過 ぎ た 為、 出 力 す る に 至 ら な か っ た た め で あ る。 数 々 の 演 算 速 度 を あ げ る た め の プ ロ グ ラ ミ ン グ 上 の テ ク ニ ッ ク を 使 用 し た が 出 力 を 得 る に は 至 ら な か っ た.

2-3-3

考察

小 規 模 空 間 に お い て こ の プ ロ グ ラ ム は 実 用 性 が あ る と 思 わ れ る. 実 際 に人 間 が最 小 移 動 距 離 で 空 間 割 振 り をで き るデ ー タ数 は非 常 に 限 ら れ て お り、 し か も 可 能 で あ っ た と し て も 非 常 な 精 神 的 苦 痛 を伴 う も の で あ る.

し か し、 空 間 の 数 が 多 く な れ ば な る ほ ど 移 動 距 離 に 関 し て も 大 き く な り、 最 小 移 動 距 離 の 重 要 性 が 増 す こ と に な る 点 を 考 え る と 大 き な デ ー タ を 扱 え な い こ と は 非 常 に 残 念 で あ る.解 決 方 法 と し て は、 パ ー ソ ナ ル コ ン ピ ュ ー タ を 占 領 し き っ て 1週 間 ほ ど 走 ら せ 続 け る か、 大 型 コ ン ピ ユ ー タ を 使 用 す る か で あ る。 し か し、 ど れ ほ ど の 時 間 演 算 を続 け れ ば 結 果 を得 ら れ る か に つ い て は 途 中 で ス キ ッ プ す る チ ェ ッ ク ル ー チ ン を 幾 つ も 使 用 し て い る た め、 算 定 不 可 能 で あ る. し た が っ て 上 記 の 方 法 に よ り結 果 を 獲 ら れ る と い う 確 証 を な ぃ も の に し て い る. 理 工 学 部 の 教 室 割 に つ い て 考 察 と し て 述 べ る こ と が で き る の は、 こ の よ う な 大 規 模 の FMを パ ー ソ ナ ル ・ コ ン ピ ュ ー タ で 行 う こ と は 現 在 の コ ン ピ ュ ー タ 性 能 か ら し て あ ま り 適 切 で は な い、 と い う こ と で あ る.今 回 の 入 カ デ ー タ は ゲ ー ト に 待 機 して い る 数 が お お い の で 実 際 に は こ の 半 分 の 数 の 学 科 数 に お い て も ま だ 適 当 で は な い と思 わ れ るこ も っ と も、 演 算 時 間 を あ げ る 要 因 は 入 カ デ ー タ の 中 の 部 屋 の 数 で あ る。 こ れ の 数 を 1つ 少 な くす る こ と は 外 の も の を 1つ 少 な く す る こ と よ り数 倍 か ら 多 く 見 積 っ て 数 十 倍 の 差 が で る も の と 思 わ れ る. も し、 大 型 コ ン ピ ュ ー タ を 使 う 等 に よ り、 ま た 小 規 模 の FMを 行 う に お い て こ の プ ロ グ ラ ム を 改 良 し な け れ ば な ら な い 点 はも ま ず 空 間 を 移 動 す る 団 体 規 模 に よ り移 動 距 離 を そ の 団 体 の 人 数 分 を 掛 け て や る こ と に よ っ て 延 べ の 移 動 距 離 に よ る FMの 実 行 を 可 能 に す る こ と、 団 体 が 途 中 か ら 分 か れ る と い う よ う な 場 合 に 対 応 で き る も の と

す る こ と が 必 要 で あ る. ど ち ら も、 プ ロ グ ラ ミ ン グ 上 可 能 で あ る と 思 わ れ る。 空間配 置

2に

お い て は既 存 設備 の 中 で の有 効 空 間 利 用 につ いて 考 え た 浜 FMで は 空 間 配 置 に つ い て も 同 様 に い く つ か の 手 法 が 試 み ら れ て い る. 各 空 間 の つ な が り に 関 す る デ ー タ 及 び、 空 間 の 必 要 面 積、 そ の 他 の 諸 条 件 を加 え る こ と に よ っ て 有 効 配 置 の プ ロ ッ キ ン グ プ ラ ン の 作 成 を 行 う も の で あ る. こ れ ら の ソ フ ト ウ ェ ア も い く つ か 開 発 さ れ つ つ あ る が、 有 効 性 は 未 知 数 で あ る.

CADと

の リン ク につ い て

法 も CADと 結 び 付 く こ と に よ っ て よ り効 果 的 な よ っ て 作 成 され 発 展 が 期 待 で き る の は 明 か で あ る。 即 ち、 CADに た デ ー タ に よ っ て 空 間 管 理 を、 ま た FMに よ っ て 作 成 さ れ た プ ロ ッ ク プ ラ ン に よ り、 デ ザ イ ン を、 と い う 具 合 い に 各 々 の デ ー タ の 相 互 これ らの

FM手

交 換 に よ っ て よ り高 次 の 作 業 が 可 能 に な る の で あ る。 事 実、 い く つ か あ る FM関 連 の ソ フ ト ウ ェ ア も CADと の イ ン タ ー フ ェ イ ス を あ げ て い る. ま だ そ れ ら の ソ フ ト ウ ェ ア は 高 価 で あ り、 か つ、 低 機 能 で あ る.

こ れ ら の ソ フ ト ウ ェ ア が 発 達 す る こ と を 望 み た い。 し か し、 FMの ソ フ ト ウ ェ ア が 発 展 す れ ば そ れ で 済 む と い う も の で は な い. 実 際 我 々 は コ ン ピ ュ ー タ を 個 人 的 に 所 有 す る こ と が で き る ま で に恵 ま れ た 環 境 に い る. し か し、 だ か ら と い っ て 誰 も が コ ン ピ ュ ー タ を

FM 最 大 限 に 活 用 し て い る か と 言 う と そ う で は な い. も し CADと が う ま く 統 合 し た と き に 最 も 求 め ら れ る も の は、 そ れ ら の デ ー タ を 入 力 し、 管 理 し,使 い こ な す と い う 情 報 管 理 能 力 な の で あ る.

参考文献 第 ■章 長尾 真 『人 工 知 能 ―実 用 化 の時 代 へ 』

1986年

新 潮文庫 自井 良 明 『人 工 知 能 とは な に かJ

岩 波 書 店 1985年 ビ バ リ ー・ A・ ト ム プ ソ ン、 ウ イ リ ア ム 、A・ 『 エ キ ス パ ー トシ ス テ ム の 内 部 構 造 J I 日 経 バ イ ト 1985年

トム プ ソ ン

9月

号

ハ ロ ル ド・ エ ー ベ ル ソ ン エ ー ベル ソ ンの 「 LO・ GO

L000入 門 』 啓 学 出 版 1985年

祐安重夫 『

LOGO

人 工 知 能 へ の ア プ ロー チ ラジオ技 術 社

第

J

■ 984年

2章

at

TURBO PASCALプ ′ 小池慎一 『は じめ て の

9月 10日

no.04 1986年

シ リー ズ

デ ル フ アイ研 究 所 ロ グ ラ ミ ン グ・ マ ニ ュ ア ル ポ ー ラ ン ド・ イ ン タ ー ナ シ ョ ナ ル 編

JICC出

版局

1984年

PASCAL』 1984年

技情評論社

■ ，

あ とがき 扱 っ た 内 容 が 大 変 広 く、 ど れ も 重 要 で あ っ た た め 僕 の 手 に は 余 っ て 仕 方 が な か っ た。 い ま 考 え る と も っ と 一 つ の こ と を 深 く 掘 り下 げ た 方 が 論 文 と して は ま と ま っ た い い も の に な っ た の で は な い だ ろ う か.で も 僕 個 人 と し て は 論 文 の 出 来 よ り も い ろ い ろ な こ と を 勉 強 で き て 非 常 に 楽 し か っ た と 言 う の が 正 直 な 感 想 で あ る. 推 論 エ ン ジ ン の 作 成 を 諦 め か か っ た の を 最 後 ま で 作 る こ と を進 め て 下 りゝ 常 に ご 指 導 く だ さ っ た 渡 辺 仁 史 教 授、 BRAINSへ

の移

な ご 支 援、 ご 指 導 下 さ っ た 渡 辺 植 に 際 し て、 そ し て そ れ 以 後 も 絶 大、 俊 さ ん、 そ し て、 何 も 知 ら な い 僕 に :AIに 関 す る こ と を 一 か ら 嫌 な 顔 一 つ せ ず に よ く 教 え て 下 さ っ た 安 留 さ ん、 加 藤 さ ん、 特 に 安 留 さ ん に は 大 変 御 世 話 に な り ま し た。 そ の ほ か 何 か と 御 心 使 い 頂 い た マ ス タ ー の 方 々、 苦 労 し て 集 め た り 理 工 学 部 の 教 室 割 に 関 す る デ ー タ を 快 く 提 供 し て く れ た 小 林 君、 荻 野 君、 み な さ ん 本 当 に 御 世 話 に な り ま し た、 こ こ に 感 謝 い た し ま す .

KVHVY KKAK KMRU M120 M135 M150 M165 M180 K‖ VY

1210 卜

M240 K105 K120 K150 K180 K210 K240 K270 K300 K330 K360 S‖ US[I N[TSU T90 T100 T105

ワ ●” る すす

す い

で てる 、 っ ら． い．

ど が て は なれ ヽ

KM―

岐 選 小 屋

ま

STD K― HVY K一 V‖ VY

*多

LNK DVD

K卜 ￨―

能いい い 状軽重

K―

の

SLI丁

か

岐 選 小 屋

ど うで す か

岐選 短 期

荷 問 型 の 型 と 択梁 択梁

SHVY

*多

岐 長

*多

型重 沢荷

L‖ VY

*多

Ｌ と ・

**事

義 型重 定 択荷 象 選期

LS‐「D

０フ 一 ｍ ｍ ソ ・ キリ■フ ｍ ｍ る︶り も ると と ５ ０ す す る る る る る る る る る る る る る る ろ る る す ｍ ｍる ０ ５ る と と す す す す す す す す す す す す す す す す す と ｍ ｍす １ １ す ｍ ｍ い る る と一 と と と と と と と と と と と と と と と と ｍ０ ５ と と ｍｍ ， 重 す す ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ０ ０ ｍ０， ５ ｍ０ ５ 準 い 変 用 用 ｍ ｍ ｍ ｍ ｍ ｍ ｍｈ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ る ０ １ ｌ ｍ０ ０ ｍ０ ０ 標 重 人 使 使 ０ ５ ０ ５ ０ ０ ０ ５ ０ ０ ０ ０ ０ ０ ０ ０ ０ るす ９ ＊ ＊０ １ １ ０ １ か １ が が が を を ２ ３ ５ ６ ８ １ ４ ０ ２．５ ８ １ ４ ７ ０ ３ ６ す 用 ＊ ０ ５ ９ ＊ ＊ ＊ ＊ ９ す 重重重材太 １１１１１２２１ １１１２ ２ ２３３３ 使 ０ ０ ＊ ０ ５ 用 ０ ＊ ０ ５

で 荷 荷荷 角丸 は はは はは は は は は は は は は は は は は使 を ９１ １ ０ ００ ０ ０ ０ ヽ つ の の のは は 口 口 口 口 口 口 口背 背 背 背 背 背 背 背 背 背 を 材 は は は ９ １ １ ９ １ １ ど 梁 梁 梁 梁 梁 末 末 末 末 末 末 末 梁 梁 梁 梁 梁 梁 梁 梁 梁 梁 材 化 束 束 東 は は は は は は は 屋屋屋屋 屋太 太太 太太 太 太 屋 屋 屋 屋 屋 屋 屋 屋 屋 屋 成 強 屋屋屋 木 木木 屋 屋 屋 態 通 い 我 小 小 小 小 小 丸 丸 丸 丸 丸 丸 丸 小 小 小 小 小 小 小 小 小 小 集 熱 小 小 小 棟 棟 母 母 工 棟 母 状 普重 定 一 の

卜 lN90 1lN100

MN105 0M90 0M100 0M105

夕義

*仮

説

KSTD

一定 類 デ説 分

* * * **仮

000001 000002 000003 000004 000005 000006 000007 000008 000009 000010 000011 000012 000013 000014 000015 000016 000017 000018 000019 000020 000021 000022 000023 000024 000025 000026 000027 000028 000029 000030 000031 000032 000033 000034 000065 000036 000037 000038 000039 000040 000041 000042 000043 000044 000045 000046 000047 000048 000049 000050 000051 000052 000053 000054

ベ ー スの移植結 果

B RA I N Stti哉

岐 選

る る

‖RU

*多

あ あ

K

‐ KAK

て で

K―

材人 角九 よ

ネ多 岐 選 小屋

型の 択梁

00005り

型は 択梁

000055 000056 000057 000058

０

７

０

６

０

５

０

０

０

００００上 ００００以 ２３４５ ｍ 一 一 一 一 ｍ

８

１ ■ つ ん ︵６ “４ ｒＯ

ま

型幅 択梁

ス パ ン 000060 小 屋 0 rrr trt 0 000061 K 1800 0 rti rrt 0 000062 K-2700 0 rn rrr 0 000063 K-6600 0 lrt rrr 0 000064 K-4500 0 000065 K-5000 000066 *多 岐 選 000067 小 屋 1 0 5 nlII、 000068 KW 105 ヽ 1 2 01nm 120 000069 000070 ***知 i設 ′ヾ ― ス 定 義 ツ ト 000071 ネ 1:矢 口:性 ユ R LES 000072 *FF 000073 F(LSTD′ T &￨ SL l「 ′1)― 〉「 (K― STD′ 1) 000074 「 (LS‐ [D′ &￨ S‖ VY′ I)‐ 〉 F(K― ‖VY′ 「 000075 「 (L‖ VY′ 1 &￨ SLll′ ￨) 〉「 (K― ‖VY′ 「 000076 1(L‖ VY′ ] &￨ S‖ VY′ 1) 〉 F(K V‖ VY′ 1) 000077 F(K‖ LNK 1) ‐> ￨(KKAK′ ￨) 000078 「 (K‖ ―DVD I) 一〉 F(KKAK:KMltU′ 1) ・ R t」 LES 000079 *FH ― ′‖(K150′ 0。 0) 0.0) ‖ (K120′ > H(M120′ 0。 0)′ ‖(K105′ 0。 0)′ 000080 「 (K 2700 l) ― ′‖(K120′ 0。 0) 0.0) ‖ (K105′ > ‖(M120′ 0。 0)′ ‖ 1135′ 0。 0)′ 000081 「 (K 3600 ￨) (K210′ 0.0) ‖(K150′ 0.0)′ ll(K180′ 0。 0)′ ‖ 000082 > ‖ 1120′ 0.0)′ ‖(M161,′ 0.1))′ ‖ 1150′ .0) ′‖(H165′ 0。 0) 000083 ￨(K 4500′ 「 ‖(K105′ 0。 0)′ ‖(K120′ 0。 0)′ ‖(K150′ 0.0) ′‖(K180′ 0。 0) 000084 ‖(K210′ 0.0)′ ‖(K240′ 0。 0)′ ‖(K2i′ 0′ 0.0) 000085 000086 「 (K 5000′ 1) 〉 H(S‖ USEl′ 0.8)′ H(NLISU′ 0.3) Kl・l‐

二Ｕ

)

￨

)

‐

′

′

′

(卜

′

)

00008′ 「

000088

(KS「

D′

T)

00008り

(卜

(卜

(〕

‐ > H(「 90′ 1.0)′ ‖(T100′ 0.`1)′ ‖(1105′

0。 2)′ (MN105′ 0.2) ‖ ‖(MN90′ 1。 0)′ ‖(MN100′ 0.4)′ 0.2) ‖ (OM10b′ 0.4)′ ‖(〔 〕 Mり 0′ 1.0)′ ‖(OM100′ H(190′ 0.8)′ ‖(T100′ 0.8)′ ‖([105′ 0。 4)′

000090 F(K‖ VV′ 1)― > ‖(MN90′ 0.8)′ ￨￨(‖ N100′ 0.3)′ ‖(HN105′ 0.1)′ 000091 ‖(OM90′ 0.8)′ ￨￨(OM100′ 0。 8)′ ‖(0‖ 105′ 0.`1) 000092 ‐ > ‖(「 り0′ 0.4)′ ￨￨(「 100′ 0.8)′ ‖(11()li′ 0.3)′ 00009` 「 (KV‖ VY′ 1) ‖(MN90′ 0.4)′ ￨￨(MN100′ 0.3)′ ‖(‖ N105′ 0.3)′ 000094 0000り 5

H(OM90′ 0.4)′ }￨(OM100′ 0.8)′ ‖(0卜 1105′ 0.8)

RULES 000096 *II II 000097 *IF 000098 F(KS「 D′ T)&「 (KMRU′ T) 00009り *THEN 000100 F(K-1800′ 「 )― > ‖(M120′ 0.8)′ ‖(M135′ 0.8) 000101 F(K-2700′ 1) > ‖(M135′ 0。 8)′ ￨￨(M150′ 0。 8)′ ‖(H165′ 0.3) 000102 「 (K-3600′ 1) ―> ‖(M150′ 0.8)′ ‖(M165′ 0.3)′ ‖(H180′ 0.3) 00010」 F(K 4500′

「 ) ―> ‖(M180′ 0.8)′

H(N210′ 0.8)′ ‖(‖ 240′ 0.3)

000104 ネ END 000105 *IF 000106 F(K‖ VY′ T)&F(KMRU′ 1) 000107 *THEN 000108 「 (K-1800′ 1) 〉 H(M120′ 0.4)′ ‖(M13b′ 0。 8)′ ‖(‖ 150′ 0.4) > ‖(M135′ 0.4)′ ‖(M150′ 0.8)′ ‖(卜 1165′ 0.3)′ 000109 「 (K 2700′ T) ― ― 「 > ‖(M150′ 0./1)′ ‖(卜 1165′ 0.〔 〕)′ ‖(Hl(30′ 0.3)′ 000110 「 (K‐ 3600′ ) > 000111 「 (K… 4500′ T)― ‖(M180′ 0.4)′ ‖(M210′ 0.8)′ ‖(Hl)`,0′ 038) 000112 *END

‖(H130′ 0.4) ‖(H210′ 0.4)

． ¨・ ”ヽ

３

０ Э

０ ０

０ ０

０ ３

０ Э

０ ３

￨(K 1800′

)

「 (K :)700′ (K 」000′ ￨‐

)

￨(K `il,00′

)

*END ホ

)

> H(M120′ 0。 > ‖(Ml`う ′0。

0)′ ￨￨(‖ 13b′ 0)′ ￨￨(MlbO′

〉 ‖(卜 1l bO′ 〉 ‖〔卜 1 1 1lb′

0。

0)′

0。

0)′ ‖(卜 1210′

￨￨(‖

16b′

0。

4

0。

71

0.4 0。

`1

′‖ (Hll,0′ 0.3, ′‖(H165′ 0。 ′‖(Hl〔 ;・ )′ 0。 1)) ′‖(Hll)0′ 0。 ′‖い 1lt∫ 0′ U`tl' ′￨￨(:.1世 10′ 0。 ′‖ (‖ r:1ル t).:い

4) 4) 4)

:′

IF

「 (KSTD′ T)&「 (KKAK′ ￨)&￨(K‐ 1800′ 1)

*THEN

「 (K lli-105′ r) 「 (KW 120′ ￨)

*END ネ IF

―〉 ‖(K105′ 0.8)′ ￨￨(K120′ ‐> ‖(K10り ′0。 0)′ ￨￨(K120′

0.0 )′ ‖(K150′ 0。 3)′ 0.3 )′ H(Kl`,0′ 0.3)

‖(K180′

0。

8)

「 (KSTD′ T)と「 (KKAK′ T)

*THEN

(K-2700′ T)

「

3o00′ ￨) 1(K /4500′ 1) 1(K‐

ホ END *IF

―> ‖(K180′ > ‖(K240′ 〉 ‖(K300′

「 (K‖ VY′ ￨)&「 (KKAK′ T)&「

*THEN

０

「 (KVr 105′ l)

ヽ′

０ ３

０ Э

Ｏ Э Ｏ

ｂ ０ ０ ０ ｂ 民 Ｈ Ｐ ピ Ｐ

Ｏ ｂ

ｂ

ｐ

ｐ ｐ ｐ ｐ Ｄ

，

′ し ﹁‘ 只υ Ч′ ハＵ ＾ ヽ ｎ﹀ ■１ 一 ソ﹂ ７Ｊ Ｊ ′■ ｒり 仁υ つ‘ 父υ ︹り ︵ Ａ︺ ７１ ｕ ｒ ． ｎ﹀ ■１ りι マＪ ′ ｈ︶フ‘ ハ ハ一０′ ︿ Ｈ︶ １︰ り‘ 、υ ′ り ＾ ′ ■ ｒ ´ ■ １、 ■１ ０こ ７υ ， ■ Ｌり ´ １・ っ４ ． フυ た︱ ・ ︱ ■︶ ‘ いし 可 ︹Ｕ く︶ マＪ マ， Ｌｖ ′Ｕ ′υ ，〓 ー １■ ■■ ，■ ４” ん﹁ ｒり Ｌり ｒり ﹂り ｒり ｒり Ｌり ｒ′ ｒり ﹂り ‘Ｕ ・ ，０ ′︱ ， っ４ っこ っこ の‘ ０こ つ４ ０４ つこ ︵ り﹂ ﹁ハ︶ ′Ｊ Ｊ ¨ ０ マ０ フ● マ ス■ ■一 ■． ４■ ， ， ■， ・ １ ハ ． ■１ り‘． ■１ １１ ４１一１１ ´ ，

υ

００００００ ０ ０００ ０００００００ ００００００ 。０ ００００ ０００ ００００００ ０ ０Ю００００００００ ０ ００００００００００００００００００ ００００ ０００００００００ ０ ЮЮ ЮЮЮЮЮЮ ０ ０

・ ネ lF 「 (KVIIVY′ r)&「 (K‖ RU′ ￨) ネ THEN

「 (KW-1を :0′ ￨) ネ END キ IF

0.8 0.8 0.3

′‖(K210′ 0.8 ′‖(K2′ 0′ 0。 8 ′‖(K330′ 0.8

0.3)

)′

‖(k2:10′ ‖(K、 :(,0′

)′

￨￨(k」 t10′ 0.3・ )

)′

‖(K150′

)′

0。

じ)

(K-1300′ T)

‖(K10:〕 ′0。 4)′ :￨(k120′ ′‖(K210′ 00.4) ‖(K120′ 0。 4)′ ￨￨(K150′

0。

0

0.3 )′

0.3)′ ‖(K180′ 0。 8)

‖(K180′ 0.`1)

「 (K‖ VY′ r)出「 (KKAK′ T)

*THEN

tK 2700′ ￨ (K 3600′

「

T) > ￨) 〉

‖(K180′ 0.4)′ ‖(K210′

11(K240′ 0.4)′ ￨￨(K270′ ￨(K 4500′ [)― > ‖(K300′ 0.4)′ ￨￨(K330′

END *IF

0.8 )′ ￨￨(K2メ 10′ 0.8)′ ￨￨(k270′ 0。 4) 0.3 )′ ‖(KJ00′ 0.13)′ ‖ヽk」 JO′ 0.4) 0。 8 )′ ‖(Kし も0′ 0.3)

ネ

「 (Kヽ `‖ VY′ 1)&「 (KKAK′ 1)&￨(K‐ 1800′ 1)

ホ THEN 「 (KtV 10b′

「 (Kl・ 1 120′ ネ END :IF オ

I)― 〉

T)

‖(K105′ 0。 0)′ ￨￨(K120′ 0。 0 )′ ‖(Klじ 0′ 0.=1)′ ￨￨(k180′ ′‖(K210′ 0.6)′ ‖(K24/10′ 0。 3) ‐ 〉 ‖(K120′ 0。 2)′ ‖(Kl',0′ 0.8 )′ ‖tK180′ 0.・ 4)

「 (KV‖ VY′ r)&「 (KKAK′ 1) ネ THEN 「 (K‐ 2′ 00′ ￨) ‐〉 ‖(K180′ 0。 0)′ ‖(K210′ 0./1 ′‖(K300′ 0.3) ―〉 ‖(K240′ 0。 0)′ ll(K2′ 0′ 0.4 (K-3600′ r) 「 ′‖(K360′ 0.3) ・ 〉 (K300′ 0。 0)′ ‖(K330′ 0.4 (K-4500′ T) ‖ 「

︱

*END

8) 。

0.8)′ ‖tK270′ 0。 6)

)′

‖(k2■

)′

‖(K:j00′ 0.3)′ ‖(￨(530′

)′

‖(K」 60′

0′

0。

1。

0,い °

0。

6)

自作 推 論 エ ン ジ ン仕 様 使用言語

1。

:LOGO(GOURD LOGO)

言 語 は イ ン タ ー 0メ デ ィ ア・ ア ク セ ス の

LOGOを

Gourd Logo

を 使 用。

使 用 し た 理 由 は、

リ ス ト処 理 が 容 易 で あ る こ と.

2.表 記 が 簡 易 で あ り、 モ ジ ュ ー ル 化 が 可 能 .

3。 グ ラ フ ィ ッ ク 関 連 命 令 を 豊 富 に 取 り揃 え て い る.

1。

で あ る.

1の 点 に 関 して、 エ キ ス パ ー トシ ス テ ム は 多 く の 作 業 が 知 識 をツ リ ー 構 造 の リ ス トに 格 納 し、 そ れ の 評 価 (マ ッ チ ン グ )す る こ とで あ る. し た が っ て、 リ ス ト操 作 の 簡 単 な 言 語 で あ る こ と が 望 ま しい. こ の 点 で、 LISP,

OLOGが

LOGO、

SMALLTALKま 優 れ て い る と 思 わ れ る. し か し、 PROLOGに

た は、 PR 関 して

は プ ロ グ ラ ミ ン グ 法 放 論 が 論 理 記 述 型 で あ り、 従 来 の プ ロ グ ラ ミ ン グ に な れ た も の に は 扱 い に く い と 思 わ れ る.

LISPに 点 に 関 し て は、 LOGO、 SMALLTALKが 優 っ て い る と 思 わ れ る。 各 々 の モ ジ ュ ー ル が 関 数 化 して 表 記 で き る た め、 ト ッ プ ダ ウ ン に よ る プ ロ グ ラ ム 作 成 が 出 来、 作 成 期 間 の 短 縮 か、 読 み や す さ 及 び、 保 守 性 に 優 れ て い る.今 回 の エ キ ス パ ー トシ ス テ ム 構 築 に 際 し て て も 基 本 構 想 が ま と ま っ た 後、 コ ー デ ィ ン グ に 2の

要 し た 期 間 は プ ロ ト タ ィ プ 完 成 ま で 僅 か 3日 で あ る. ま た、 こ の 特 色 の 一 つ で あ る 可 読 性 の 良 さ は、 後 の こ の シ ス テ ム の 拡 張 に 有 効 で あ る と 期 待 す る.

3の

点 に 関 し て、 グ ラ フ ィ ッ ク ル ー チ ン を 豊 富 に 内 部 コ マ ン ド と し て 蓄 え て い る 点 で、 LOGO、 SMALLTALKが 良 い と思 わ れ る。 特 に SMALLTALKに お ぃ て は ォ ブ ジ ェ ク トの 概 念 が 発 達 し て お り、 図 形 も ま た オ ブ ジ ェ ク ト と し て 定 義 で き る た め、 言 語 と 図 形 と の 間 の 境 界 が か な り低 く な る 点 で 望 ま し い. し か し、 現 在 の SMALLTALKは 恐 ろ し く 高 価 で あ り、 こ の シ ス テ ム を 使 用 す る こ と が 出 来 な い の が 残 念 で あ る.

2.知

識表現方法

:プ

ロ ダ ク シ ョ ン型

知 識 表 現 と して は パ ー ソナ ル コ ン ピ ュ ー タ上 で 実 現 可 能 か つ簡 易 に 表 記 で き る た め に プ ロ ダ クシ ョ ン 型 (IF― THEN型 )を 使 用 し た.知 識 ベ ー ス は ル ー ル. プ ロ ン プ ト の 二 種 類 か ら な っ て い る. 各 ル ー ル は IFに 導 か れ る 条 件 部 と THENに 続 く結 論 部 か ら 構 成

さ れ る. こ れ ら の 部 の 各 節 は ■ つ の 属 性 と 属 性 の 値 を 持 っ て お り 述 語 ISで 関 係 づ け ら れ て い る. プ ロ ン プ ト は 各 コ ン サ ル テ ー シ ョ ン に 際 す る 質 問 事 項 を ま と め た 文 章 で、 各 々 の 属 性 と、 質 問 の 文 章 か ら な う て い る. こ れ ら の 格 納 場 所 と し て こ の シ ス テ ム で は ツ リ ー 構 造 を 為 す 2つ の リ ス ト が 当 て ら れ て い る. ま ず、 ル ー ル の 格 納 場 所 と して RUL E_TREEと い う リ ス ト名 の リ ス ト が あ る. こ れ は、 条 件 部 の 属 性 と そ の 値 をそ れ ぞ れ ア イ テ ム と した も の を ま と め て ア イ テ ム と し (こ れ を 条 件 節 と 呼 ぼ う.)そ

れ ら条 件 節 の 塊 を も う一 つ の ア イ テ

し (こ れ を 条 件 節 郡 と 呼 ぼ う.)そ の 全 部 に 結 論 部 の 属 性 と ル ー ル 番 号、 そ の 後 ろ に 結 論 部 の 属 性 の 値 を 書 き 込 み こ れ を 一 つ の ア イ テ ム と し た ツ リ ー 構 造 よ り な っ て い る。

.4と

条件節

:[[条

条件節郡

件部属性

:[[条

][条

件部値

件 節 ][条 件 節 ]。

]] 。 。 [条 件 節

]]

ル ール ア イテ ム:

[[結 論 部 属 性 ]ル ー ル 番 号 ル ー ル リ ス ト :[ル

ー ル ア イ テ ム.

条 件 節 郡 [結 論 部 値

..ル

]]

ール アイテ ム]

プ ロ ン プ ト の 格 納 と し て は 属 性 と し 筒 紋 を 一 つ の ア イ テ ム と して こ れ を つ な げ た ツ リ ー 構 造 で あ る. こ の 外 に コ ン サ ル テ ー シ ョ ン に 必 要 と な る 2つ の リ ス ト構 造 が 存 在 す る.即 ち コ ン サ ル テ ー シ ョ ン の 目 標 と な る 目標 ス タ ッ ク と コ ン サ ル テ ー シ ョ ン の 結 果 分 か っ た 結 果 を 貯 め て お く文 脈 ス タ ッ ク で あ る. 目標 ス タ ッ ク は、 目 標 と な る 属 性 の ア イ テ ム の ツ リ ー 構 造 で 表 さ れ, 文 脈 ス タ ッ ク は, 属 性 と、 そ の 値 を 一 つ に し た ア イ テ ム を つ な ぎ 合 わ せ た ツ リ ー 構 造 で あ る。

3。

推論機構

8パ

ッ ク ワ ー ドチ ェ イ ン

推 論 ltま ず 目 標 ス タ ッ ク を 見 る こ と か ら 始 ま る. こ の ク の 一 番 上 に積 ま れ た 属 性 と一 致 す る属 性 をル ー ル リス 論 部 の 属 性 と 合 う も の を 捜 し 出 す . そ の ル ー ル リ ス ト中 捜 し 出 し、 条 件 部 の 属 性 と そ の 属 性 と 一 致 す る 値 を 文 脈

目標 ス タ ッ トの 中 の結 の条件節 を ス タ ックか

ら 取 り 出 し、 条 件 部 の 値 と 一 致 す る か ど う か を 調 べ る. も し、 一 致 し た の な ら ば、 次 の 条 件 節 で 同 じ 様 に 行 う.条 件 節 郡 の 全 て の 条 件 節 が 文 脈 ス タ ッ ク 上 の 事 実 と一 致 し た 場 合 に は そ の ル ー ル は 正 しか か ら そ の 属 性 を 外 し、 新 た な 事 実 と っ た こ と と な り、 日 標 ス タ ッ ク、 し て 文 脈 ス タ ッ ク 積 ま れ る. ま た、 も し 条 件 節 と 文 脈 ス タ ッ ク 上 の 値 が ,致 し な か づ た 場 合 に は、 そ の ル ー ル は 偽 と な リル ー ル リ ス ト か ら 外 さ れ る. ま た、 文 脈 ス タ ッ ク 上 に そ の 属 性 の 値 が 存 在 し な か っ た 場 合 は そ の 属 性 を 目 標 ス タ ッ ク の 一 番 上 に お き 同 様 の 検 索 を始 め る. こ の よ う に し て、 日 標 ス タ ッ ク が 空 に な っ た 場 合 に コ ン サ ル テ ー シ ョ ン は 終 了 す る. も し 目 標 ス タ ッ ク が 空 に な ら ず、 必 要 な ル ー ル を見 つ け る こ と が 出 来 な か っ た 場 合 に こ の コ ン サ ル テ ー シ ヨ ン は 失 敗 し て 終 る こ と に な る. こ の よ う に 目 標 を 定 め て、 後 向 き に 推 論 し て 行 く こ と を パ ッ ク ワ ー ド・ チ ェ イ ニ ン グ (後 向 き 連 鎖 )と い つ. 本 シ ス テ ム に お い て は、 日 標 ス タ ッ ク を 初 め か ら 3つ た。 最 も 最 後 と な る 目標 の 属 性 か ら 述 べ る と 「 大 梁 J、 し て、 「 胴 さ し Jの 順 で あ る. こ れ は 出 力 が 『 組 床 J、 『 根 太 床 Jの 別 に よ っ て 必 要 と な る 属 性 値 が 違 っ し● tご

お いておい 『小 梁 」 そ 「梁 床 」 そ て くるか ら

で あ る.:胴 差 し は 必 ず 必 要 な デ ー タ で あ る が、 小 梁 は 梁 床、 組 床 の と き に 飲 み 必 要 で あ り、 大 梁 は 組 床 に お い て の み 必 要 で あ る. した が っ て、 回 面 を 出 力 す る 際 に 大 梁 の デ ー タ が 文 脈 ス タ ッ ク 上 に あ れ ば、 そ れ は 組 床 で あ り、 大 梁 の デ ー タ が な く。 小 梁 の み で あ れ ば そ れ は 梁 床 で あ り、 大 梁、 小 梁 の デ ー タ の み で あ れ ば そ れ は 根 太 床 で あ る こ と を 示 す こ と に な る.

4.図

面 出カルーチ ン

、 ﹁ ﹁´ ・ ・ 、 卜 一． ¨ ｒ

本 シ ス テ ム に お いて は 現 在 の所 国面 出 カル ー チ ンは知 識 ベ ー ス と は 全 く独 立 し た モ ジ ュ ー ル に よ っ て 文 脈 ス タ ッ ク 上 の 値 を 取 っ て き て 表 示 が 行 わ れ て い る. し か し こ れ で は エ キ ス パ ー トシ ス テ ム に お け る ル ー ル の 可 変 性 が 損 な わ れ る ば か り で な く、 こ れ 以 後 の こ の シ ス テ ム 手 法 の 応 用 性 が 乏 し い.従 っ て, こ れ ら の 独 立 モ ジ ュ ー ル を 使 う こ と な し に 表 示 す る こ と が 出 来 る の で あ れ ば、 よ り不 変 性 の あ る も の と な る こ と は 町 が い な い. こ こで 新 た な 方 法 論 を提 示 す る が そ れ は小 規 模 の ル ー ル の 変 更 に よ っ て 行 う こ と が 出 来 る.す な わ ち、 現 在 の ル ー ル は、 「 も し、 A が

Bな

ら ば、 Cは

Dで

あ る.Jと

い う こ と に な っ て い る. こ の と き あ る と い う こ と を 表 示 して コ ンサ

最 終 日 標 が Cで あ れ ば、 Cは Dで ル テ ー シ ョ ン を 終 了 す る こ と に な る. を 表 示 す る プ ロ グ ラ ム で あ れ ば,

し か し、 こ こ で

Dが 例 え ば 梁

Dを

画 面 出 力 せ よ とい う命 令 によ っ て Dを 文 字 と し て 出 力 す る の で は な く、 Dを 実 行 せ よ と す る こ と に よ っ て ル ー ル の 結 論 部 と 図 形 が一 体 と な っ て 組 み 込 ま れ て 行 くこ と と な る.

1つ

の 可 能 性 と し て は、 属 性 の 値 を 疑 似 フ レ ー ム 化 す る こ と で あ る.即 ち 現 在 の ル ー ル に お い て は 属 性 値 と し て 文 字 の み を 与 え て い る が そ れ に 加 え て 図 形 表 示 の プ ロ グ ラ ム を 動 じ に リ ス ト上 に 持 つ こ と に よ っ て 同 様 の こ と を 行 お う と す る こ と で あ る. もう

白作 推

I含

ェ ン ジ ン に よ る エ キ スパ ー トシ ス テ ム

〔defino

"main 〔〔〕 〔 initializo l erase 〔initialize fi10) . input i erase 〔input data_input get_attr get_prompt put_p romp get_cond get_concld put_rulo_tree〕 infe rence

〕〕〕 〔define

file

"initializo

make make mako mako make mako make make

〔〔 〕 〔

"promp t_troo 0 "attr 〔〕 "promp t 0 "cond 〔〕 "concld 〔〕 "rule_troo 0 "fac t_stack 〔〕 "goal_1lst 〔〕 〕〕〕 . 〔 define "'filo 〔0 〔 make "data 〔 O the floor O Is the floor for room or corridor ?

0 O the room 0 1s rooh of under stair big or standard ?

0 O PoD 0 1s pitch of the douzashi 〔1800 -2000〕 〔 2700 -3000〕 〔3600 -4000〕 〔 4500 -5000〕 〔5400-〕

0 O Po0 0 1s pitch of the ohbari 〔 2700 -3000〕 (3600 -4000〕

0 O So0 0 1s span of the ohbari (3600 -4000〕

〔 4500 -5000) 〔5500-〕

0 O SoD 0 span of the douzashi 〔 900

-1000〕

(1800・ -2000〕

2700 -3000〕 (3600 -4000〕 (4500 -5000〕 C・

(5400-〕

0

O loaded 6

Is the beam loaded to

douzash

o

I

tf the floor is

room

dnd the room ls bls then k-y ls used 2

if the floor ls

room

and the room is standard then h-y ls used 3

if the floor is of corrldor then n-y is used 4 tf the floor ls room and the room is bis then h-y is unused if h-y ls used and PoD is (5400-)'. then k-y is used 5 tf h-y is used and PoD ls (1800 -2000) then K is'(150) 6 if h-y is used and PoD is (2700 -3000) then K is e10) 7 if h-y ls used and PoD is (3600 -4000) then K is (300) 8 .i f h-y ls used and PoD is (4500 -5000) then K ls (330) 10 tf k-y is used and PoO ls (2TOO -3000) then K is (2f0) t? tf k-y is used and PoO is (3600 -4000) then K ls (300) 11 I f k-y is used and PoO ls C27OO -3000) and PoD is (3600 -4000) then O 'is (330) t2

if k-y ls used li (2?00 -3000) ls (4500 -5000)

and Poo and PoD

t?

”﹂ 、

then O ls (360) 13

tf k-y ls

used

and PoO ls (2?00 -3000) and PoD ls (5500-)

then O is wlth lron Plate l4

if k-y ls

used

and PoO ls (3600 -4000) and PoD ts (3600 -4000) then O ls (330) 15

tf k-y is

used

and PoO ls (3600 -4000) and PoD ls (4500 -5000)

then O ls (400)

.

r6

29

if SoD is (5500-〕 then D is with iron plate 24 if SoD ls 〔900 -1000〕 and PoD is 〔1800 -2000〕 and loaded iS yos then D is (180〕 .

25 lf SoD is 〔2700 -3000〕 and loaded is yes then D is 〔800〕 。 26 if SoD is 〔8600 -4000〕

●´ド ． Ｑ

if k-y ls used and PoO ls (3'600 -4000) and PoD ls (5500-) then O . is wi th I qon P late 18 If SoD ls (900 -1000) and loaded ls no then D is (150) 19 i f SoD ts (1800 -2000) and loaded is no then D ls (150) 20 if SoD is C27OO -3000) and loaded ls no then D is (210) 2L i f SoD ts (3600 -4000) and loaded is no then D is (300) 22 if SoD is (4500 -5000) and loaded is no then D is (330)

;.

and loaded ls yos then D is (330) 27

if SoD is

(4500 -5000)

and loaded ls y6s then D is (360) )

))) (define "tnput (0 ( vhlle (not (emptyp :data)) ( da ta- inpu t ) ))) (def ine "data-lnput (O ( i f emp typ : data (s t op) if (and not (numberp (first :data)) ((first:data) get-attr te t-p rom'p t .put-prompt :attr :prompt make mAke s top

'

'attr o 'prompt

o

)

lf numberp (first :data) ( make'data get-number :data ge ge

t-cond t-c onc I d

put-ruIe-tree :attr :number :cond :concld make 'attr o make "cond o make 'concld 0 s

top

)

))) (def ine'get-attf (O ( make'data (bf :data) while (not ((f lrst :data) = '@)) ( make "attr lput (flrst:data):attr make "datd (bf :data) ) make "data (bf :data) ))) (def ine "get-prompt (() ( vhile (not ((f irst :data) = '@)) ( make "prompt lput (first :data) :prompt make'data (bf :data) ) make 'data (bf :data) ))) (def ine'put-prompt ( (:attr :prom'pt) ( loca.I. 'p ronrp t-s tack make'prompt-stack (fput :attr (fput :prompt 0)) make'prompt-tree (lput :prompt-stack :prompt-tree) ))) 1

= "@))

(

︰ ●い一¨

(def ine'get-cond (0

(

while (not ((f lrst :data) = 'then)) ( make 'attr 0 make 'val 0 make "data (bf :data) whlle (not ((f Irst :data) = 'ls)) ( make'attr lput (flrst :data)':attr make "data (bf :data) )

"data Gf :data) while (and (not ((first :data).= "and)) (not ((first make'val lput (first :data) :val make 'data (bf :data) ) make 'cond Iput (fput :attr (fput :val 0 )) :cond make

)

:data) = "th6

)))

ine 'ge t-conc ld ( O ( 'attr 0 "val O "data (bf :data) while (not (f irst :data) ='ls) (r make "attr lput (first:data) iattr make "data (bf :data) ) make'data (bf :data) while (not (f lrst :data) ='.) ( make "val lput (first:data) :val make 'data (bf :data) make 'concld :val make "data (bf :data) ))) (define "put-rule-tree ((:attr :number :cond :concld) ( local 'rule-s tack make " rule-s tack (fput :attr (fput :number (fput i:cond (fput :concld make 'rule-tree (Iput : rule-s tack ! rule-tree) ))) (def ine "infersnce (O ( (IocaI "done "cond "rule 'nBy-goal) (da f

make make make

ge t-ma in-go a I make "done 'false

while (not :done) main-infer

(

)

display

))) (define "whlle ((:y-cond :w-comm) nextloop: if not run :w-cond (s top) run :w-comm 8lo 'nextloop )))

(

O

))))

lne " ge t-number ( (: data) ( make "number (f irst :data) op (bf :data) ))) (def ine "get-maln-goaI (O ( make " ma in-so a I ( (D) ffi) (O) ) make 'goal-l ist :maln-toal ))) (def ine'maln-infer (0 ( make "counter I if found-rule :rule-tree :goaI-list case rule-value : rule-tree ( ('T (true-rule) ) ("F (f alse-rule) ) ('U (pu t-on-go a I) ) (de f

( .

) s )

top

make'counter I t f found-prompt :prompt-tree question :prompt-tree s

(

top

)

f ' t rue ))) (def ine "display (0 ( make "O 0 make 'm 0 make 'K 0 i f f ound-resuI t : f ac t-s tack (O) ( make 'I (first get-result : fact-stack (SoD) ) make "m (f irst get-result : f act-stack (PoO) ) make "O (f irst 8et-r6suIt : f act-stack (O) ) ) if not (found-result :fact-stack (O)) ( make'I (f irst get-result zfact-stack (PoD)) ) make'D (first get-result :fact-stack (D)) make'K (f irst get-result :fact-stack ffi)) drawing :D :K :l :O :m ))) (de f ine " f ound-rule ( (: rule-tree ! toal-I is t) ( i f emp typ : rule-troe (op " f alse) if (first first :rule-tree) = (first :goal-Iist) (op ' t rue) make'rule-tree (bf :rule-tree) make "countor:counter + 1 op f ound-ruIe : rule-troo : goal-l ls t .) ) ) (def ine'case ((:c-cond :c-comm) ( make 'done

next loop:

f emp typ : c-comm (s t op) if :c-cond = (first i

flrst

:c-comm)

(

run (last first make 'c-comm (bf

:c-comm)

)

go 'next Ioop

:c-comm)

))) (define'rule-value ((:rule-tree)' ( make 'rule item :counter :rule-tree make "cond (first bf bf :rule) op search-cond :cond ))) (def ine'true-rule (0 ( local 'fact ' make "rule item :counter :rule-tree . make T.f act (fput f irst : rule (fput last : rule 0 )) make " fac t-s tack fput : fac t : fac t-s tack make'goal-llst (bf :goal-llst) make "rule-tree discard :counter :,iuIe-trse make'iounter tf emptyp :toal-list (make'done'true) ))) (de f ine 'f alse-ruIe ( O ( make " rule-tree discard : counter : rule-tree make 'coun te r I ))) (def ine'put-on-goaI (0 ( make -goal-llst fput :new-goaI .:toal-list ))) (def ine " f ound-prompt ( (:prompt-tree) ( i f emp typ : p romp t-t ree (op " f alse) if (first first :prompt-tree) = (first :goaI-list) (op ' t rue) make'prompt-troe (bf :prompt-tree) ' make 'counter :counter + ' op found-p romp t : p romp t-t re e ))) (def ine "guestion ((:prompt-tree) ( (Iocal 'prompt 'ans) make 'prompt item :counter :prompt-tree print bf :prompt make 'ans rI make 'f act fpu! (f lrst : goaI-I ist) (fput : ans 0 ) make 'f ac t-s tack fput : f ac t : f ac t,-s tack make'goaI-Iist (bf :goal-llst) make'counter ))) (de f ine 'ssarch-cond ( (: cond) ( i f emp typ : cond (op "T) case search-fac t-s tack (f i rs t : cond) : fac t-s tack ( ("T (op search-cond (bf :cond))) C'F (op "F) ) 1

1

1

(1U (op 'U)

)

)

))) (de f ine '.d lscard ( (: d-num : d-l ls t) ( locAl dd-temp make " d-temp 0 repeat:d-num-1( make "d-temp Iput (first :d-list) :d-temp make "d-Ilst (bf :d-llst) ) if emptyp :d-llst kip' i.d-temp) op sentence : d-temp (b f : d-l is t) , ))) (de f lne 'search-fac t-s tack ( (: cond : fac t-s tack) ( i f 'emp typ : f ac t-s tack ( make "new-goal (f lrst :cond) op 'U) tf (first first :fact-stack)'= (flrst :cond) ( lf (bf first :fact-stack) = (bf :cond) (op'T) op'F prinl (======== $[ NEED STOP =========) s top ) op search-fac t-s tack : cond (b f : fac t-s tack) ))) (define "prompt-input ((:data) ( if (or (numberp (flrst :data)) (emptyp :data)) (op : data) (and not (numberp (first:data)) ((first:data) ' if make'data get-attr :data ge " make da ta . put-prompt t-p romp t : da ta :attr :prompt make "attr o . make 'prompt o op p romp t- inpu t : da ta ) ))) (de f ine 'found-resul t ( (: fac t-s tack : targs t) ( I f emp typ : fac t-s tack (op " false) tf (first first :fact-stack) = :tartet (op " t rue) make " fac t-s tack (b f : fac t-s tack) op found-rule :fact-stack :target ))) (de f ine " ge t-resu I t ( (: fac t-s tack : targe t) ( t f emp typ : fac t-s tack (op 0) if (first first :fact-stack) = :tartâ&#x201A;Źt (op first last first : fact-stack) op 'ge t-resul t (b f : fac t-s tack) : targe t ))) (deflne'dravtng ((:D:K :l :O:m) ( make "D zD/tO make 'K IK/LO .

?

= "@))

(

make "l :1/20 make "0 80/10 makO "m 3m/10 make "0_1 0 mako "0_m 0 cloartext clearscroOn if (■ Ot 80 = 0)〔

make "0_1 10 make "0_m 12

)

pu lt_fd :l pd lt_squaro 0 12 :D lt_fd :K lt_fd 8m rt_square 80_1 80_m 80

.

pu

fd 80_m ・ pd lf (((81*2)― :m)> 8m)〔 fd :m rt_square 80_1 30_m 80 pu fd 80_m pd

mako "0_m (80_m * 2) mako "m (:m * 2) 〕

・

fd (((31*2) - 80_m)- 3m) lt_fd :K rt 90 rt_squaro 0 12 :D rt 180 display_neda (81 * 2) display_scalo (:l*2)

〕〕〕 〔define

"lt_fd lt 90 fd 81ength

〔〔:longth〕

〕)〕 〔define

"lt_square rt_fd :gap ・ ・ lt_fd :wide

〔〔8gap

〔

8WidO :high〕

〔

:wido :high〕

〔

ltifd :h igh

it_fd 8Wide lt_fd (8high - 8gap) lt 90 〕〕〕 〔 define

"rt_square

It-fd :rap

rt_fd 8Wide

rt_fd :h igh rt_fd :wide

〔〔8gap

rt_fd (8h igh - 8gap) rt 90 〕〕〕 〔 define

"r tttfd

longth〕

rt 90 fd :longth

〕〕〕

f ine 'd i sp I ay-ne da 〔〔810ngth〕 local'sum make 'sum 0 (:sum + 30)〕 vhlle (: Iength fd 26 ` rt-squaro 4 4 I

(de

pu fd 4 pd mako "sum )

(: sum

*

30)

・

fd (81● ngth

)))

: sum)

(def lna. "dlsplay-scale

(

(: lensth)

local "sum

mako "sum 0 pu lt… fd 100 pd fd 7 1t 90 wh ilo

・ 〔:longth

> :sum〕

fd 90 lt 90 fd 7 bk 7 ' rt 90 mako "sum (3Sum + 90) ・

)

﹂ ′ ” ．

〕〕〕

部屋割 プ ログ ラム仕様

1.使

用言 語

:TURBO PASCAL

処 理 系 と し て ポ ー ラ ン ド・ イ ン タ ー ナ シ ョ ナ ル 社 の TURBO AoS C A Lを 使 用 し た. こ の 言 語 を 使 用 し た 理 由 は。 ま ず コ ン パ

P

イ ラ ー で あ り, 処 理 速 度 が 早 い こ と、 数 々 の デ ー タ 構 造 を 取 れ る た め デ ー タ の 取 り扱 い が 容 易 で あ る こ と、 手 続 き、 関 数 を 定 義 で き る た め プ ロ グ ラ ミ ン グ が 容 易 に な る こ と、 そ し て な に よ り、 筆 者 に と っ て 最 も 使 い 慣 れ た 言 語 で あ る こ と に よ る.

2。

入カデー タ

入 カ デ ー タ は_3つ の 独 立 し た MS―

DOSじ

ょ う の テ キ ス トファ

イ ル に 分 か れ て い る。 テ キ ス ト フ ア イ ル に し た り有 は 入 力 に の み 使 .用 す る も の で あ り、 且 つ、 エ デ ィ タ 等 で 容 易 に デ ー タ の 修 正 が 可 能 で あ る た め で あ る.

1つ 目 の フ ア イ ル は 距 離 に 関 す る デ ー タ で あ り, 各 空 間 に 移 動 す る の に か か る 距 離 の マ ト リ ッ ク ス が デ ー タ と し て 格 納 さ れ て い る. こ の デ ー タ は 小 林、 荻 野 両 氏 の 本 年 度 卒 業 論 文 の デ ー タ を 基 本 と し て 修 正 を 加 え た も の を 使 用 し た.

2つ 目 の フ ァ イ ル は 部 屋 に 関 す る デ ー タ を 格 納 し た も の で あ り、 部 屋 の 名 前 及 び、 各 部 屋 に 関 す る 属 性 に 依 っ て 構 成 さ れ て い る.

3つ

目 の フ ア イ ル は 時 間 割 に 関 す る デ ー タ を 格 納 し た も の で あ り、

各 学 科、 学 年 及 び、 そ れ に 対 応 す る 各 時 間 毎 の 必 要 と な る 部 屋 の 属 性 に 関 す る デ ー タ か ら 構 成 さ れ て い る.

3.デ

ー タ構 造

各 入 カ フ ァ イ ル に 合 わ せ て そ れ ぞ れ 交 野 違 う デ ー タ 構 造 を 有 して い る.各 々 の デ ー タ は 各 構 造 を 一 つ に ま と め た レ コ ー ド型 に よ っ て ま と め ら れ て い る. ま ず、 距 離 に 関 す る デ ー タ 浜 ト リ ッ ク 素 手 表 さ れ て い る た め、 そ の 特 性 を 最 も よ く 表 す こ と の 出 来 る。 配 列 構 造 を 取 っ て い る.型 名 は、 dis tance〔 n,m)で あ り、 Nか ら Mに 移 動 す る 距 離 に 関 す る 数 値 が 入 っ て い る。

部 屋 に 関 す る デ ー タ は、 部 屋 の 名 前、 そ の 部 屋 の 属 性 を 表 す 文 字 型、 及 び, そ の 部 屋 が 使 用 さ れ て い る か い な い か に 関 す る 状 況 を フ ラ グ と し て 示 す 論 理 型 の 要 素 の 3つ か ら な る レ コ ー ド型 に 依 っ て 構 成 さ れ て い る。 時 間 割 に 関 す る デ ー タ は、 学 年 学 科 を 示 す 文 字 列 型 と、 各 時 間 毎 を配 列 と して 必 要 とす る部 屋 の 属 性 を表 す 文 字 型 の 要 素 か らな る レ コ ー ド 型 に 格 納 さ れ て い る. こ れ ら の 入 力 さ れ た デ ー タ の 外 に 結 果 を 格 納 す る た め に、 時 間 と、 学 科 学 年 (こ れ は 配 列 表 示 の 都 合 上 整 数 の 通 し 番 号 と な っ て い る.) か ら な る 配 列 の 中 に そ の 時 間、 そ の 学 年 学 科 が 入 っ た 教 室 の 番 号 ( こ れ も 配 列 都 合 上 教 室 名 で は な く、 数 値 が 格 納 さ れ て い る。 )と 、 そ の 教 室 に 移 動 す る の に 用 し た 移 動 量 が 格 納 さ れ て い る.

4.演

算ルーチン ヽ

1

上 記 で 述 べ ら れ た 結 果 を 格 納 す る た め の レ コ ー ド型 と は 別 に 同様 の レ コ ー ド が だ を 持 つ 変 数 を 使 用 す る. こ の 変 数 に 教 室 番 号 を い れ て い き、 入 力 さ れ た デ ー タ を 使 用 し て 適 合 条 件 に 合 う も の を 見 つ け、 か つ、 そ の 移 動 量 が 最 小 と な る も の を 結 果 と して 移 し て や れ ば 良 い. 。 し か し、 こ れ で は 膨 大 な 演 算 時 間 を 要 し て し ま い、 全 く 実 用 と な

ORな

ど に 用 い ら れ る 手 法 を 用 い て 演 算 時 間 を短 縮 し な け れ ば な ら な い. こ こ で ま ず 使 用 し た 短 縮 法 は、 部 屋 の 属 性 が 合 わ な か っ た 場 合 に は そ の チ ェ ッ ク を 打 ち 切 り、 そ こ ま で の 組 合 せ が 同 じ も の は 以 後 行 わ な い よ う に す る こ と に よ る.次 に、 距 離 が 組 み 合 わ せ 半 ば に し て、 現 在 分 か っ て い る 最 短 移 動 距 離 よ り も 超 過 ら な いご こ の た め

し た 場 合 に 関 し て そ こ ま で で チ ェ ッ ク を 打 ち 切 る よ う に し た.そ し て、 ゲ ー ト を こ れ か ら は い る 部 屋 の 属 性 と し て 持 っ て い る も の は、 ゲ ー ト が 1番 目 で あ る こ と か ら そ れ 以 後 の 番 号 で あ っ て も チ ェ ッ ク ル ー チ ン に よ り は じ か れ る た め、 次 の 検 索 番 号 を 最 終 の 部 屋 の 番 号 ま で も っ て い っ て し ま う こ と に し た。

!

I

PRO9RAM c Iass-al

locat ion;

CONST

word-size = 20i dimention = 521

max-houfs = 4i max-classes = 46i TYPE

string80 = string(2zil

;

word = strlng(word-slze) s tr ingl = s tr ing (1) ;

;

VAR

line : strinsSO ; rule-file : text c lass-f I lo : text room-f iIe : text token : word ; distance : array( 1.. dimention, l..dimention) of integer; count : lnteger; strip-leading-blanks IF Ieneth(s) > 0 th en if s(1) = ' '

PROCEDURE BEGIN

(VAR

s : stringS0);

then begin

dolete (s,1,l); s tr ip-Iead ing-b lanks (s)

end;

.

;

end; ('t( strip-leadine-blanks :r) PROCEDURE str ip-trai I lne-blanks (var s: strinsSO) BEGIN i f length (s) th en if s(length(s)) = ' ' then

begin dele te (s, Iength (s), 1) ; s tr ip-tra i I ing-b lanks (s)

END;

(t

FUNCTION

var

.

s

tr

end; ip-tra i I ing-b

8ot-rule-flles

lanks

: boolean;

ch : char;

rule-name : strinsS0

FUNCTION

)r)

;

file-ok : boolean;

;

;

FUNCTION

opon(var flte-td

: text; ftle-name .

begin (rtcgl- ,r) ass lgn (f i le-id, f i le-name)

reset(file-id);

ring80): boolean; ,'

.,

;

opBn := (ioresult = 0); (*$ I+ ,r) end; (tft op en {<)

begin

wr i te

('Dis tance Fi le : ')

readln (ruIe-name)

;

;

If (pos('.dat',fuIe-name) = O) or (pos('.DAT',rule-name) = 0) rule-name := concat ('YDATA*' , rule-name, '. DAT') ; f iIe-ok := open(rule-f ile, rule-name) ; end; (,r f ile-ok :r)

then

begin

If not file-ok th en

begin

wr te ln; wr teln('An error has occurred while opening the flIes.'); wr teln; wr teln('Press <ESC> to quitr tny other key to continue. read (trm, ch) ;

writeln; if ch then got-ruIe-files := got-ruIe-fiIes else got-rule-f iles := False;

, .

end

e

lse

end;

(:tc

got-ruIe-f lles := true got-ruIe-f iles tr)

set-line ; read.ln (rule-f I le, I ine) END ; (* ge t-l ine :r)

;

PROCEDURE BEGIN

PROCEDURE

var n:

scanf

i:-1

;

intâ&#x201A;Źger;

PROCEDURE VAR

;

get-token (var n: integer); 255;

code : integer; BEGIN

tr ip-lead ing-b I anks (l lne) i f Iength (I ine)

s

1

;

then

begin

i := pos(' 'rllne)

1

;

');

IFi<=0 THEN I := length (l lne) ; token := copy (l lne, l, l) ; Val (token, d ls tance (count, n) , code) ; delete(line,I,l) ; end; END ; (x ge t-token :s) BEGIN

for n := I to dlmention begln ge t-token (n) ; end; END ; (* scanf *)

do

allocatlon; ,'. ll TYPE class-items = record name :string(7); ' types :array(1. .max-hours) of strincl; PROCEDURE

;..

end;

room-items = record

: strlng(word-s lze) types : stringl; vacant : booloan; nama

I

end;

result-items = record room-no : in tBge r; dtstanco : .lntegor; end;

râ&#x201A;ŹsuIt-type = array (1. . max-hours, 1. . max-classes) of result-items; VAR result : array (0.. 10) of rasult-type; place : result-type; mlnimum-distance : integer; distancB-sum : integer; c l'ass: atray (1. . max-c Iasses)' o f c Iass-i tems; room z array(l..dimention). of room-items; Ans : char; counter : integer; { the number of result } procedure lnltiaLizei var hour, class : integor; l't

begin

counter:=

0;

minimum-dtstancs := maxlnt; distance-sum := O; for hour := I to max-hours do for class := I to max-classes

do

ヽ ・．¨ ヽ ・

in place (hourrclass). room-no := 1; place (hour,class). dlstance := 0;

beg

end; end;

function f irst-string-ln(var line:strins80) :string80; var i: integer; begin s t r ip-lead int-b lanks (l ine) ; beg in l; i := pos(' ',Ilne) if I (= 0 then I := length(Iine); f I rs t-s tr ing-ln := copy (l ine, l, l) ; delete(line,1,i); end; end;

procedure te t-c Iass-f i le; var class-name : stringS0; begin

vrite('Class file :'); readln(class-name); c lass-nam6 := concat ('DATA*' , c lass-name' '. DAT') ; ass ign (c lass-f I le, c lass-name) ; rose t (c lass-f i Ie) ; end; (,s get-class-f lle x) p roceduro ge t-c lass-data; VAR ! number,I,hour: inteter; ' begin line := "; numbor:= 1; while not(eof (class-f ile)) do begin while line = 't do begin readln (c Iass-f i Ie ' I ine) ; s tr ip-trai I ing-b lanks (l ine) ; end; c lass (number) . name := f irs t-s tr ing-ln (I ine) ; hour := 1; while (Iength(ltne) > 0) and (hour (= max-hours) do beg ln c lass (numbe r) . types (hour) := f I rs t-s tr ing-in (l ine) hour := houril; , end; for I :=hour to max-hours do'

;

begin

class (numbar) . tYPes (l) :r='n'

;

end;

number:= numbertl; end; (of while) for I :=number to max-classes do begln class (l). name := ' ' ; for hour := I to max-hours do begin c lass (l) . tyPBs (hour) := 'n'

end; end; end; (* get-class-data :lc) p

ro

c e du

var

re

;

t

to t-room-f I I e ;

room-name

: stringS0;

begln

write('Room file : ');

readln (room-name) ; foom-name :=. Concat ('DATA*' , foom-namer' . DAT')

assign(room-flle, room-name) i' rese t (room-f i le) ; e.nd; (x ge t-room-f i le tr) p rocedure ge t-room-da ta; VAR

number, i:

;

integeri

begin number := 1;

Iine := " while not(number begin while line = " do . begin readln (room-f I Ie, I ine) ; s tr ip-t ra i I ing-b lanks (l lne) ; end; wh i Ie leng th (l ine) > 0 do begin room(number).name:=flrst-string-In(line); room(number). types := f lrst-strlng-in(line) room (number). vacant := true; end; number:= number + 1; end; end; (* get-room-data {<) 1

procedure find-data; var i, n: in te ge r;

,'

'' ;

.; begln

r'' '.

ln ('tlc** CLASS DATA tlolol(,r') ; for i := I to max-classes do begln

wr i te

.,

with class(l) do begln wr i te ln ('NAME: ' , name) ; for n := 1 to max-hours do begin

wr I te (n,

' HOUR ') ; wrlteln ('TYPE:', types(n))i

end;

.

end;

repeat until keyprsssed;

snd;

ln; ln (':f*,rrr ROOM DATA rr*{of ') ; for l:= 1 to dlmentlon do begin wi th room (l) do begln wr i te ln ('NAME ! ' , nams) ; wr i te ln ('TYPE ! ' , tYPes) ; wr i te ln; end; t{ repeat untll keypressed; .end; wr i te ln ("r*:r* DISTANCE CHART {c|crF>lc') ; for i:= I to dimention do begin for n:= I to dimention do begin wr ite (dlstance (i,n) :2, " )

wr i te wr i te

t

end;

vr I te In;

end;

repeat until keypressed;

clrscr;

wr i te

end;

ln ('CALICULATION

STARTED

') ;

l

(l(t,rx(t)r&*,r&r,p$'r{(*)r&f:*)r***'r*)r{<)r*xt,r{({(:r,r)pr:ra:r**,r,|()|()|(,|('|(,|(a :

procedure sBarch-room;

VAR not-end :boolean; can-continue : boolean; function in-public begin i

f

(houf , class-no

(room (p lace (hour,

begin

if hour = 1

c

then

: intst6r

;

types :stringl):boolean;

Iass-no) . room-no) . types = tyPes) then

beg ln

lace (hour, c Iass-no) . d ts tance := dis tance (1, place (r,w.rr 1 c lass-no) . room-no distancB-sum := distancs-sum + place (hour, class_no). distance;

p

end

e

ă &#x192;noă&#x20AC;&#x2022;

:

lse bogin place (hour, class-no). distance := dls tance (p lace (hour-1, c Iass-no) . room-no, p lace (hour, c lass-no distance-sum := distance-sum + place (hour, class_no). distance; end;

ln-publlc := true ; endr. else ( case that room is not vacant or type mis match t begln in-public := false; and; end; (:r in-public *) function in-room(hour, class-no : integer; types:stringl) :boolean; bsg in i f (room (p lace (hour, c lass-no) . room-rio) . types = types) and room (p laco (hour, c lass-no) . room-no) . vacant then b'e s

in

room (p lace (hour, c Iass-no) . room-no) . vacant

if hour = I

then

:= f alse;

begin place (hour, class-no). distance :=

distance (l,place (hour, class-no). room-no distance-sum := dlstance-sum + place (hour, class-no). distance;

end

e

-no)

;

lse begln place (hour, class-no). distancs := d ls tance (place (hour-1, class-no) . room-no, p lace (hour, c lass-no distancâ&#x201A;Ź-sum := dlstance-sum + place (hour, class-no). distancs; end;

end

in-room := true

;

else ( case that room ls not vacant or type mis match ) begin in-room := false;

end; end; ({< in-room '$)

procedure record-result; begin

if dlstance-sum = mlnimum-dlstance then begln counter := counter + 1; result (counter) := place; end; i f d ls tanc6-sum ( mln imum-d is tance then

.

:.

ac8;

end;

procedure next-room(hour,

ls tanco-sum;

ｌ ｐ

end;

:

ln imum-d is tance

counter := l; result (counter)

ｄ

m

〓 ●● 〓

begln

c

lass : lnteger)

;

begin place (hour, class). room-no 3= place (hour,class). room-no + 1; t f p lace (1, l) . room-no begin

. not-end := false; end; if place (hour, class). room-no betin.

lace (hour, class). room-no:=1;

p

next-room(hourrclass 1);

end;

tf place (hour;max-classes). room-no ) dimention then begln p lace (hour, c lass) . room-no:=1;

next-room(hour-l,1);

end; end; (:s next-room lc)

procedure show-now;

var hour, class : lnteger; in for hour-.:=

beg

to max-hours do for, class := I to max-classes 1

begin.

vr

'.lirr.i.ta (p I t'el(i ')

do

lace (hour, c Iass) . room-no,

,);

I

end; wr i te ln; .. end:(*show_■ ow*)

procedure cond i t ion-check;

var hourrclass-norl : lnteter; skip-1, skip-n : lntegor; besin

class-no 3= 1; hour := .1; shile can-contlnue and not (hour ) max-hours) do begin shlle can-contlnue and not (class-no ) max-classas) begln

do

(hour) o f "":;, :i;;i"tt lass-no) ' tYPes

can-cont lnue := ln-pub I ic (hour, c Iir. - -llo, ' g') ; if not can-contlnuo then begin place (hour, class-no). room-no := dimention;

end;

end;

'h' : can-contlnue := ln-publtcftour, class-no,'h') can-continue := ln-publtc(hour,class-no,'d'); iU" s' : can-continue := in-room(hour, class-no,'s');

,

:l: :

ill:illlil::

;=

;

lLil:il8:li:!llll-ll:i?i

l' : can-continue := ln-room(hour, class-nor'I');il end; { d ls tance-check; } { procedure dlstance-check; } beg

in i

f

end;

d

is tance-sum ) min lmum-d is tance then

can-continue := false;

if not can-contlnue then (and not((hour = 1)and(cIass-no = 1))

( progedure skip-room(hour, class-no: integer) var l, n : intege r; l

;

begin

nex t-room (hour, c I ass-no)

;

for skip-l := bour*1 to max-hours do for skip:n := I to max-classes do place (skip-i,skip-n). room-no := 1; for skip-n := (cIass-no + 1) to max-classes do place(hour,skip-n). room-no := l; ( place (1, 1). room-no := 0; ) end; (:f skip-room >lc) ( skip-room(hour,class-no); ) class-no := class-no + 1; end; for i := 1 to dlmention do room (i) . vacant != true; class-no := 1; hour := hour + 1; end; if can-continue then begin record-result; wr i te ln (d is tance-sum) ; distance-sum := 0; next-ro

end

om

(max-hours, max-c I asses)

else begin distance-sum := 0;

;

can-contlnus := truo; end; end: (* condition-check :ts) in { o f search-room ma tn} initialize; not-end := true; can-continue := truei vh i le no t-end do begin ( show-now; )

beg

'

cond i t ion-check;

(next-room(1' 1);l

end; end; ({c serach-room

:fi)

re ou t-Pu t-re su I t; var. i, classrhour: integer;

p

roc edu

beg

in

clrscr;. ifcounter=0than begin

wr i te In end

. e

('NO OPTION CAN BE FOUND ')

;

Ise

begin

vrlteln('T./@H t :@4 P/g t'); repeat untll keYProssed; wr i te In (is t, ' I irevg ' , counte r, ' 9PTION HERE. ') ; wr i te rn <tst, 'toteL DISTANCE i ' , trinimum-dis tance) ; for I := I to counter do begin

writeln(lst); '); write(Ist,' for class := 1 to max-classes

.

begin

do

write(Ist,cIass:7)3 writeln(Ist)i for hour:= 1 to max-hours do begln wr i te (Is t, hour 22,'H : ' ) ; for class := 1 to max-classes do begin class) ' room-no:3); write (lst, rosult (i,hour, ,)r); (i, (' c Iass) ' d is tance:2' hour' t resul t, wr i te <f" ' , end; writeln(lst); end;

end;

end; end; end;

bes

ln

get-room-flle; ge t-room-data; get-ilass-file; get-class-data;

vr i te ('DISPLAY FILE CONTENTS (Y/N)?8 0): readln (Ans) ;

tf

(Ans

besln

= 'Y') or

(Ans = .y')' then

f lnd-da ta;

. end; so

ou

arch-room; t-pu t-ro su I t ;

end; (* ,

BEG

"Ilocatlon

:fi)

IN

l ino !="

;

IF rot-rule-flles THEN

BEGIN

fo

r count begln

1 to dlmentlon

get llne;

scanf:

end;

close.(rula-file)

all'oca.tlon;

END

;

do