Abstract: User interface design is important part of business system design, so as the validation of user interface design. The non-visual and dynamic relation between interfaces makes validation difficulty. It is a planning problem to get goal interface from initi

Key words: User interface, Planning, Situation calculus, Validation