| Brink, C.; Britz, K.; Schmidt, R. (1992). Peirce Algebras. Max-Planck-Institut f ur Informatik. MPI-I-92-229. |
....computational metaphors such as information growth , transition sequences and updating . The classic example is the Kripkean analysis of intuitionistic logic; more recent examples include propositional dynamic logic (Pratt (1976) Harel (1984) action algebras (Pratt (1991) Peirce algebras (Brink et al. (1994), de Rijke (1995) the various arrow logics (van Benthem (1993) Marx et al. (1996) Vakarelov (1996) Venema (1996) and de Rijke (1992) and evolving algebras (Gurevich (1991) As yet no consensus has emerged, but such systems have already provided interesting analyses of programming ....
Brink, C., Britz, K., and Schmidt, R., 1994, "Peirce algebras," Formal Aspects of Computing 6, 339--358.
....for the semantic analysis of natural language. Instead he proposes an algebraic approach, using so called extended relation algebras. Extended relational algebras are set theoretic structures of particular set relation interactions which are captured in the abstract framework of Peirce algebras (Brink, Britz and Schmidt 1994). Also in the seventies, R. J. Brachman (1977, 1979) had the idea to amalgamate the useful features of semantic networks and frames in a system called kl one. This was the starting point for the area of kl one based knowledge representation. The initial goal was to develop notational devices for ....
....language. As first argued in Schmidt (1993) I believe relational grammars achieve exactly this. This is based on the observation that many of subsystems of kl one are in essence just multi modal logics or the logical versions of (reducts of) Peirce algebras (Schild 1991, Brink and Schmidt 1992, Brink et al. 1994, de Rijke 1994) Relational grammars in their current form have two deficiency, though, which this paper addresses. i) Relational grammars do not accommodate numerical information as in a city is a place with more than 100 000 inhabitants. ii) Sentences, like Elizabeth has sons, cannot be ....
[Article contains additional citation context not shown here]
Brink, C., Britz, K. and Schmidt, R. A. (1994), Peirce algebras, Formal Aspects of Computing 6(3), 339--358.
....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 algebraically. The algebras we use are Tarski s (1941) relation algebras, Brink s (1981) Boolean modules and new algebras called Peirce algebras. These algebras are ....
....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 algebraically. The algebras we use are Tarski s (1941) relation algebras, Brink s (1981) Boolean modules and new algebras called Peirce algebras. These algebras are closely related to the algebras Suppes (1976) uses in ....
[Article contains additional citation context not shown here]
Brink, C., Britz, K. and Schmidt, R. A. (1992), Peirce algebras, Technical Report MPII -92-229, Max-Planck-Institut fur Informatik, Saarbrucken, Germany.
No context found.
Brink, C.; Britz, K.; Schmidt, R. (1992). Peirce Algebras. Max-Planck-Institut f ur Informatik. MPI-I-92-229.
No context found.
Brink, C.; Britz, K.; and Schmidt, R. (1994). "Peirce algebras." Formal Aspects of Computing 6, 339--358.
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