This paper introduces object-oriented attribute grammars. These can be characterized as a notation for all classes of attribute grammars. Based on a subtype relation between grammar rules, inheritance of attributes and attribute computations are defined. With this approach, attributes local to grammar rules and the elimination of chain rules are possible without any special constructs. We prese...

We give an overview of current efforts to standardize e-business rules knowledge representation (KR) in XML as part of the Semantic Web. We focus especially on the design approach and criteria of RuleML, an emerging standard that we co-lead. We discuss the issues of standardization and Webizing which RuleML addresses. We extend, for the first time, RuleML’s definition from the ordinary logic pr...

In a food processing chain, a process is a succession of unit operations leading to the food product. As a first step, we will use a single assertional conceptual graph to represent the process steps. But reasoning with expert rules on this assertional graph raises some issues (activation of rules, readability). We propose an extension of the conceptual graph model, in order to introduce the ‘B...

Agent interaction takes place at several levels. Current work in the ARPA Knowledge Sharing Effort has addressed the information content level by the KIF language and the intentional level by the KQML language. In this paper we address the coordination level by means of our Coordination Language (COOL) that relies on speech act based communication, but integrates it in a structured conversation...

I this paper we consider workforce management in repair/maintenance environments in which repairmen are cross-trained fo affend more than one fype of machine. In this confext, we sfudy the machine-repairman problem wifh heferogeneous machines buf with partially cross-trained repairmen. We introduce simple repairmanassignment rules as well as machine-priority rules thaf are effecfive in mirumizi...

Protein molecules adopt a specific global 3D structure in order to carry out their biological function. To achieve this native state a newly formed protein molecule has to fold. The folding process and the final fold are both determined by the sequence of amino acids making up the protein chain. It is not currently possible to predict the conformation of the native state from the amino acid seq...

Let M be the transition matrix, and the initial state distribution , for a discrete-time nite-state irreducible Markov chain. A stopping rule for M is an algorithm which observes the progress of the chain and then stops it at some random time ?; the distribution of the nal state is denoted by ?. We give a useful characterization for stopping rules which are optimal for given target distribution...

With this paper we present a brief overview of selected promi­ nent approaches to rule frameworks and formal rule languages for the representation of and reasoning with uncertain or imprecise knowledge. This work covers selected probabilistic and possibilistic logics, as well as implementations of uncertainty and possibilistic reasoning in rule engine

In this article I present a series of arguments that syntactic structures are built incrementally, in a strict left-to-right order. By assuming incremental structure building it becomes possible to explain the differences between the range of constituents available to different diagnostics of constituency, including movement, ellipsis, coordination, scope and binding. In an incremental derivati...