Current artificial-intelligence systems are typically one of two types: logic-based or probability-based. But an MIT researcher has developed a new language, Church, that combines the best aspects of each, and it’s making AI smarter than ever. More »