Solving Vehicle Equipment Specification Problems with Answer Set Programming
Solving Vehicle Equipment Specification Problems with Answer Set Programming
复制标题
通过答案集编程解决车辆设备规格问题
DOI：
10.1007/978-3-031-24841-2_15
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
and Torsten Schaub
中科院分区：
文献类型：
--
作者：
Raito Takeuchi;Mutsunori Banbara;Naoyuki Tamura;and Torsten Schaub
考虑到汽车行业的企业平均燃油经济性标准(简称CAFE问题)，提出了一种解决单目标和多目标车辆设备规格问题的方法。我们的方法依赖于答案集编程(ASP)。最终得到的系统aspafe会接受以正交可变性模型格式表示的CAFE实例，并将其转换为ASP事实。反过来，这些事实与用于CAFE解决的ASP编码结合在一起，随后可以通过任何现成的ASP系统来解决。为了证明我们的方法的有效性，我们使用一个基于日本合作汽车制造商提供的真实数据的基准集进行了实验。
We develop an approach to solving mono- and multi-objective vehicle equipment specification problems considering the corporate average fuel economy standard (CAFE problems, in short) in automobile industry. Our approach relies upon Answer Set Programming (ASP). The resulting systemaspcafeaccepts a CAFE instance expressed in the orthogonal variability model format and converts it into ASP facts. In turn, these facts are combined with an ASP encoding for CAFE solving, which can subsequently be solved by any off-the-shelf ASP systems. To show the effectiveness of our approach, we conduct experiments using a benchmark set based on real data provided by a collaborating Japanese automaker.