产品配置中的模型计数
人工智能
2010-07-08 v1 计算机科学中的逻辑
符号计算
摘要
我们描述了如何使用命题模型计数对产品配置数据进行定量分析。我们的方法计算有价值的元信息，例如有效配置的总数或组件的相对频率。这些信息可用于评估文档错误的严重性或衡量文档质量。作为一个应用示例，我们展示了如何将这些方法应用于梅赛德斯-奔驰汽车系列的产品文档公式。为了处理这些大型公式，我们开发并实现了一种新的非CNF公式模型计数器。我们的模型计数器可以处理那些其CNF表示迄今为止无法处理的公式。
引用
@article{arxiv.1007.1024,
title = {Model Counting in Product Configuration},
author = {Andreas Kübler and Christoph Zengler and Wolfgang Küchlin},
journal= {arXiv preprint arXiv:1007.1024},
year = {2010}
}
备注
In Proceedings LoCoCo 2010, arXiv:1007.0831