Yishai A. Feldman Charles Rich Reasoning with Simplifying Assumptions: A Methodology and Example. 2-7 1986 AAAI db/conf/aaai/aaai86-1.html#FeldmanR86