（６４）深い知識に基づく設計支援システム：Ｄｅｓｑ


	マ シ ン：Multi-PSI
	環　　境：PIMOS, SIMPOS
	言　　語：ESP, KL1
	ソース量：4.0 MB
	文　　書：マニュアル (日本語)

概要

電子回路の設計における設計パラメータの範囲の決定を支援するツールである。

構成

機能

経験的な知識を使わずに原理的な深い知識から、設計パラメータの範囲の決定 を支援することは、知的な設計支援システムに必要な技術である。本プログラ ムは、原理的な知識から設計パラメータの値を決定する支援方式を開発する目 的で試作された。

Desqは、設計パラメータの値を未定にした電子回路の構成とその回路が振る舞 うべき仕様が与えられると、トランジスタやキルヒホッフの法則などの深い知 識を使って、未定で与えられた設計パラメータの範囲を求める。具体的には、 並列制約ソルバー(Consort) を使いながら回路全体のモデル (連立不等式とし て表現される) を構築する。モデル構築に際して、評価できない変数があった 場合は、その変数の範囲を仮定しながら推論を続ける。さらに、回路の時間的 変化を推論し、仕様を満足する挙動を求める。この推論の副作用として、未定 で与えられた設計パラメータの範囲を求めることができる。

深い知識が格納されている知識ベースを変更することにより、Desqは電子回路 以外の設計パラメータの設計に応用することができる。

ＦＴＰ

www-admin@icot.or.jp