2015年
Development of a Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas and Its Application
Advanced Multimedia and Ubiquitous Engineering: Future Information Technology
- ,
- ,
- ,
- ,
- 巻
- 352
- 号
- 開始ページ
- 1
- 終了ページ
- 6
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-662-47487-7_1
- 出版者・発行元
- SPRINGER
In many applications in computer science and artificial intelligence, logical formulas are used as a formal representation to represent and/or specify various objects and relationships among them. Transforming logical formulas into informal propositional statements, e.g., declarative sentences and mathematical formulas, is important as well as transforming informal propositional statements into logical formulas. When people obtain new logical formulas as results of deduction/reasoning based on logic, investigating the obtained formulas is also not an easy task for them. Although information systems with proving, e.g., automated theorem proving systems, formal verification systems, etc., are used in various field, in the future, information systems with reasoning, e.g., automated theorem finding systems, will also be developed and used in various fields. Thus, a tool to support bidirectional transformation between informal propositional statements and logical formulas will be demanded at that time. This paper presents an implementation of a bidirectional transformation supporting tool for formalization with logical formulas. The paper also shows application of the tool in a case study of automated theorem finding with forward reasoning.
- リンク情報
-
- DOI
- https://doi.org/10.1007/978-3-662-47487-7_1
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000380566900001&DestApp=WOS_CPL
- URL
- http://www.scopus.com/inward/record.url?eid=2-s2.0-84937436367&partnerID=MN8TOARS
- URL
- http://orcid.org/0000-0003-2015-0340
- ID情報
-
- DOI : 10.1007/978-3-662-47487-7_1
- ISSN : 1876-1100
- ORCIDのPut Code : 38326590
- SCOPUS ID : 84937436367
- Web of Science ID : WOS:000380566900001