AI Working Papers (1971 - 1995): Recent submissions

Now showing items 91-93 of 291

    • Analyzing the State Behavior of Programs 

      Bawden, Alan (MIT Artificial Intelligence Laboratory, 1988-08)
      It is generally agreed that the unrestricted use of state can make a program hard to understand, hard to compile, and hard to execute, and that these difficulties increase in the presence of parallel hardware. This problem ...

    • Toward a Richer Language for Describing Software Errors 

      Levitin, Samuel M. (MIT Artificial Intelligence Laboratory, 1985-05)
      Several approaches to the meaning and uses of errors in software development are discussed. An experiment involving a strong type-checking language, CLU, is described, and the results discussed in terms of the state of the ...

    • A Proposal for Research With the Goal of Formulating a Computational Theory of Rational Action 

      Batali, John (MIT Artificial Intelligence Laboratory, 1985-04)
      A theory of rational action can be used to determine the right action to perform in a situation. I will develop a theory of rational action in which an agent has access to an explicit theory of rationality. The agent makes ...