The software crisis has persisted for decades. Our difficulties in planning and managing software projects may be rooted in fundamental human nature, as suggested by research in rational decision making, more than in the inherent difficulty of building software. The Capability Maturity ModelSM for Software, an application of the concepts of Total Quality Management to software development and m...

The software crisis has persisted for decades. Our difficulties in planning and managing software projects may be rooted in fundamental human nature, as suggested by research in rational decision making, more than in the inherent difficulty of building software. The Capability Maturity ModelSM for Software, an application of the concepts of Total Quality Management to software development and m...

A formal language to describe mental states of rational agents is useful to specify the behavior of artiicial agents that are supposed to act intelligently and to help human beings in evaluating their reasoning about the external environment. This paper presents a multi-agent, propositional, temporal logic to describe the mental state of rational agents. The formal properties of beliefs and int...