{'fraction_non_alphanumeric': 0.009501187648456057, 'fraction_numerical': 0.0, 'mean_word_length': 5.0647482014388485, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Type Analysis of Planning Domain Descriptions

Types have been exploited in the construction of planner domain descriptions in a variety of ways, with little attempt to formalise either their use or their expression. It is anticipated that the construction of large domain descriptions will require an engineering discipline, just as has proved necessary in the construction of large programs. The role of type support systems in this process is likely to follow a similar development as in programming languages. This paper discusses the use of types in planner domain descriptions and describes a system, STAN, which is capable of carrying out an analysis of an untyped STRIPS domain description to produce a rich type structure which can be used in both the validation of a domain description and in the improvement of planner performance.