Potential of General-Purpose Reasoning Assistant System EUODHILOS

Hajime Sawamura, Toshiro Minami, Kaoru Yokota, Kyoko Ohashi
{"title":"Potential of General-Purpose Reasoning Assistant System EUODHILOS","authors":"Hajime Sawamura, Toshiro Minami, Kaoru Yokota, Kyoko Ohashi","doi":"10.1142/9789814360128_0009","DOIUrl":null,"url":null,"abstract":"Summary Much work has been done on special-purpose reasoning assistant systems whose underlying logics are fixed. In contrast with such a trend, this paper is devoted to a new dimension of computer-assisted reasoning research, that is, a general-purpose reasoning assistant system that aUows a user to defme his or her own logical system relevant for the objects in the problem domain and to reason about them. In the first half of the paper, the need, significance and design principle of EUODHLOS : a general-purpose system for computer-assisted reasoning, are discussed, then the system overview is described, placing emphases on the following three points: (1) formal system description language, (2) proving methodology based on several sheets for logical thought, (3) visual human-computer interface for reasoning. In the latter half, the potentials and usefulness of EUODHLOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein, which have been used or devised in computer science, nificial inteMgence and so on. A","PeriodicalId":313959,"journal":{"name":"Software Science and Engineering","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Software Science and Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/9789814360128_0009","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Summary Much work has been done on special-purpose reasoning assistant systems whose underlying logics are fixed. In contrast with such a trend, this paper is devoted to a new dimension of computer-assisted reasoning research, that is, a general-purpose reasoning assistant system that aUows a user to defme his or her own logical system relevant for the objects in the problem domain and to reason about them. In the first half of the paper, the need, significance and design principle of EUODHLOS : a general-purpose system for computer-assisted reasoning, are discussed, then the system overview is described, placing emphases on the following three points: (1) formal system description language, (2) proving methodology based on several sheets for logical thought, (3) visual human-computer interface for reasoning. In the latter half, the potentials and usefulness of EUODHLOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein, which have been used or devised in computer science, nificial inteMgence and so on. A
通用推理辅助系统euodilos的潜力
对于底层逻辑固定的专用推理辅助系统,已经做了大量的工作。与这种趋势相反,本文致力于计算机辅助推理研究的一个新维度,即一个通用的推理辅助系统,它允许用户定义他或她自己与问题域中的对象相关的逻辑系统,并对它们进行推理。本文的前半部分首先讨论了通用计算机辅助推理系统EUODHLOS的必要性、意义和设计原则,然后对系统进行了概述,重点介绍了以下三点:(1)形式化系统描述语言;(2)基于多张逻辑思维表的证明方法;(3)可视化推理人机界面。在后半部分中,通过实验和使用经验,通过其中的一些逻辑和证明示例展示了EUODHLOS的潜力和有用性,这些逻辑和证明示例已在计算机科学,人工智能等领域使用或设计。一个
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信