The frame problem has been solved for 20 years (AIMA recommends the successor state axiom approach). It was an issue in planning, but planning guys don’t even mention it anymore, they just get work done.
The solutions are all mentioned in the Wikipedia article you linked to.
Yes, the formal problem is solved. The informal problem—how to deal with non-specified transitions in a complicated real system when you can’t specify all the transitions—isn’t solved, and may be AI complete (and possibly equivalent with AI mastering semantics).
Ok, but that’s not about frames anymore, it’s just a special instance of the general ontology/knowledge representation problem. The frame problem is algorithmic: people didn’t know how to efficiently update states as time passes. We know now.
The frame problem has been solved for 20 years (AIMA recommends the successor state axiom approach). It was an issue in planning, but planning guys don’t even mention it anymore, they just get work done.
The solutions are all mentioned in the Wikipedia article you linked to.
Yes, the formal problem is solved. The informal problem—how to deal with non-specified transitions in a complicated real system when you can’t specify all the transitions—isn’t solved, and may be AI complete (and possibly equivalent with AI mastering semantics).
Ok, but that’s not about frames anymore, it’s just a special instance of the general ontology/knowledge representation problem. The frame problem is algorithmic: people didn’t know how to efficiently update states as time passes. We know now.