Cognitive Linguistics

Saliency is a meta-property. In general, if a property is salient, then it is important when distinguishing an instance, especially with regard to categorization.

The [[Frame Problem]] (McCarthy & Hayes 1969) is made difficult because changes are not associated with salient properties. If the properties that are affected by a change are marked with their saliency in regard to that change, it would be easier to know the logical impact of changes in one part of a logical state on other parts of the logical state.

For Example:

If a Painting Action were tied to the "color of" the object being painted, then a logical maintenance system could affect the color stored based on the success of the painting action.

Fodor in The robot's dilemma: The frame problem in artificial intelligence from 1987 has one of the loosest and grandest reinterpretation of the "frame problem",

He writes there

1) on page 140, that the Frame Problem is: actually "Hamlet's problem: when to stop thinking";

2) the problem of formalizing the distinction between "kooky facts" and "computationally relevant ones" (p.145);

3) "just the problem of nondemonstrative inference" (p.146);

4) "the problem of formalizing our intuitions about inductive relevance" (p.148).

5) Fodor concludes that "the frame problem is too important to leave it to the hackers" (p.148),

6) Pat Hayes in the same book retorts that "Fodor doesn't know the frame problem from a bunch of bananas" (Hayes 1987: 132).