AI Working Papers (1971 - 1995): Recent submissions

Now showing items 190-192 of 291

    • Bargaining Between Goals 

      Goldstein, Ira P. (MIT Artificial Intelligence Laboratory, 1975-01)
      Bargaining is a process used to modify conflicting demands on an expendable resource so that a satisfactory allocation can be made. In this paper, I consider the design of a bargaining system to handle the problem of ...

    • Meta-evaluation of Actors with Side-effects 

      Yonezawa, Akinori (MIT Artificial Intelligence Laboratory, 1975-06)
      Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects which allow sharing ...

    • Meta-evaluation of Actors with Side-effects 

      Yonezawa, Akinori (MIT Artificial Intelligence Laboratory, 1975-06)
      Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects is presented. ...