汽车工业
文档
计算机科学
一致性(知识库)
产品(数学)
约束规划
约束(计算机辅助设计)
约束满足问题
制造工程
工程类
人工智能
数学
操作系统
几何学
随机规划
航空航天工程
统计
机械工程
概率逻辑
标识
DOI:10.1145/3571788.3571790
摘要
Everybody has configured a car on the web site of an automotive manufacturer, but probably few are aware of the wide diversity of vehicles offered. The specificity of the automotive product of a generalist manufacturer like Renault is the combination of a very big number of variants of vehicles and a complex net of constraints on these products. Classical database tools are not enough to cope with this mix of diversity and complexity: requests and computing on the vehicle range must be done with Constraint Satisfaction solvers. These tools must be used at each level of the value chain that goes from the engineering level to the after-sale. The needed services are vehicle configuration, but other types of treatments, such as documentation consistency control, definition of the Bill of Material, repair methods, factories capacity planning. This keynote will present a global roundup of the types of CSP services needed by different business stages of the enterprise, and some indication on the in-house knowledge compilation technology Renault developed to implement these functions.
科研通智能强力驱动
Strongly Powered by AbleSci AI