FORMALIZATION OF REGULATORY TEXTS

IF 1.9 Q3 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Intelligenza Artificiale Pub Date : 2021-05-28 DOI:10.15622/IA.2021.3.3
Виктор Пименов, Mihail Voronov
{"title":"FORMALIZATION OF REGULATORY TEXTS","authors":"Виктор Пименов, Mihail Voronov","doi":"10.15622/IA.2021.3.3","DOIUrl":null,"url":null,"abstract":"Modern information technologies provide text manipulation processes with high efficiency. First of all, this means storing, editing, and formatting texts and their components. Having achieved significant success in developing tools for content-free computer text processing, researchers faced problems with their content processing. Therefore, further steps in this direction are associated with the creation, among other things, of methods for automated purposeful manipulation of texts, taking into account their content. The analysis of works devoted to the study of the problems of formal presentation of texts and their subsequent use is carried out. Despite a number of successful projects, the challenges of solving the problem of the relationship between the content of the text and its meaning remain relevant. It seems that formalization of a General-purpose text while preserving its semantics is not feasible at this stage. However, there are types of texts that can be formalized while preserving their semantics. One of them is a regulatory text type, which is essentially a verbally expressed algorithm for a sequence of targeted actions. It is distinguished by logic and accuracy (lack of allegories), coherence and integrity, clarity, understandability (due to the lack of emotional coloring and figurative means), accessibility (due to the use of specific terminology). In other words, when developing regulatory texts, they usually try to display the mechanisms of the described actions as clearly as possible. Purpose: development of a method for formalizing a regulatory text while preserving its semantics. Methods: structural linguistics, representation of objects in the form of an ontology, constructive algorithms. The use of this method is demonstrated by describing the solution of a system of algebraic equations. Results: method for constructing a mathematical model of a regulatory text. Practical relevance: the application of the developed method makes it possible to develop software systems for building libraries of individual subject areas, develop tools for evaluating regulatory texts for their certainty, completeness, connectivity and other characteristics, as well as simulators and self-learning tools.","PeriodicalId":42055,"journal":{"name":"Intelligenza Artificiale","volume":"20 1","pages":"562-590"},"PeriodicalIF":1.9000,"publicationDate":"2021-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Intelligenza Artificiale","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.15622/IA.2021.3.3","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE","Score":null,"Total":0}
引用次数: 3

Abstract

Modern information technologies provide text manipulation processes with high efficiency. First of all, this means storing, editing, and formatting texts and their components. Having achieved significant success in developing tools for content-free computer text processing, researchers faced problems with their content processing. Therefore, further steps in this direction are associated with the creation, among other things, of methods for automated purposeful manipulation of texts, taking into account their content. The analysis of works devoted to the study of the problems of formal presentation of texts and their subsequent use is carried out. Despite a number of successful projects, the challenges of solving the problem of the relationship between the content of the text and its meaning remain relevant. It seems that formalization of a General-purpose text while preserving its semantics is not feasible at this stage. However, there are types of texts that can be formalized while preserving their semantics. One of them is a regulatory text type, which is essentially a verbally expressed algorithm for a sequence of targeted actions. It is distinguished by logic and accuracy (lack of allegories), coherence and integrity, clarity, understandability (due to the lack of emotional coloring and figurative means), accessibility (due to the use of specific terminology). In other words, when developing regulatory texts, they usually try to display the mechanisms of the described actions as clearly as possible. Purpose: development of a method for formalizing a regulatory text while preserving its semantics. Methods: structural linguistics, representation of objects in the form of an ontology, constructive algorithms. The use of this method is demonstrated by describing the solution of a system of algebraic equations. Results: method for constructing a mathematical model of a regulatory text. Practical relevance: the application of the developed method makes it possible to develop software systems for building libraries of individual subject areas, develop tools for evaluating regulatory texts for their certainty, completeness, connectivity and other characteristics, as well as simulators and self-learning tools.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
规范文本的正规化
现代信息技术提供了高效的文本处理过程。首先,这意味着存储、编辑和格式化文本及其组件。在开发无内容计算机文本处理工具方面取得了重大成功之后,研究人员面临着内容处理方面的问题。因此,在这个方向上的进一步步骤与创建方法有关,其中包括考虑到文本的内容,对文本进行有目的的自动操作。对专门研究文本的正式呈现问题及其后续使用的作品进行分析。尽管有一些成功的项目,但解决文本内容与其含义之间关系问题的挑战仍然存在。在这个阶段,保留通用文本语义的形式化似乎是不可行的。但是,有些类型的文本可以在保留其语义的同时进行形式化。其中之一是规则文本类型,它本质上是针对一系列目标操作的口头表达算法。它的特点是逻辑性和准确性(缺乏寓言),连贯性和完整性,清晰性,可理解性(由于缺乏情感色彩和比喻手段),可访问性(由于使用特定术语)。换句话说,在制定法规文本时,他们通常会尽可能清楚地展示所描述行为的机制。目的:开发一种形式化法规文本同时保留其语义的方法。方法:结构语言学,以本体的形式表示对象,构造算法。通过描述一个代数方程组的解来说明这种方法的应用。结果:建立了规范文本数学模型的方法。实际相关性:所开发方法的应用使开发用于构建单个学科领域库的软件系统成为可能,开发用于评估法规文本的确定性、完整性、连接性和其他特征的工具,以及模拟器和自学工具。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
Intelligenza Artificiale
Intelligenza Artificiale COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE-
CiteScore
3.50
自引率
6.70%
发文量
13
期刊最新文献
Special Issue NL4AI 2022: Workshop on natural language for artificial intelligence User-centric item characteristics for personalized multimedia systems: A systematic review Combining human intelligence and machine learning for fact-checking: Towards a hybrid human-in-the-loop framework A framework for safe decision making: A convex duality approach Grounding End-to-End Pre-trained architectures for Semantic Role Labeling in multiple languages
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1