We believe that humans learn about causal structure in a different way than our computer algorithms do, but we don't know. Research is needed into how humans learn about causation, and how they might be trained to do so more effectively. Many powerful programs exist for finding proofs in formal logical systems or for teaching logic. The community would benefit enormously from a repository of documented and downloadable software. Extending the Intercalation Calculus to Elementary Set Theory would be mathematically interesting and be useful pedagogically.
Many powerful algorithms exist for finding proofs in formal logical systems.
Some are explicitly built to use strategies that mimic human experts, and some not, even though little is known about how novice and experts actually search for proofs. Research needs to be done on how human expertise in proof search can be used to help computers become more efficient. Secretary Relevant Publications Cooper, G., C. Aliferis, R. Ambrosino, J. Aronis, B. Buchanan, R. Caruana, M. Fine, C. Glymour, G. Gordon, B. Hanusa, J. Janosky, C. Meek, T. Mitchell, T. Richardson, P. Spirtes. Discovering Causal Structure . The Carnegie Mellon Proof Tutor.