希戈拉 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文件 5位作者引用 1 穆罕默德·马赫迪(Mohammad Mahdi Amirian) 1 赛义德·谢里·吉达里 1 穆罕默德·哈姆扎·易卜拉欣 1 克里斯托弗·J·帕尔。 1 吉尔斯·佩森特 2篇连载文章中引用 1 人工智能研究杂志 1 数学与人工智能年鉴 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文