An innovation in AI first described in a 2001 paper by Adnan Darwiche is helping Toyota and Lexus offer car buyers the opportunity to customize their vehicles online.  Using websites, car shoppers can tailor their vehicle from among a range of models, colors and accessories.  The ingenious software that powers those sites is called a “product configurator.”  It is based on a logical form of artificial intelligence developed by Adnan Darwiche.

Using this artificial intelligence software, the Toyota/Lexus websites perform sophisticated, real-time reasoning about vehicle options, availability, and options that are co-dependent—such as determining if a combination of features is feasible and which features must be purchased together.

http://engineering.ucla.edu/artificial-intelligence-framework-developed-by-ucla-professor-now-powers-toyota-websites/