{"title":"Algebraic Specification of Plausible Reasoning","authors":"E. A. Efimova","doi":"10.3103/S0005105524700286","DOIUrl":null,"url":null,"abstract":"<p>An algebraic point of view on the description of abstract data types is applied to JSM reasoning: names of sorts and types of algebraic operations are presented together with equations that can determine their meaning. These equations form a convergent system of term rewriting. The Wolfram language is used for the equation definitions. The algebraic specification could be used both to create an ontology and to program an implementation of plausible reasoning.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"58 5","pages":"364 - 374"},"PeriodicalIF":0.5000,"publicationDate":"2024-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.3103/S0005105524700286","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0
Abstract
An algebraic point of view on the description of abstract data types is applied to JSM reasoning: names of sorts and types of algebraic operations are presented together with equations that can determine their meaning. These equations form a convergent system of term rewriting. The Wolfram language is used for the equation definitions. The algebraic specification could be used both to create an ontology and to program an implementation of plausible reasoning.
期刊介绍：
Automatic Documentation and Mathematical Linguistics is an international peer reviewed journal that covers all aspects of automation of information processes and systems, as well as algorithms and methods for automatic language analysis. Emphasis is on the practical applications of new technologies and techniques for information analysis and processing.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
