The direct implementation of model-theoretic
theories of pragmatic reasoning is suggested in:
Pragmatic Reasoning; a Model-Based Theory.
In: Applied Logic: How, what, and why?,
L. Polos and M. Masuch (Eds.),
Kluwer Academic Publishers. Amsterdam, 1995, pp. 1-28.
This idea was investigated on the
Dynamo project, where theories of
predictive causal reasoning were implemented:
Building Models of Prediction Theories. G. White, J.Bell and W.Hodges.
Proceedings of the 6th Intl. Conf. on the Principles of Knowledge
Representation and Reasoning. A. Cohn, L. Schubert and S. Shapiro (Eds.).
Morgan Kaufmann, San Francisco, 1998, pp. 557-568.
PostScript
PDF
These ideas will be pursued further in future work.