1992 Fiscal Year Annual Research Report
| Project/Area Number |
02452153
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
五十嵐 滋 筑波大学, 電子・情報工学系, 教授 (80027367)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
水谷 哲也 筑波大学, 電子・情報工学系, 助手 (70209758)
大木 敦雄 筑波大学, 社会工学系, 助手 (20160434)
西村 泰一 筑波大学, 数学系, 講師 (70135614)
細野 千春 筑波大学, 電子・情報工学系, 講師 (20108294)
辻 尚史 筑波大学, 電子・情報工学系, 助教授 (70016666)
|
|---|
| Keywords | V-転換 / NU / 不完全情報ゲーム / 音楽情報処理 / 同値理論 / 人工知能 |
|---|
| Research Abstract |
各研究分担者は、解析的意味論に基づく述語論理的プログラム言語NUの理論の構築及び処理系の作成等を行なった。NUは、論理的プログラム言語であるうえに手続き的な表現ができ、さらにプログラムの要求仕様と相互に変換が容易であるという特徴をもつ。主な研究業績は、以下の2項目である。
1 NUの理論面の研究として、以下の2点について一定の成果が得られた。このうち一部は公表し、一部は公表準備中である。
(1) 実時間並行プロセスに関する諸問題を表現・解析する、時制算術と呼ぶ新たな方法を開発し、その上での検証システムについて研究した。
(2) NUで表現された並行プログラムに関する同値理論(軌跡準同型写像)を用いて、デッカーの解という数学的にも実際のプログラム作成論的においても非常に興味深い具体例について、新たな手法で解析を行った。
2 不完全情報ゲームや音楽情報処理という、高度に知的な人工知能的課題について、以下の2点を研究した。
(1) 不完全情報ゲームであるコントラクトブリッジのコントラクト及びにプレイについて論理的・人工知能的に解析する方法について研究した。
(2) 音楽情報処理について、開発中の自動伴奏システムの仕様について研究した。これは上記1-(1)に手法を用いている。また、演奏家の様々な特徴を抽出するシステムを開発した。
|
