一个独立的工具 嵌入 用于语义嵌入。 转换工具 转换qmltp到thf 用于翻译 用QMLTP方言表述的一阶模态逻辑问题[2] 以THF表示的高阶逻辑问题。 的翻译版本 QMLTP可以在Github上找到[3]。 图书馆 嵌入_ lib 您可以在项目中包含语义 嵌入问题。 包含易于处理的包装函数。
Maven 3.5或更高 Java 8或更高版本 制造商
mvn清洁包
java-jar嵌入/target/embedd-1.0-SNAPSHOT-shaded.jar -i<输入文件> -o<输出文件>
java-jar嵌入/target/embedd-1.0-SNAPSHOT-shaded.jar -i<输入方向> -o<输出目录> -目录输出<OUTPUT_OPTIONS>
joint:只有一个重复的目录结构,文件名包含一个表示 嵌入期间使用的语义 splitted:每个语义都有一个重复的目录结构
-后果<后果> -常数<常数> -域<域> -系统<系统>
<后果> :全局,本地 <常量> :刚性 <域名> :恒定、累积、减少、变化 <系统> :K、KB、K4、K5、K45、KB5、KB5_KB5,KB5_ KB4、D、DB、D4、D5、D45、T、B、S4、, S5、S5_KT5、S5 _KTB5、S5-KT45、S5 _ KT4B、S5=KD4B、S=KD4B5、S6=KDB5、S=S5U
-域常数,累积
-t<选项>
语义模态公理化:嵌入模态语义作为框架条件 语法模态公理化:将模态语义嵌入为模态运算符的公理