This semantics was constructed ( Zadrozny 1987a , 1987b ) as a formal framework for default and commonsense reasoning .
intended models circumscription and commonsense reasoningquot
W Zadrozny
We adopt the three-level semantics as a formal tool for the analysis of paragraphs . This semantics was constructed ( Zadrozny 1987a , 1987b ) as a formal framework for default and commonsense reasoning . It should not come as a surprise that we can now use this apparatus for text/discourse analysis ; after all , many natural language inferences are based on defaults , and quite often they can be reduced to choosing most plausible interpretations of predicates .
This semantics was constructed ( @@CITATIONa , 1987b ) as a formal framework for default and commonsense reasoning .