A Dynamic View on Model Construction for Discourse Interpretation

In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988). The motivation for this is twofold: Firstly, it turns out that the model construction procedure can be formulated very concisely in a dynamic logic framework; and secondly, by a dynamic view on model-based deduction we gain a method to incorporate reasoning about changes in first–order theorem proving. The dynamic specification of the model construction procedure is applied to a deductive task in computational semantics stated by Blackburn et al. (1998).

• Type: Conference
• Year: 1999
• Where: ESSLLI
• Authors: Michael Kuhn
• Keywords: Automated Reasoning, Dynamic View, ESSLLI 1999, Model Construction Procedure, first–order Model Construction