Accession Number:

AD1036068

Title:

Great Computational Intelligence in the Formal Sciences via Analogical Reasoning

Descriptive Note:

Technical Report,15 Oct 2011,31 Dec 2016

Corporate Author:

RENSSELAER POLYTECHNIC INST TROY NY TROY United States

Report Date:

2017-05-08

Pagination or Media Count:

35.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE