知識ベースによる数式の意味解釈とその応用

• Item type: SIG Technical Reports(1)
• 公開日: 1994-10-04
• タイトル: 知識ベースによる数式の意味解釈とその応用
• タイトル / 言語: en
• タイトル: Knowledge - Based Mathematical Expressions Understanding and Its Applications
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 久留米工業大学知能工学研究所
• 著者所属: 名古屋大学工学部
• 著者所属: 名古屋大学工学部
• 著者所属: 筑波大学電子情報工学系
• 著者所属(英): en
• 著者所属(英): Intelligence Engineering Laboratory, Kurume Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Information Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): Department of Information Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): Institute of Information Sciences and Electronics, University of Tsukuba
• 著者名: 趙燕結; 杉浦, 洋; 鳥居, 達生; 桜井, 鉄也
• 著者名(英): Yanjie, Zhao; Hiroshi, Sugiura; Tatsuo, Torii; Tetsuya, Sakurai
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 計算機上での自然な数式記述と，その意味に基づく応用を目指し，知識ベースによる，数式と算法の記述の意味解釈の方法を実現した．この方法は，数式の形式表現と意味表現，数式の構造分析と意味解釈のための知識ベースとそのParser，応用までの変換などから構成される．知識ベースはユーザにより拡張可能であり，様々な分野に特殊化できる．この方法を中心にして，数式の文書処理と意味解釈，及びその計算の実行を統合するシステムを目指す．これにより，数学計算のマン・マシン・インターフェイスを改良することができ，数学計算，算法の表現，数学の教育，科学文書処理などの分野への応用も展開できる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A knowledge-based method for understanding mathematical and algorithmic notations has been achieved, to aim at the representation of natural mathematical expressions on computer, and to aim at applications based on the meanings of mathematical expressions. The method contains a formal representation and a meaning representation for mathematical expressions, a knowledge base and its parser for their structure analysis and meaning interpretation, and transforms into various applications, It is possible to permit user to extend the knowledge base to be suited for different fields. Around this method, we work for a system which integrates the document processing, meaning interpretation, and computation execution of mathematical expressions. Thereby, we can improve the man-machine interface of mathematical computation and can develop applications in the fields of mathematical computation, algorithm representation, mathematical education, and scientific document processing.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1994, 号 83(1994-ICS-096), p. 1-10, 発行日 1994-10-04
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会