一种智能家居线性时序逻辑规约生成的方法和装置

摘要

本发明公开了一种智能家居线性时序逻辑规约生成的方法和装置，用于在智能家居领域中将用户输入的自然语言需求文本转换成线性时序逻辑规约。该方法首先对输入的自然语言文本进行预处理；然后使用自然语言处理技术，生成语法分析树和语法依存关系；识别句子中的各个子句，以及每个子句中的主语、谓语、宾语、布尔运算符、条件变量和时序运算符，生成树形的中间表示形式；最后遍历树结构，自动生成对应的线性时序逻辑规约。本发明解决了普通智能家居用户难以直接提供形式化规约的问题，有效节约时间和人力成本，并且能够弥补现有智能家居物联网验证系统的不足，使得不具备专业知识的普通用户所提出的自然语言需求能够被自动的验证。