• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Theory and implementation of predicate-logical programs

Research Project

Project/Area Number 02452153
Research Category

Grant-in-Aid for General Scientific Research (B)

Allocation TypeSingle-year Grants
Research Field 情報工学
Research InstitutionUniversity of Tsukuba

Principal Investigator

IGARASHI Shigeru  Univ.of Tsukuba,Inst.of Inf.and Elec. Professor, 電子・情報工学系, 教授 (80027367)

Co-Investigator(Kenkyū-buntansha) MIZUTANI Tetsuya  Univ. of Tsukuba, Inst. of Inf. and Elec. Research Assistant, 電子・情報工学系, 助手 (70209758)
OHKI Atsuo  Univ. of Tsukuba,Inst. of Socio-Econo.Sci. Research Assistant, 社会工学系, 助手 (20160434)
NISHIMURA Hirokazu  Univ. of Tsukuba, Inst. of Math. Assistant Professor, 数学系, 講師 (70135614)
HOSONO Chiharu  Univ. of Tsukuba, Inst. of Inf. and Elec. Assistant Professor, 電子・情報工学系, 講師 (20108294)
TSUJI Takashi  Univ. of Tsukuba,Inst.of Inf. and Elec. Associate Professor, 電子・情報工学系, 助教授 (70016666)
Project Period (FY) 1990 – 1992
Project Status Completed (Fiscal Year 1992)
Budget Amount *help
¥3,900,000 (Direct Cost: ¥3,900,000)
Fiscal Year 1992: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1991: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 1990: ¥2,000,000 (Direct Cost: ¥2,000,000)
Keywordsnu-conversion / programming language NU / incomplete information game / music information processing / equivalence theory / artificial intelligence / V-転換 / Uー転換 / 不完全情報ゲ-ム / 軌跡準同型
Research Abstract

Each member constructed theory of the programing language NU which is based on the analytic semantics and is both logical and procedural, and implemented its interpreter. It is easy to convert programs and their specifications each other on the theory.
Leading achievements are the followings: 1. Theoretical side of NU was studied and good results were obtained as follows(some of them have been published and the others are in preparation.) (1)A new method called tense arithmetic was developed, which enables to express and analyze problems on realtime parallel processes. Also,a verification system on it was investigated. (2) Using a new equivalence theory, called locomorphism, for parallel program systems, Dekker's algorithm was analyzed. (3) To specify decidability of the NU,a mathematical theory was constructed. 2. Two highly intellectual problems on artificial intelligence, an incomplete information game and music information processing, were studied. (1) End play of contract bridge was described for logical way and was translated it into a procedural language. Moreover, bidding and playing were analyzed by logical and AI method. (2) An automatic accompaniment system was developed and its specification was investigated. To verify the system, the method mentioned in 1-(1) was used. We also developed the system which extracts various characteristics from expert players.

Report

(4 results)
  • 1992 Annual Research Report   Final Research Report Summary
  • 1991 Annual Research Report
  • 1990 Annual Research Report
  • Research Products

    (25 results)

All Other

All Publications (25 results)

  • [Publications] 水谷 哲也,五十嵐 滋,小宮山 弘樹,辻 尚史: "一二の並行プロセスの検証問題について" 第34回プログラミング・シンポジウム報告集. 105-116 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 細野 千春,池田 靖雄: "有理Presbutger算術の決定性について" コンピュータ・ソフトウェア. 9. 432-439 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 水田 希世志,丸山 和彦,小宮山 弘樹,五十嵐 滋,市中 康公: "計算機によるピアノ自動演奏の2,3の実験結果について" 第33回プログラミング・シンポジウム報告集. 103-112 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] T.Gao,C.Hosono and K.Yamanaka: "An Analytic Semantics of CSP" Fundamenta Informaticae. 15. 107-208 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 池田 靖雄,細野 千春,辻 尚史,五十嵐 滋: "論理式言語NUにおける知的プログラミング" 第32回プログラミング・シンポジウム報告集. 39-50 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Tetsuya Mizutani,Shigeru Igarashi,Takashi Tsuji: "An analytic equivalence theory of computer grograms" International symposium on structures in mathematical theories. 199-204 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Mizutani,T.,Igarashi,S.,Komiyama,H. and Tsuji,T: "Two examples of verification of parallel processes" Reports of 34th Programming Symposium. 105-116 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Hosono,C. and Ikeda, Y.: "On the decidability of rational Presburger arithmetic" Computer Software 9. 432-439 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Mizuta,K.,Maruyama,K.,Komiyama,H,Igarashi,S. and Ichinaka,Y.: "Experiments with computerized piano" Reports of 33th Programming Symposium. 103-112 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Gao,K.,Hosono,C and Yamanaka,K.: "An Analytic Semantics of CSP" Fundamenta Informaticae XV. 107-208 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Mizutani,T,Igarashi,S and Tsuji,T.: "An analytic equivalence theory of computer programs" International symposium on structures in mathematical theories. 199-204 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 水谷 哲也,五十嵐 滋 小宮山 弘樹,辻 尚史: "一二の並行プロセスの検証問題について" 第34回プログラミング・シンポジウム報告集. 105-116 (1993)

    • Related Report
      1992 Annual Research Report
  • [Publications] T.Gao,C.Hosono and K.Yamanaka: "An Analytic Semantics of CSP" Fundamenta Informaticae. 15. 107-122 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 細野 千春,池田 靖雄: "有理Presburger算術の決定性について" 応用数学合同数学合同研究集会報告集. 50-56 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 水田 希世志,丸山 和彦,小宮山 弘樹,五十嵐 滋,市中 康公: "計算機によるピアノ自動演奏の2,3の実験結果について" 第33回プログラミングシンポジウム報告集. 103-112 (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] Tetsuya Mizutani,Shigeru Igarashi,Takashi Tsuji: "An analytical equivalence theory of computer programs" International symposium on structures in mathematical theories. 199-204 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 北島 伸克,池田 靖雄,細野 千春,五十嵐 滋: "vー行為における並行プログラム系のスケジュ-リング" 日本ソフトウェア科学会第7回(1990)大会論文集. 141-144 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 富田 康治,辻 尚史,五十嵐 滋: "プログラムにおける実時間問題" 日本ソフトウェア科学会第7回(1990)大会論文集. 153-156 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 水谷 哲也,辻 尚史,五十嵐 滋: "並行プログラム系の軌跡準同型" 日本ソフトウェア科学会第7回(1990)大会論文集. 157-160 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 池田 靖雄,細野 千春,辻 尚史,五十嵐 滋: "NU解釈系の設計" 日本ソフトウェア科学会第7回(1990)大会論文集. 293-296 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 池田 信之,五十嵐 滋,水谷 哲也,細野 千春,辻 尚史: "プログラムのリファインメントと同値性について" 応用数学合同研究集会報告集. 80-85 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 池田 靖雄,細野 千春,辻 尚史,五十嵐 滋: "閉じた論理式の証明系としてのν行為解釈系の設計" 応用数学合同研究集会報告集. 88-93 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 池田 靖雄,細野 千春,辻 尚史,五十嵐 滋: "論理式言語NUおける知的プログラム" 第32回プログラミングシンポジウム報告集. 39-50 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 市中 康公,五十嵐 滋: "音楽情報処理としてのピアノ演奏の特徴抽出" 情報処理学会第42回(平成3年前期)全国大会講演論文集. (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 佐々木 裕,細野 千春,辻 尚史,五十嵐 滋: "ブリッジプレイの終盤における必勝戦術の論理的孝察" 情報処理学会第42回(平成3年前期)全国大会講演論文集. (1991)

    • Related Report
      1990 Annual Research Report

URL: 

Published: 1990-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi