Manipulation of embedded context using the multiple world mechanism
We describe a way of handling reasoning with embedded context which is created by attitude verbs such as “think” and “believe”.
The meaning of the embedded sentence differs when it is extracted to the outside of the context of the attitude verb. Furthermore, some verbs enable certain kind of reasoning available within the context.
We use the multiple world mechanism of Uranus to implement the reasoning in embedded context.
Unable to display preview. Download preview PDF.
- [BP83]Jon Barwise and John Perry. Situations and Attitudes. MIT Press, 1983.Google Scholar
- [Nak86]Hideyuki Nakashima. Uranus reference manual. Bulletin of Electrotechnical Laboratory, 50, 1986.Google Scholar
- [Tee86]Douglus Teeple. Reasoning in Embedded Contexts. Technical Report, IBM, 1986.Google Scholar