Constraint satisfaction problems (CSPs) and one of its extensions fuzzy CSPs (FCSPs) are simple models for formulating problems that exist in the real world. There are a lot of general-purpose solvers for FCSPs, and once we formulate a problem as an FCSP and then can have one of the solvers solve it. This formulation is however another problem because it is a process that entails highly abstracting the problem, it is not often determined uniquely, and it governs the efficiency of solving the problem. The authors consider that it improves this situation to increasing the visibility of solvers' behavior in order to adjusting models developed once. In this paper, the authors show their ongoing work for developing a tool for analyzing and visualizing FCSPs, which provides two- and three-dimensional views of FCSPs and shows the behavior of solvers with animations.
The authors propose a method for personalizing the flexible widget layout (FWL) by adjusting the desirability of widgets with a pairwise comparison method, and show its implementation and that it actually works. Personalization of graphical user interfaces (GUIs) is important from a perspective of usability, and it is a challenge in the field of model-based user interface designs. The FWL is a model- and optimization-based layout framework of GUIs offering a possibility for personalization, but it has not actually realized it with any concrete method yet. In this paper, the authors implement a method for personalization as a dialog box and incorporate it into the existing system of the FWL; thus, users can personalize layouts generated by the FWL system at run-time.
ファジィ制約充足問題は人工知能の基礎戦術として知られる制約充足問題（CSP: Constraint Satisfaction Problem）を充足度を持たせることにより拡張した数理モデルである．一方，動的CSPの枠組みは現実世界における問題の部分的な変化と再求解を想定したモデルであり，その特徴は，問題を解きなおすコストの削減と解の安定性が求められることである．これら2つを組み合わせた数理モデルである動的ファジィCSP（DFCSP: Dynamic Fuzzy CSP）に関する研究は既存するが，CSPはNP完全問題として知られ，最悪計算量は指数オーダーとなることから，完全で高速な解法は存在しない．
We show an improvement of our previous work, a formulation of the flexible widget layout (FWL) problem as a fuzzy constraint satisfaction problem (FCSP) and a method for solving it. The automation of widget layout is one of the most important challenges for the generation of graphical user interfaces (GUIs). In the field of model-based user interface design, widget layout is more complicated because a layout system needs to select widgets. FWL is the automatic GUI generation requiring (1) deciding which widgets are used and (2) completing the layout immediately. We formulate the desirability of selection as fuzzy constraints; thus, we can utilize existing techniques of FCSP without extending its framework. We divide the layout process into three phases, and realize the automatic layout in feasible time.
We propose a new service composition method with the analytic hierarchy process and discuss its availability. The concept of context-aware services has been attracting attention as an approach to improving the usability of computer-mediated services. In ubiquitous computing environments, there are several means to provide services for users, and thus, to select an appropriate mean among them is a challenge. Our method for context-aware service composition determines service behaviors by context data. Through the implementation and examination of the method, we have found that the method can output reasonable results.
The topic handled in this thesis relates to the field of human computer interaction, and user interfaces (UIs), which are sometimes called human interfaces. There are many studies about this topic; they are roughly separated into three types: developments of actual UIs such as new devices and new applications, evaluations or developments of evaluation methods for existing or newly introduced UIs, and offers of new kinds of frameworks, architectures, and concepts for UIs, The study mentioned in this thesis mainly belongs to the third type, and its part belongs to the first one. In this chapter, I introduce the terms and their definitions used in the field of HCI, explain the objective of this thesis, and mention the structure of the following chapters of this thesis.
We propose an improvement of our previous work, a formulation of the flexible widget layout (FWL) problem as a fuzzy constraint satisfaction problem (FCSP). Automatic widget layout is an important challenge for the graphical user interfaces (GUIs) generation. In the field of model-based user interface design, the layout is more complicated because to select widgets is needed. FWL is GUI generations with deciding which widgets are used. In this paper, we improve our previous work so that the formulation coincides more strictly with FCSP.