×

希戈拉

swMATH ID: 35050
软件作者: 阿米利安,穆罕默德·马赫迪;赛义德·雪莉·吉达里
描述: Xeggora:利用统计关系模型中的完全聚集免疫-证据对称性。我们改进了马尔可夫逻辑(一种广泛使用的SRL形式主义)的最大后验推理。一般来说,推断马尔可夫逻辑的最可能世界是NP困难的。几种方法,包括切割平面聚合(CPA),通过转换为整数线性程序来执行推理。聚合利用独立于证据的上下文特定对称性,并减少程序的大小。我们说明了CPA忽略的长句中出现的更多对称性,这些对称性可以被高阶聚合利用。我们提出了完全约束聚合算法,这是一种优于CPA的算法,它通过提升平移方法和一些约束松弛来利用被忽略的对称性。RDBMS和启发式技术用于提高整体性能。我们引入Xeggora作为RockIt(使用CPA的查询引擎)的进化扩展。Xeggora对真实世界基准测试的评估表明,与RockIt相比,效率有所提高,特别是对于具有长公式的模型。
主页: https://jair.org/index.php/jair/article/view/11322
相关软件: 摇滚乐炼金术DIMACS公司徒步旅行LoMRF公司SP流量图菲github图尔巴尔2
引用于: 2文件

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文