Following an approach suggested by Georgeff, this paper considers the use of synchronizing primitives to resolve conflicts and produce a plan that is as unrestrictive as possible.
One of the primary advantages of the treatment of syntactic constraints on anaphoric binding that has been presented here is that it provides a framework for stating binding constraints in a precise manner.
Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed.
Two important problems in speech understanding are how to effectively integrate multiple sources of knowledge within the system and how to control the activities of the system to arrive at appropriate interpretations for utterances.
TABLOG (Tableau Logic Programming Language) is a language based on first-order predicate logic with equality that combines functional and logic programming. TABLOG incorporate advantages of LISP and PROLOG.
We argue that current plan-based theories of discourse do not by themselves explain even simple task-oriented dialogues. The purpose of this paper to show how a number of difficult-to-explain features of these dialogues follow from the joint or team nature of the underlying task.
What is involved when a group of agents decide to do something together. Joint action by a team appears to involve more than just the union of simultaneous individual actions, even when those actions are coordinated.
