MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
DSPおよびそのプログラミング環境は5年以上にも渡ってカメラ設計・コピー機設計・建築設計・またプラントエレメント設計などの
幅広い産業応用分野にて、使用されて来ました。
1996年6月4-7日に行なわれた第9回人工知能とエキスパートシステムの産業と工学応用の国際会議(IEA/AIE)で、九州工業大学の梅田政信氏他は、設計計算問題に特有のプログラミング言語であるDSPに関する論文を発表しました。
製品設計分野においては、「設計業務は、ユーザと社会の要求によりますます難しく複雑になっている。」「製品設計者のような専門家の知的生産性の向上がますます必要とされている。」「知的なCADシステムのような知識ベースのシステムがますます必要となっている。」しかし、知識の記述は簡単でなければなりません。そして製品設計者が、コンピュータプログラマーの支援なしにシステムを開発し、保守できるようでなければなりません。「DSPは、設計者自体が、設計知識を記述し保守できるようにされています。」
DSPは「属性文法に基づき、generate-and-testアルゴリズムを記述できる、機能的なプログラミング言語です。」データフローと「generate-and-test」の概念は、試行錯誤が繰り返される設計知識の公式的な記述にとても向いています。
DSPはIF/Prologで実現されています。
(The IF/Prolog Newsbrief 96-08より)
| 
