Negotiation management, one such framework, has at its heart the application of computer models and related technology to a collaborative effort at dispute resolution. In this paradigm, negotiation is treated as a communicative and knowledge-intensive group problem-solving process. Easily accessible techniques are being developed for modeling both the process and substance of negotiation. In addition, tools are being designed for negotiators to use in risk and decision analysis, optimization, and precedent analysis. This paper outlines a synthesis of these elements in an integrated computer environment for negotiation management.

This paper suggests a bidirectional relationship between state-space and problem-reduction representations. It presents a formalism based on multiple-input and multiple-output operators which provides a basis for viewing the two types of representations in this manner. A representation of the language recognition problem which is based on the Cocke parsing algorithm is used as an illustration. A method for representing problems in first-order logic in such a way that the inference system employed by a resolution-based theorem prover determines whether the set of clauses is interpreted in the state-space mode or in the problem-reduction mode is presented. The analogous concepts in problem-reduction and theorem proving, and the terminology used to refer to them, are noted. The relationship between problem-reduction, input resolution, and linear resolution is is discussed.

New York: Academic Press

The cerebellum provides precise coordination of motor control for such body parts as the eyes, arms, fingers, legs, and wings. It stores and retrieves information required to control thousands of muscles in producing coordinated behavior as a function of time. CMAC was designed to provide this kind of motor control for robotic manipulators. CMAC is a kind of memory, or table look-up mechanism, that is capable of learning motor behavior. It exhibits properties such as generalization, learning interference, discrimination, and forgetting that are characteristic of motor learning in biological creatures.

Did you know your Organization can subscribe to the ACM Digital Library?

Did you know your Organization can subscribe to the ACM Digital Library?

After examining the simplest statements thaï can be based on a verb, a noun and an adjective, we go on to more complex statements involving articles, relative clauses and négations. Emphasis is laid on the systematic transformation ofa sentence into a semantic formula, h appears that such semantic formulae can be interpre ted correctly only in a logical system wit h three truth-values. Moreover one must suppose that the elementary relations associâted wit h the verb s, nouns and adjective s range not on individuals, but on sets of individuals.

Sorry, we just need to make sure you're not a robot. For best results, please make sure your browser is accepting cookies.

New York: Academic Press

Did you know your Organization can subscribe to the ACM Digital Library?