## A process algebraic approach to computational linguistic (1995)

Citations: | 2 - 1 self |

### BibTeX

@TECHREPORT{Fujinami95aprocess,

author = {Tsutomu Fujinami},

title = {A process algebraic approach to computational linguistic},

institution = {},

year = {1995}

}

### OpenURL

### Abstract

to the

### Citations

1236 |
How To Do Things With Words
- Austin
- 1975
(Show Context)
Citation Context ... study them, then? 1sCHAPTER 1. INTRODUCTION 2 Our strategy is to view language use as a class of human actions to communicate with each other as proposed by speech acts theorists such as John Austin =-=[Aus62]-=- and to study it from broader perspectives, where utterances are considered as just one way of conveying information from one to another. The key is that people can get themselves understood with vari... |

1109 |
Actors: A Model of Concurrent Computation in Distributed Systems
- Agha
- 1986
(Show Context)
Citation Context ...most relevant model in spirit with ours is proposed by Broker, Hahn, and Schacht [SHB94, BHS94, BSSH94]. In their ParseTalk model, parsing is modelled as message passing based on Hewitt's actor model =-=[Agh86]-=-. Grammar rules are not separated from lexicon, but encoded into each lexical item. Such a lexical item is encoded as an actor, and actors can communicate with each other to parse sentences. Our proje... |

455 | The chemical abstract machine
- Berry, Boudol
- 1992
(Show Context)
Citation Context ...es to be nested in other molecules. For instance, the following expression is legitimate in our language. [[ahbi;a(b)]; [chdi;c(e)];ghhi ] 16 The metaphor of molecules is proposed by Berry and Boudol =-=[BB92]-=-. The notation is adopted from [Mil93a].sCHAPTER 3. A LOGICAL SPECIFICATION OF MOBILE PROCESSES 75 3.3.2 Guarding The speci cation of the guarding is separated from the declaration of particles, e.g.,... |

229 | Domain theory in logical form
- Abramsky
- 1991
(Show Context)
Citation Context ...wo characterisations are, however, not so di erent from each other as their appearances suggest. It has been known that the former is an alternative formulation of a meta-language to specify programs =-=[Abr91]-=-. In dynamic semantics, the idea of concurrency is recently considered to temper the problem of nondeterministic computation [Fer93]. The solution is to preserve all alternatives with disjoint union w... |

118 | The HCRH map task corpus. Language and Speech - Anderson, Bader, et al. - 1991 |

105 |
The Liar: An Essay on Truth and Circularity
- Barwise, Etchmendy
- 1987
(Show Context)
Citation Context ...semantics for Synchronous Calculus of Communicating Systems (SCCS) [Mil83, Mil89], a precursor to the -calculus. Therefore, it should not be so di cult to model an earlier version of Situation Theory =-=[BE87]-=- with SCCS. But we are here interested in exploring the -calculus to model more recent versions of Situation Theory. It has been shown that with the -calculus we can encode various data structures suc... |

96 | What is a categorical model of intuitionistic linear logic
- Bierman
- 1995
(Show Context)
Citation Context ...symmetric monoidal category (SMC) with product. Through discussion, we have clari ed the limitation of the logic and what to be done towards specifying the full 29 Troelstra's text or Bierman's paper =-=[Bie95]-=- is helpful to know the issue in more detail. 30 means interchange of factors in a product. It is, therefore, self-inverse, i.e., ,1 =:sCHAPTER 3. A LOGICAL SPECIFICATION OF MOBILE PROCESSES 95 arrows... |

85 |
Quantales, observational logic and process semantics
- ABRAMSKY, J
- 1993
(Show Context)
Citation Context ..., shown below in the form of classical logic, are dropped from structural rules, which allows a theorem prover to use a formula only once. A^B)A weakening A)A^A contraction 3 See Abramsky and Vickers =-=[AV93]-=- for a proposal, for example.sCHAPTER 3. A LOGICAL SPECIFICATION OF MOBILE PROCESSES 61 The restriction will in turn bene t us with the ability of expressing current state, which means that the implic... |

32 |
Flow models of distributed computations: three equivalent semantics for CCS
- Boudol, Castellani
- 1994
(Show Context)
Citation Context ...is enough at the moment tosketch basic ideas. Note also we write in de ningcut rather than for convenience. 7 The example is taken from [GM84] with a slight modi cation based on the material found in =-=[BC94]-=-.sCHAPTER 3. A LOGICAL SPECIFICATION OF MOBILE PROCESSES 64 C = defa:0ja:0 The process can be translated to a petri net shown in the gure 3.5, wheretmeans a silent action. In the net, a transition may... |

29 |
Information, infons, and inference
- Barwise, Etchemendy
- 1990
(Show Context)
Citation Context ...ic logic to linear logic [Gir87]. 28 Wewould like to adopt the latter approach and to remain within intuitionistic logic because Situation Theory has to do with intuitionistic logic as is observed in =-=[BE90]-=-. The other problem is that the logic is so powerful that it can derive unwanted derivations, too, when used to specify processes. See for example with the following set of axioms, we can infer not on... |

28 |
Non-well-founded sets. Center for the Study of Language and Information
- Aczel
- 1988
(Show Context)
Citation Context ...ation theoretic objects based on process calculi, but Situation Theory has been historically bene ted from work on process calculi. For instance, one of the motivations of Non-Well-Founded Set Theory =-=[Acz88]-=-, which lays a foundation for Situation Theory [AL91], is to de ne a semantics for Synchronous Calculus of Communicating Systems (SCCS) [Mil83, Mil89], a precursor to the -calculus. Therefore, it shou... |

18 |
On the Model Theory of Common Knowledge
- Barwise
- 1990
(Show Context)
Citation Context ...ATIONS AS PROCESSES 138 4.7.3 Shared-situations as processes The channels introduced to index infons in the above enables one to encode a particular use of situations to describe common knowledge. In =-=[Bar89]-=-, Barwise proposed a sharedsituation approach to study common knowledge, which developed the idea proposed by Clark and Marshall in [CM92]. In maptask, such knowledge is central because the goal of th... |

18 |
Extended Kamp Notation: a graphical notation for situation theory
- Barwise, Cooper
- 1993
(Show Context)
Citation Context ...nt as a process and study the interaction as a system of communicating processes. To elaborate the idea, we turn to the -calculus [MPW92] and construct semantic objects employed in Situation Semantic =-=[BC93]-=- as processes. The construction helps us relate Situation Semantics with Linear Logic, through our translation of the calculus to Combinatory Intuitionistic Linear Logic. 4.1.1 Computational aspects o... |

17 | Simple Situation Theory and its Graphical Representation, in Partial and Dynamic - Barwise, Cooper - 1991 |

17 | Concurrent lexicalized dependency parsing: the ParseTalk model - BRÖKER, HAHN, et al. - 1994 |

11 |
Universes and parameters
- Aczel, Lunnon
- 1991
(Show Context)
Citation Context ...Situation Theory has been historically bene ted from work on process calculi. For instance, one of the motivations of Non-Well-Founded Set Theory [Acz88], which lays a foundation for Situation Theory =-=[AL91]-=-, is to de ne a semantics for Synchronous Calculus of Communicating Systems (SCCS) [Mil83, Mil89], a precursor to the -calculus. Therefore, it should not be so di cult to model an earlier version of S... |

6 |
Information Links in Domain Theory
- Barwise
- 1992
(Show Context)
Citation Context ... Theory, ours is slightly di erent in that it is intuitionistic and linear, but otherwise they share much in common. In fact, Barwise proposed a way to view linear logic as a theory of information ow =-=[Bar92]-=-. We think therefore our approach is still in track of Channel Theory. Although there are still many rooms for further development, we believe our approach is a promising way to construct semantic obj... |

4 |
Constraints, channels, and the ow of information
- Barwise
- 1993
(Show Context)
Citation Context ...ation Theory [Coo93a, Coo93b], which have been hitherto studied rather independently. Intuitionistic linear category [Tro92] can actually cover Barwise's postulates on the principle of information ow =-=[Bar93]-=-. We will conclude the chapter by discussing the issue. 4.1.3 Representing situation-theoretic objects in linear logic We sketch here our strategy to represent situation-theoretic objects in linear lo... |

1 |
Pragmatic overloading in natural language instructions
- unknown authors
- 1996
(Show Context)
Citation Context ...used to represent semantic objects employed in semantics for natural language. Ranta for example adopted MartinLof's Type Theory and analysed `donkey' anaphora using dependent types [Ran91]. Rene Ahn =-=[Ahn94]-=- proposed to use Pure Type Systems as a \Language of Thought" to model dynamic knowledge states and argued that the system could be seen as a generalisation of Discourse Representation Structures (DRS... |

1 | Hanae Koiso, Shinji Sato, Makiko Naka, Syun Tutiya, Kenji Yagi, NaoyaWatanabe, Masato Ishizaki, Michio Okada, Hiroyuki Suzuki, Yukiko Nakano, and Keiko Nonaka. The Japanese Map Task Corpus: an interim report - Aono, Ichikawa - 1994 |