It should be obvious that these conceptions represent another attempt to formalize the relationship between dynamic and symbolic approaches to intelligent systems. Once again, the paradigms that are established for dealing with propositions at or about PODs are typically specialized to consider one or the other but seldom both. This leads to the familiar sorts of dichotomies being imposed on a subject matter where the types are more complementary and generative than exclusive and exhaustive. Thus, one finds methodologies in the field that can work well either from an “external” (dynamic, model-theoretic, empirical) perspective or from an “internal” (symbolic, proof-theoretic, rational) perspective, but that are seldom able to incorporate both technologies into an integrated methodology. | It should be obvious that these conceptions represent another attempt to formalize the relationship between dynamic and symbolic approaches to intelligent systems. Once again, the paradigms that are established for dealing with propositions at or about PODs are typically specialized to consider one or the other but seldom both. This leads to the familiar sorts of dichotomies being imposed on a subject matter where the types are more complementary and generative than exclusive and exhaustive. Thus, one finds methodologies in the field that can work well either from an “external” (dynamic, model-theoretic, empirical) perspective or from an “internal” (symbolic, proof-theoretic, rational) perspective, but that are seldom able to incorporate both technologies into an integrated methodology. |