LHM：最小赫伯兰模型

“Least Herbrand Model”在学术文献和逻辑编程等领域中常缩写为LHM，其目的在于简化书写并提高表达效率。该术语通常用于逻辑学、人工智能等综合性研究领域，尚未被进一步细分归类。其中文译名为“最小赫伯兰模型”，主要用于描述逻辑程序在语义层面上的最小模型表示。

Least Herbrand Model具体释义

  • 英文缩写：LHM
  • 英语全称：Least Herbrand Model
  • 中文意思：最小赫伯兰模型
  • 中文拼音：zuì xiǎo hè bó lán mó xíng
  • 相关领域： lhm 未分类的

Least Herbrand Model的英文发音

例句

  1. The application of program transformation method to logic program is mainly based on such theory, namely, Fold / Unfold transformation holds the least Herbrand model semantics and the semantics of answer substitution set of logic program.
  2. 程序变换方法在逻辑程序中的应用主要是基于这样的理论结果，即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复置换集语义。

本站英语缩略词为个人收集整理，可供非商业用途的复制、使用及分享，但严禁任何形式的采集或批量盗用

若LHM词条信息存在错误、不当之处或涉及侵权，请及时联系我们处理：675289112@qq.com。