Re:Summary of 'Programs with Common Sense' (1959) by John Mc...
by jackhoy on Monday February 27, 2017 @08:18AM
(#13743926)
This seems to be relevant for premise selection https://arxiv.org/pdf/1606.04442.pdf but not found anything yet on premise collection
Yes I agree with this, if you are providing the expert system with premises, although not specific to a particular problem, then you are effectively programming it.
I wonder if we could discover and obtain premises through some automated system, then the deductive process could still apply, leaving us with an understanding of how the solution to a goal was reached via the deductive argument. Do you know if this has been attempted?