Great Computational Intelligence in the Formal Sciences via Analogical Reasoning
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 bird's-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).
Document Details
- Document Type
- Technical Report
- Publication Date
- May 08, 2017
- Accession Number
- AD1036068
Entities
People
- John E. Hummel
- John Licato
- Selmer Bringsjord
Organizations
- Rensselaer Polytechnic Institute