Visualizations to Summarize Search Behavior
| Autor: | Ian S. Howell, Hongfeng Yu, Berthe Y. Choueiry |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
050101 languages & linguistics
Theoretical computer science Backtracking Computer science 05 social sciences Context (language use) 02 engineering and technology Constraint satisfaction Automatic summarization Visualization Constraint graph 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences Heuristics Constraint satisfaction problem |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030584740 CP |
| DOI: | 10.1007/978-3-030-58475-7_23 |
| Popis: | In this paper, we argue that metrics that assess the performance of backtrack search for solving a Constraint Satisfaction Problem should not be visualized and examined only at the end of search, but their evolution should be tracked throughout the search process in order to provide a more complete picture of the behavior of search. We describe a process that organizes search history by automatically recognizing qualitatively significant changes in the metrics that assess search performance. To this end, we introduce a criterion for quantifying change between two time instants and a summarization technique for organizing the history of search at controllable levels of abstraction. We validate our approach in the context of two algorithms for enforcing consistency: one that is activated by a surge of backtracking and the second that modifies the structure of the constraint graph. We also introduce a new visualization for exposing the behavior of variable ordering heuristics and validate its usefulness both as a standalone tool and when displayed alongside search history. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|