Maybe, but I'm literally on my way to visit Glen in Portland.
Actually... to visit daughter and grandson and much more but hoping to
see him on the trip! I'll take a closer look in the next few days and
see if there is anything I can add.
- Steve
On 8/22/19 7:25 PM, Nick Thompson wrote:
> Hi,
Sorry for my incompleteness. I should have stated that G&W say the schema is for a
*solved* abduction problem. What you're describing is the exploration of the *inverse* map.
Using the conclusion, you infer the premise(s) that fit. I'd hoped it would be obvious this
is possible with the connect
->> ⊢ can be treated as a relation which gives with respect to Τ *whatever*
property the investigator (the abducer) is interested in Τ's having, and
which is not delivered by Δ alone or by {A_(n+j)} alone.
That's how I read the formal paragraph.
---
Frank Wimberly
http://ironclaws.com/
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
archives back to 2003: http://friam.471366.n2.nabble.c