I have a program that that validates input according to logical rules (a kind of predicate calculus, i.e. it uses logic operators such as AND, OR, NOT, EXIST, FOR-ALL).
A major restriction is that I have no influence over the rules; they are fully configurable and governed by a standardization commitee. If the input violates a rule, then the rule is presented to the user. The vast majority of users have major problems understanding this feedback, so I am investigating how I can improve the feedback. I would therefore appreciate if anybody could point me to literature that addresses the comprehension of logic expressions in programming language; especially how it relates to novices. ---------------------------------------------------------------------- PPIG Discuss List (discuss@ppig.org) Discuss admin: http://limitlessmail.net/mailman/listinfo/discuss Announce admin: http://limitlessmail.net/mailman/listinfo/announce PPIG Discuss archive: http://www.mail-archive.com/discuss%40ppig.org/
