Positional Analysis
- There's no denying that some people find certain Situations more desirable than others. In fact, quality of life research indicates that the desirability of a position relates to its quality. A position is like a situation, it means the entire set of circumstances and facts obtaining for a given person or group of people. As such, this system is related to suppositional-reasoner, which seeks to ply search over this evaluation function. Positional Analysis can be likened to an evaluation function, such as in chess. Morever, we employ theorem proving using Prolog and ATPs to prove facts about the situation, which are used as features in computing the desirability of a situation.