TheoryOfIntentions

Seven properties to be Satisfied

1. Intentions pose problems for agents, who need to determine ways to achieving them.
2. Intentions provide a "filter" for adopting other intentions, which must not conflict.
3. Agents track the success of their intentions, and are inclined to try again if their attempts fail.
4. Agents believe their intentions are possible.
5. Agents do not believe they will not bring their intentions.
6. Under certain circumstances, agents believe they will bring about their intentions.
7. Agents need not intend all the expected side effects of their intentions.

		[NormalModalLogic | BeliefDesireIntention | PossibleWorldsExample]