Search citation statements
Paper Sections
Citation Types
Year Published
Publication Types
Relationship
Authors
Journals
Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been Clone in regard to its computational aspects. In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research. IntroductionSituation theory is an attempt to develop a mathematical theory of meaning which will clarify and resolve some tough problems in the study of language, information, logic, philosophy, and the mind [11]. It was first formulated in detail by Jon Barwise and John Perry in 1983 [12] and has matured over the last decade [25]. Various versions of the theory have been applied to a number of linguistic issues, resulting in what is commonly known as situation semantics [7,8,10,24,31,33,35,58]. The latter aims at the construction of a unified and mathematically rigorous theory of meaning, and the application of such a theory to natural languages.Mathematical and logical issues that arise within situation theory and situation semantics have been explored in numerous works [8,10,12,24,25,33]. In the past, the development of a mathematicM situation theory has been held back by a lack of availability of appropriate technical tools. But by now, the theory has assembled its mathematical foundations based on intuitions basicaLly coming from set theory and logic [1,8,24,26]. With a remarkably original view of information (which is fully adapted by situation theory) [28,29], a 'logic,' based not on truth but on information, is being developed [25]. This logic 1 will probably be an extension of first-order logic [5] rather than being an alternative to it.Individuals, properties, relations, spatio-temporal locations, and situations are basic constructs of situation theory. The world is viewed as a collection of objects, sets of objects, properties, and relations. Infons ('unit' facts) [26] are discrete items of information and situations are first-class objects which describe parts of the real world. Information flow is made possible by a network of abstract 'links' between high-order uniformities, viz. situation types. One of the distinguishing characteristics of situation theory vis-£-vis another influential semantic and logical tradition [27] is that 1 According to The Advanced Learner's Dictionary of Current English (by A. S. Hornby, E. V. Gatenby, and H. Wakefield, London, U.K.: Oxford University Press, 1958), logic is the science or art of reasoning, proof, and clear thinking. Thus, the commonly accepted equation logic = first-order logic is highly suspect. (Cf. [6] for an extended argument on this.) information content is context-dependent (where a context is a situation).All these features may be cast in a rich formalism for a computational framework based on situation theory. Yet, there have been few attempts to investigate this [17,33,40,46,49,52,59]. Questions of what it means to do computation with situations and what aspects of the theory makes t...
Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been Clone in regard to its computational aspects. In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research. IntroductionSituation theory is an attempt to develop a mathematical theory of meaning which will clarify and resolve some tough problems in the study of language, information, logic, philosophy, and the mind [11]. It was first formulated in detail by Jon Barwise and John Perry in 1983 [12] and has matured over the last decade [25]. Various versions of the theory have been applied to a number of linguistic issues, resulting in what is commonly known as situation semantics [7,8,10,24,31,33,35,58]. The latter aims at the construction of a unified and mathematically rigorous theory of meaning, and the application of such a theory to natural languages.Mathematical and logical issues that arise within situation theory and situation semantics have been explored in numerous works [8,10,12,24,25,33]. In the past, the development of a mathematicM situation theory has been held back by a lack of availability of appropriate technical tools. But by now, the theory has assembled its mathematical foundations based on intuitions basicaLly coming from set theory and logic [1,8,24,26]. With a remarkably original view of information (which is fully adapted by situation theory) [28,29], a 'logic,' based not on truth but on information, is being developed [25]. This logic 1 will probably be an extension of first-order logic [5] rather than being an alternative to it.Individuals, properties, relations, spatio-temporal locations, and situations are basic constructs of situation theory. The world is viewed as a collection of objects, sets of objects, properties, and relations. Infons ('unit' facts) [26] are discrete items of information and situations are first-class objects which describe parts of the real world. Information flow is made possible by a network of abstract 'links' between high-order uniformities, viz. situation types. One of the distinguishing characteristics of situation theory vis-£-vis another influential semantic and logical tradition [27] is that 1 According to The Advanced Learner's Dictionary of Current English (by A. S. Hornby, E. V. Gatenby, and H. Wakefield, London, U.K.: Oxford University Press, 1958), logic is the science or art of reasoning, proof, and clear thinking. Thus, the commonly accepted equation logic = first-order logic is highly suspect. (Cf. [6] for an extended argument on this.) information content is context-dependent (where a context is a situation).All these features may be cast in a rich formalism for a computational framework based on situation theory. Yet, there have been few attempts to investigate this [17,33,40,46,49,52,59]. Questions of what it means to do computation with situations and what aspects of the theory makes t...
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.