Suppes, P.: Variable-free semantics for negations with prosodic variation, in Saarinen, E., Hilpinen, R., Niiniluoto, I. and Hintikka, M.P. (eds), Essays in Honour of Jaakko Hintikka, Reidel Publ. Co., Dordrecht, Holland, 49--59.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... to program semantics and program development [BKSS91, BS91, BZ86, BM97, DOR94, DO96, HH86a, HH86b, HH87, Hut93, KM92, SS93] The relational calculus can be applied to not only the theory of programs but also databases [BDJM93, BBG 94, JOB94, OJB94] natural languages [Bot92a, Bot92b, Sup76, Sup79, Sup81] graphs [KM94, Miz93, MiK95, SS93] set theory [Kaw95, TG87] and so on. Orlowska described benefit from applying relational calculus to all sorts of scientific research areas in just one sentence in chapter 6 of [BKS97] so clearly: The main advantages of the relational formalisation are ....

....correspond to L relations which satisfy condition C0 provided in chapter 7. These L relations may be useful tool to investigate accessibility and reliability in networks. Also the results in applying the Boolean relation algebraic approach to the theory of natural languages [Bot92a, Bot92b, Sup76, Sup79, Sup81] suggest that our calculus may enable them to treat fuzziness in an element free style. Furthermore, in order to consider applications of our calculus to relational modelling of fuzzy systems, we should study fuzzy relational equations in our frameworks. 56 ....

Suppes, P.: Variable-free semantics for negations with prosodic variation, in Saarinen, E., Hilpinen, R., Niiniluoto, I. and Hintikka, M.P. (eds), Essays in Honour of Jaakko Hintikka, Reidel Publ. Co., Dordrecht, Holland, 49--59.

....image and domain restriction. Complementation on a set in 2 U is taken with respect to U and complementation on a relation in 2 U 2 with respect to U 2 . An extended relation algebra is denoted by E(U ) Extended relation algebras are used in the context of computational linguistics (Suppes (1976, 1979, 1981) and Bottner (1992a, 1992b) They specify the model structure of certain fragments of natural language. For example, the sentence Some persons do not eat some foods is interpreted by P (E 0 F ) 6= 0 where P , E and F denote the set of persons, the relation of eating and the set of ....

....axioms and the algebraic ones. For examples and case studies refer to Brink and Schmidt (1992) and Schmidt (1991) iv) Terminological representation can be linked to other areas of application of Peirce algebra. In particular, we believe terminological representation can benefit from Suppes (1976, 1979, 1981) and Bottner s (1992a, 1992b) linguistic analysis of English language sentences, referred to earlier. This work can be utilized for translating information expressed in ordinary English into terminological expressions, and vice versa. ....

Suppes, P. (1979), Variable-free semantics for negations with prosodic variation, in E. Saarinen, R. Hilpinen, I. Niiniluoto and M. P. Hintikka (eds), Essays in Honour of Jaakko Hintikka, Reidel, Dordrecht, Holland, pp. 49--59.

....and the work of Kozen [1980] and Pratt [1979] in the area of logics of programs. Aspects of these are relevant to terminological representation. In [1976] and other papers [1973, 1979, 1981] Suppes aims at a systematic analysis of the model theoretic semantics of fragments of natural language. In Suppes [1979, p. 49] he says: The central idea is that the syntax of first order logic is too far removed from that of any natural language, to use it in a sensitive analysis of the meaning of ordinary utterances. Instead he proposes an algebraic approach, using so called extended relation algebras. 3.57) ....

Suppes, P. [1979]. Variable-Free Semantics for Negations with Prosodic Variation. In Saarinen, E., Hilpinen, R., Niiniluoto, I., and Hintikka, M.P. (Eds.), Essays in Honour of Jaakko Hintikka. Reidel Publ. Co., Dordrecht, Holland, 49--59.

....of English by annotating syntactic grammars with algebraic expressions. Suppes (1976) originally refers to relational grammars as potentially denoting grammars. We will sketch a variation of the definition of relational grammars by example. 3 Formal descriptions can be found in the work of Suppes (1976, 1979, 1981) and Bottner (1992a, 1992b, 1994a, 1994b, 1995, 1997b) A survey paper is Bottner (1997a) Let U denote the domain of interpretation. U is a non empty set. The denotation of sentences and phrases is given by a mapping [ Delta] from syntactic types into the concrete Peirce algebra (B(U) ....

Suppes, P. (1979), Variable-free semantics for negations with prosodic variation, in E. Saarinen, R. Hilpinen, I. Niiniluoto and M. P. Hintikka (eds.), Essays in Honour of Jaakko Hintikka, Reidel, Dordrecht, pp. 49--59.

....Ullrich Hustadt, Hans Jurgen Ohlbach and Barbara Zimmermann. For financial support I thank the Deutsche Forschungsgemeinschaft, SFB 314 (TICS) Abstract In this paper I establish a link between kl one based knowledge representation concerned with terminological representation and the work of P. Suppes (1976, 1979, 1981) and M. Bottner (1985, 1989) in computational linguistics. I show how this link can be utilised for the problem of finding adequate terminological representations for given information formulated in ordinary English. Keywords Terminological representation, natural language, relation ....

....about the relation of KR [knowledge representation] to natural language, for example after all, that was in part responsible for the birth of the field in the first place. In this paper I do just that. I relate terminological representation to natural language and show how the work of P. Suppes (1976, 1979, 1981) and M. Bottner (1985, 1989) in computational linguistics can be utilised. The setting of my discussion is an algebraic one. In Brink and Schmidt (1992) Schmidt (1991) and Brink, Britz and Schmidt (1992) we showed that terminological representation languages can be interpreted ....

[Article contains additional citation context not shown here]

Suppes, P. (1979), Variable-free semantics for negations with prosodic variation, in E. Saarinen, R. Hilpinen, I. Niiniluoto and M. P. Hintikka (eds), Essays in Honour of Jaakko Hintikka, Reidel Publ. Co., Dordrecht, Holland, pp. 49--59.

No context found.

Suppes, P. (1979). "Variable-free semantics for negations with prosodic variation." In: Essays in Honor of Jaakko Hintikka, edited by R. Hilpinen, I. Niiniluoto, and M. P. Hintikka, 49--59, Reidel.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC