Knowledge Acquisition for Propose-and-Revise in EXPECT

 

In Section 2.2, we pointed out some of SALT's limitations in terms of its lack of flexibility as a knowledge acquisition tool. In this section, we illustrate how EXPECT's explicit representations support a more flexible approach to knowledge acquisition.

• Acquiring Domain-Specific Factual Knowledge
• Acquiring New Constraints and Fixes
• Changing the Propose-and-Revise Strategy
• Discussion