Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
Jon Barwise and John Perry. Situations and Attitudes. MIT Press, 1983.
Hideyuki Nakashima. Uranus reference manual. Bulletin of Electrotechnical Laboratory, 50, 1986.
Douglus Teeple. Reasoning in Embedded Contexts. Technical Report, IBM, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kurata, A., Nakashima, H. (1988). Manipulation of embedded context using the multiple world mechanism. In: Furukawa, K., Tanaka, H., Fujisaki, T. (eds) Logic Programming '87. LP 1987. Lecture Notes in Computer Science, vol 315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19426-6_16
Download citation
DOI: https://doi.org/10.1007/3-540-19426-6_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19426-2
Online ISBN: 978-3-540-39267-5
eBook Packages: Springer Book Archive