Individual Study Update

Met with Dr. Croy yesterday to discuss connectionist model for JT. Got a copy of W. Bechtel “Natural Deduction in Connectionist Systems” and an excerpt from Bechtel & Abrahamsen Connectionism and the Mind, which describe related work in modeling deductive logic using a connectionist model. Basic idea for JT model: input = (problem instance, rule pattern 1, rule pattern 2), output = rule 1, rule 2, or neither

Game plan: Read these articles and figure out a good way to encode the JT data in an ANN, and at least have some initial results to talk about next week at the CAS symposium.