Paper: The Representation Of Inconsistent Information In A Dynamic Model-Theoretic Semantics

ACL ID P82-1003
Title The Representation Of Inconsistent Information In A Dynamic Model-Theoretic Semantics
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1982
Authors

Model-theoretic semantics provides a computationally attractive means of representing the semantics of natural language. However, the models used in this formalism are static and are usually infinite. Dynamic models are incomplete models that include only the information needed for an application and to which information can be added. Dynamic models are basically approximations of larger conventional models, but differ is several interesting ways. The difference discussed here is the possibility of inconsistent information being included in the model. If a computation causes the model to expand, the result of that computation may be different than the result of performing that same computation with respect to the newly expanded model (i.e. the result is inconsistent with the information cu...