Great Computational Intelligence in the Formal Sciences via Analogical Reasoning
Technical Report,15 Oct 2011,31 Dec 2016
RENSSELAER POLYTECHNIC INST TROY NY TROY United States
Pagination or Media Count:
We have delivered on our promise to develop and demonstrate a new level of great computational intelligence GCI in the formal sciences, via an unprecedented integration of analogical and deductive reasoning analogico-deductive reasoning, or just ADR and associated techniques. The plan for the sequel is as follows. We begin by very brie y reviewing our concept of distance that originally gave rise to the adjective great in the GCI research program x2. Next, we provide a birds-eye perspective on the entire GCI paradigm and program, with help from a key master graphic x3. This perspective includes the fact that the work reported on herein included a 1-year extension of the original Phase-1 grant. Phase 1 set up the initial elements of the GCI paradigm, and applied them, to a degree, in certain domains. In light of this temporal context, the present report includes description of chief achievements made during the 1-year extension. We then rapidly recount some of the highlights of Phase-1 accomplishments x41.
- Computer Programming and Software
- Computer Systems