{'fraction_non_alphanumeric': 0.02304147465437788, 'fraction_numerical': 0.0, 'mean_word_length': 6.016129032258065, '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}}
Nonmonotonic Logics - A Brief Overview

In this paper we describe the most important approaches to formalize nonmonotonic reasoning, in particular default reasoning: autoepistemic logic, default logic, circumscription, Delgrandes's conditional approach, and an approach based on preferred subtheories of the premises. Also the problem of mechanising these formalizations is discussed and some solutions developed so far are described.