Assertion: logic | /r/CapableOf | grow in its new setting
Facets:
value: out of philosophical logic
type: OTHER
Source sentences:
text: Although logic in AI grew out of philosophical logic, in its new setting it has produced new theories and ambitious programs that would not have been possible outside of a community devoted to building full-scale computational models of rational agency.