WEKO3
アイテム
On Designing the Method of Syntax Descriptions for Logics
https://ipsj.ixsq.nii.ac.jp/records/117177
https://ipsj.ixsq.nii.ac.jp/records/117177d3d8ea3f-33e0-4c62-8227-79811f484e76
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001335447.pdf (160.3 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1989-10-16 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | On Designing the Method of Syntax Descriptions for Logics | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 富士通・国際研 | ||||||
| 著者所属 | ||||||
| 富士通・国際研 | ||||||
| 著者所属 | ||||||
| 富士通研 | ||||||
| 著者所属 | ||||||
| 富士通研 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| International Institute for Advanced Study of Social Information Science (IIAS-SIS), FUJITSU LIMITED | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| International Institute for Advanced Study of Social Information Science (IIAS-SIS), FUJITSU LIMITED | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Software Development Lab., FUJITSU LABORATORIES LIMITED | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Software Development Lab., FUJITSU LABORATORIES LIMITED | ||||||
| 論文抄録(英) | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | This paper deals with the feature of describing the syntax of logical expressions for the general-purpose (i. e. logic-independent) reasoning assistant system EUODHILOS. It is a system which assists us in reasoning in a variety of universes of discourse. This is why we call it general-purpose, and it follows that we have to define the logic to be dealt with at the beginning. It also gives us supports in the proofs of the theorems in the defined logic. In the system, a logic consists of language and derivation systems. The former consists of making fonts for new symbols and of describing the syntax of logical expressions. The latter consists of axioms with two kinds of rules ; inference and rewriting rules. In the current version, the style of inference rules is fixed like that of natural deduction. Rewriting rules are also given similarly. Therefore we have to take care mainly on the syntax description. At the rest of this paper, we show how the syntax is described in the current version and some ideas to improve it. | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第39回, 号 人工知能および認知科学, p. 277-278, 発行日 1989-10-16 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
