Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs

摘要: We introduce a generalization of the spreadsheet paradigm, called Knowledgesheet, for solving class constraint satisfaction problems. The traditional paradigm is based on attaching arithmetic expressions to individual cells and then evaluating them; our Knowledgesheet interface instead allows finite domain constraints be attached that are solved obtain solution. This extension provides an easy-to-use large problems--those whose specification solution conforms 2-dimensional structure, e.g., scheduling problems, timetabling etc. A prototype has been developed applied solve many different types