On Dependent Pronouns and Dynamic Semantics

Within natural language semantics, pronouns are often thought to correspond to variables whose values are contributed by contextual assignment functions. This paper concerns the application of this idea to cases where the antecedent of a pronoun is a plural quantifiers. The paper discusses the modelling of accessibility patterns of quantifier antecedents in a dynamic theory of interpretation. The goal is to reach a semantics of quantificational dependency which yields a fully semantic notion of pronominal accessibility. I argue that certain dependency phenomena that arise in quantificationally created contexts require a representation of context wherein the labelling of antecedents is not rigid but rather dynamic itself. I propose a stack-based alternative to classic assignment functions, along the lines of Vermeulen (1993) and van Eijck (2001), and give a dynamic semantics of quantification which correctly accommodates the problematic anaphoric phenomena.     

A multicriteria approach for material yard planning

The material yard is the origin of the production process for manufacturing firms. If materials are not stored at appropriate locations of the yard, then the stacking operation and the subsequent reclaiming operation will be inefficient in terms of time. In this paper a multicriteria approach which utilizes local trade-offs between different criteria in the absence of an explicit overall preference function is proposed to solve the material yard planning problem. The idea is to linearize the unknown preference function at a given point in the solution space. If the trade-offs between different criteria at this point can be determined via some mechanism, then a better solution can be derived. This process is continued until it converges to a stationary point, namely the optimal solution. To illustrate this idea, a case of the China Steel Co. in Taiwan is presented. The results from a simulation study indicate that the proposed approach is able to find a very good solution which satisfies all the criteria in a rather short transition period. © 1997 John Wiley & Sons, Ltd.     

A Calculus of Substitutions for DPL

We consider substitutions in order sensitive situations, having in the back of our minds the case of dynamic predicate logic (DPL) with a stack semantics. We start from the semantic intuition that substitutions are move instructions on stacks: the syntactic operation [y/x] is matched by the instruction to move the value of the y-stack to the x-stack. We can describe these actions in the positive fragment of DPLE. Hence this fragment counts as a logic for DPL-substitutions. We give a calculus for the fragment and prove soundness and completeness.     

脑神经系统的非线性动力学特征及方法论

脑神经系统的非线性动力学特征是:它具有非线性、混沌性、突变性、自组织性及不可逆性等.脑神经系统是人类生命的中枢系统,这个系统是一个非线性动力学的复杂系统,由一个远离平衡态的耗散结构,综合构成了脑神经系统的整体性、复杂性.从方法论的角度对脑神经系统的整体性、复杂性进行了思考,并提供了一个方法论的理论框架,及具体的技术方法.