Some more thoughts on the latest draft from Gerard, attached and at
http://babbage.computing.dundee.ac.uk/aif/
(And Gerard, thanks for pulling all of these comments together).
chris.
(Incidentally, I notice a mismatch between what is appearing on the
Google Group and what appears on the email list; not sure why, but we
should take care not to miss stuff).
I would have more interesting things to say but Chris said it better
than I could have. So, I can only echo his sentiments. In particular,
restricting ourselves to propositions and having things like decisions
developed through extension.
cheers,
jarred