基于知识的稳定室友问题:一个真实世界的应用
提出了一种基于命题连词的比喻来定义aggregates的方法,可以在ASP范式下,对任意命题理论进行扩展,将aggregates定义为基础构造,并且结合了表达能力和简洁性。该定义还继承了关于具有嵌套表达式的程序的许多定理,例如强等价性和拆分定理。
Dec, 2008
本文介绍了使用转换系统来建模和分析矛盾性答案集求解器的方法,展示了该方法对于分析、比较和证明搜索算法正确性以及启发新的求解器设计是多么有效。同时,我们引入了通用模板,以设计多种技术在不同求解器中的组合,并证明了它对于捕捉DLV、GnT和Cmodels等求解器这样的主要技术的能力。
Oct, 2015
本文通过使用ASP编码,提出了一种能自由适应特定应用需求且具有高效率的算法来解决稳定婚姻问题,并且尝试基于用户需求选择最优匹配方案。此编码为首个能在考虑到指定不接受伴侣和允许多种匹配程度下找到完全符合性等、最小后悔和最大基数的SMP实例的精确实现, 该方法将会在TPLP上发表。
Dec, 2015
介绍了 SRTI-ASP 这一 Answer Set Programming 的形式化框架,并使用其解决了 Stable Roommates problem 变体问题。
Aug, 2020
本文研究了一个变化的稳定婚姻问题,其中每个男人和每个女人都将他们的偏好表达为可能不完整且包含并列关系的偏好列表,考虑了三种优化变体,并通过比较Answer Set Programming,约束编程和整数线性编程等方法来解决这些问题。对于最大基数,我们还比较了这些方法与局部搜索方法。本文还对Answer Set Programming与命题可满足性进行了实证比较。
Aug, 2021
本文提出 Dichotomous Affiliate Stable Matching (DASM) 问题,通过权衡代理人和其关联方的接受或拒绝并基于加权估值函数来解决匹配市场偏好问题,通过人类研究和算法验证,证明该方法的高效性。
Feb, 2022
该论文介绍了基于模型的一种新方法,使用对称解决方案的学习框架来解决复杂的Partner Units Problem问题,尤其在电子行业中的应用具有实际意义。
May, 2022
本文针对稳定室友问题,引入可计算假度量来评估这些问题相似度的工具,并使用它来创建稳定室友实例的图表,展示其为非聚合可视化工具的实用性。此外,还创建了稳定婚姻实例的图表用于其他匹配问题下的实验。
Aug, 2022
通过对逻辑编程领域中的回答集编程(ASP)进行分析,我们提出了一种精细化的方法,描述了ASP程序的特征,以及在一些情况下决策问题的半决策解法和用于生成有限扩展的基础步骤。
May, 2024
本研究针对稳定婚姻问题及医院/居民问题中的不完全列表和决胜情况,提出了一种基于决胜的局部搜索算法(TBLS)。该算法通过调节偏好顺序,在最大化匹配规模的同时,推出了一种关注公平性的变体TBLS-E,显著提升了性别平等性并保持了较高的匹配规模。与现有算法相比,TBLS和TBLS-E在计算速度和匹配效果上均表现出色。
Sep, 2024