(Eng: frame problem) Een frameprobleem ontstaat naar aanleiding van een onzekerheid die wordt veroorzaakt door het gebruik van een bewerkingsoperator, omdat bepaalde relaties tussen objecten zijn gewijzigd, terwijl andere onveranderd zijn gebleven. Frameproblemen komen bijvoorbeeld voor in de bewijsvoering van stellingen. Ongewijzigde relati...