3 problems that plague formal representations of action:The Frame Problem: How to characterize what does not change after an action is performed.The Qualification Problem: How to characterize the necessary and sufficient conditions for actions.The Ramification Problem: When state constraints are combined with the action representation, how to characterize the indirect effects of actions.Solution criteria: parsimony, elaboration tolerance, flexibility,...
3 Knowledge Representation Problems