Notation Revision

June 23, 2012 – 6:06 pm

Revise the notation to be suggestive of the standard terminology in intentional psychology – which is to say BDA psychology. The least disruptive change I judge to be as follows:

B(x)[ argument ] is the ‘belief’ of x about ‘argument’, which replaces E(x)[ argument ]
D(x)[ argument ] is the ‘desire’ of x about ‘argument’, which replaces D(x)
A(x) is the ‘action’ by x, which replaces A(x) and B(x). It yields the range of possible actions for x.

Previous terminology using ‘intensional’ will now use ‘believed’

Tags:

Post a Comment