Knowledge-based connectionism for revising domain theories | Synapse