著者

浜田 亘曼 平沢 宏太郎 高藤 政雄 林 利弘

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.21, no.1, pp.1-7, 1980-01-15

---

計算磯制御の分野では ソフトウェア生産性を向上させる有力な方法として高級言語化と問題向言語(POL:Problem Oriented Language)化の2つが考えられる.すなわち 汎用的な高級言語を用いて信頼度の高いプログラムを作成するか 特定応用分野の標準化された要求をプログラム仕様として記述させる機能を有する問題向言語を利用するかである.先に報告されている制御用計算機言語PCLの上位言語であるSPL(Software Production Language)は 上述の2つの側面を同時に満し得るように設計されている.本論文ではSPLのPOLへの応用について述べている.特にSPLの特徴的な機能である 手続きの構造化制御機能 手続きのインライン展開機能 豊富な手続き参照機能 PL/Iのそれを高信頼化の面で強化したコンパイル時機能等について論じている.また SPLの電力系統制御への応用例を用いて その効果を論じている.

著者

折田 三弥彦 長谷川 純一 鳥脇 純一郎 金崎 守男 高藤 政雄

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.29, no.2, pp.105-113, 1988-02-15

被引用文献数

2

---

処理手法に関する知識だけを用いて手順を推論する画像処理手順のプロタ"クションシステムを提案する.すなわち 画像の特徴を大局的データベース 処理手法に関する知識をプロタゥクションルールとして各々対応付けるものであるまた 手順推論の高速化および柔軟性の向上を目的として 問い合せによる会話型評価と特徴例示による自動評価とを融合させる方式を採用した.実例を引用して本方法を考察したところ 知識ベースの簡単化 あるいは推論の柔軟化が図れるものと期待できる.さらに本方法に基づき 部分的ではあるがモデルシステムを試作 評価したところ 画像処理エキスパートをより実用レベルに近づけられることが確認できた.