Hector J. Levesque, Philip R. Cohen, & Jose H. T. Nunes
Joint action by a team does not consist merely of simultaneous and coordinated individual actions; to act together, a team must be aware of and care about the status of the group effort as a whole.
The goal of this project was to enable knowledge engineers to construct knowledge bases faster. We investigated two techniques: knowledge reuse and axiom templates. The results were demonstrated by developing a question-answering system for the crisis management challenge problem.
This paper explores principles governing the rational balance among an agent’s beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term).
Much of commonsense knowledge about the real world is in the form of procedures or sequences of actions for achieving particular goals. In this paper, a formalism is presented for representing such knowledge using the notion of process.
This paper derives the basis of a theory of communication from a formal theory of rational interaction. The major result is a demonstration that illocutionary acts need neither be primitive, nor explicitly recognized.
Expert systems that operate in complex domains are continually confronted with the problem of deciding what to do next. Being able to reach a decision requires, in part, having the capacity to "reason" about a set of alternative actions.
This paper describes a theorem prover that embodies knowledge about programming constructs, such as numbers, arrays, lists, and expressions. The program can reason about these concepts and is used as part of a program verification system that uses the Floyd-Naur explication of program semantics.
In this paper, we present a method for registering images of complex 3-D surfaces that does not require explicit correspondences between features across the images.
