ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 全国大会
  2. 44回
  3. ソフトウェア

論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現

https://ipsj.ixsq.nii.ac.jp/records/121574
https://ipsj.ixsq.nii.ac.jp/records/121574
59f04a8b-63cc-42dd-a446-3a5ad6c4f3bb
名前 / ファイル ライセンス アクション
KJ00001343259.pdf KJ00001343259.pdf (202.8 kB)
Item type National Convention(1)
公開日 1992-02-24
タイトル
タイトル 論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現
タイトル
言語 en
タイトル Improved syntax rules and jmplementation of the parser for reasoning assistant system EUODHILOS
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
富士通株式会社
著者所属
富士通株式会社
著者所属
富士通株式会社
著者所属
富士通株式会社
著者所属(英)
en
Fujitsu,Ltd.
著者所属(英)
en
Fujitsu,Ltd.
著者所属(英)
en
Fujitsu,Ltd.
著者所属(英)
en
Fujitsu,Ltd.
論文抄録
内容記述タイプ Other
内容記述 今日,計算機科学や人工知能の分野で,計算機による問題解決や支援の研究がなされている.論理を用いた問題解決は,形式的な手続きによって行うことができるため,有効であることが認められている.問題解決を論理の下で行うには,解決する問題に適した論理系の下で行うことが望ましいが,適切な論理系は問題ごとに異なる.論理系ごとに支援システムを構築するのは,その度ごとに類似の努力を要し,無駄が多い.そのため,論理系を定義するためのメタな枠組みを提供し,ユーザの定義した論理系の下での支援を行うようなシステムが有効である.我々は,このような要求を満たす汎用論証支援システムEUODHILOSを開発した.EUODHILOSは,この目的を満たすため,ユーザが言語を定義する機能と,その定義から内部構造変換機能付きパーザとアンパーザを自動生成する機能を有している.言語の定義に用いる構文記述法は,確定節文法(DBG)に構成子定義を加えたものである.構成子定義とは,項や式において演算子や述語記号,関数記号として用いる言語の定義および,演算子の優先順位を定義を行うものである.図1にMartin-Lofの型理論の構文規則を示す.DCGには,書きやすい,文脈に依存した情報も書ける,Prologで記述したパーザに変換する手法が知られている,といった特長がある.[figure]
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00349328
書誌情報 全国大会講演論文集

巻 第44回, 号 ソフトウェア, p. 125-126, 発行日 1992-02-24
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-21 03:42:50.322664
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

1992: 情報処理学会, 125–126 p.

Loading...

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3