摘要
时序逻辑已被广泛应用于形式化验证和机器人控制等领域,但是对于非专家用户来说难以掌握使用.因此,采用自动化手段从自然语言文本中提取时序逻辑公式,是至关重要的.然而,现有工作受限于需求样本稀疏和自然语言语义模糊等因素,导致其难以准确地识别自然语言文本中隐含的时序语义,进而造成最终得到的时序逻辑公式错误表达了原始自然语言的语义.为了解决该问题,提出一种基于小样本网络的时序逻辑语义分析方法FSLNets-TLSA,它采用了数据预处理用来增强文本时序语义逻辑特征,网络结构由编码器、归纳模块和关系模块组成,旨在捕捉需求文本的隐含时序逻辑语义信息,并集成模型增强模块识别监控语义准确度.在3个公开数据集3533个需求样本上与相似工具上完成实验评估,其分析的平均准确率、召回率和F1值达到了96.55%,96.29%和96.42%,验证了所提方法的有效性.
Temporal logic has been extensively applied in domains such as formal verification and robotics control,yet it remains challenging for non-expert users to master.Therefore,the automated extraction of temporal logic formulas from natural language texts is crucial.However,existing efforts are hindered by issues such as sparse sample availability and the ambiguity of natural language semantics,which impede the accurate identification of implicit temporal semantics within natural language texts,thus leading to errors in the translation of the original natural language semantics into temporal logic formulas.To address this issue,a novel method for temporal logic semantic analysis based on a few-shot learning network,termed FSLNets-TLSA,is proposed.This method employs data preprocessing techniques to enhance the temporal semantic logic features of the text.The network architecture consists of an encoder,an induction module,and a relation module,which aim to capture the implicit temporal logic semantic information in the input text.In addition,an enhancement module is incorporated to improve the accuracy of monitoring semantic recognition.The effectiveness of the proposed method is validated through experimental evaluations conducted on three public datasets comprising a total of 3533 samples,and a comparison with similar tools.The analysis demonstrates an average Accuracy,Recall,and F1-score of 96.55%,96.29%,and 96.42%,respectively.
作者
李春奕
马智
武强
王小兵
赵亮
LI Chun-Yi;MA Zhi;WU Qiang;WANG Xiao-Bing;ZHAO Liang(School of Computer Science and Technology,Xidian University,Xi’an 710071,China)
出处
《软件学报》
北大核心
2025年第12期5438-5455,共18页
Journal of Software
基金
陕西省重点研发计划(2023-YBGY-229)
西安市科技项目(22GXFW0025)。
关键词
时序逻辑
语义分析
形式化规约
temporal logic(TL)
semantic analysis
formal specification
