HOUSE_OVERSIGHT_013169.jpg

1.38 MB

Extraction Summary

1
People
0
Organizations
0
Locations
2
Events
0
Relationships
3
Quotes

Document Information

Type: Technical/scientific paper or book excerpt (page 253)
File Size: 1.38 MB
Summary

This document appears to be a page (253) from a technical book or paper regarding Artificial Intelligence, specifically discussing 'Atomspace' and various logical links (PredictiveImplicationLink, SequentialANDLink, HebbianLink). It details how to represent temporal and associative relationships in code or logic systems. The document bears a 'HOUSE_OVERSIGHT' Bates stamp, suggesting it was part of a Congressional investigation document production, likely related to Epstein's funding of AI research (possibly relating to Ben Goertzel/OpenCog, given the context of 'Ben' used in the example).

People (1)

Name Role Context
Ben Example Subject
Used in a hypothetical logic example: 'event of Ben waking up on July 15 2012'

Timeline (2 events)

2012-07-15
Hypothetical example event used in text: Ben waking up
Unknown
Ben
2012-07-15
Hypothetical example event used in text: Ben getting out of bed
Unknown
Ben

Key Quotes (3)

"the Atomspace in practice combines functional-style representation with variable-based representation."
Source
HOUSE_OVERSIGHT_013169.jpg
Quote #1
"There is a system for managing fuzzy time intervals and their interrelationships, based on a fuzzy version of Allen Interval Algebra."
Source
HOUSE_OVERSIGHT_013169.jpg
Quote #2
"These connote associations between their arguments, i.e. they connote that the entities represented by the two argument occurred in the same situation or context"
Source
HOUSE_OVERSIGHT_013169.jpg
Quote #3

Full Extracted Text

Complete text extracted from the document (2,201 characters)

13.3 Atoms: Their Types and Weights
253
of pure functional programming formalisms like combinatory logic. However, this purely functional style has not proved convenient, so the Atomspace in practice combines functional-style representation with variable-based representation.
Temporal links often come with specific temporal quantification, e.g.
PredictiveImplicationLink <5 seconds>
EvaluationLink JumpOffCliff $X
EvaluationLink Dead $X
indicating that the conclusion will generally follow the premise within 5 seconds. There is a system for managing fuzzy time intervals and their interrelationships, based on a fuzzy version of Allen Interval Algebra.
SequentialANDLink is similar to PredictiveImplicationLink but its truth value is calculated differently. The truth value of
SequentialANDLink <5 seconds>
EvaluationLink JumpOffCliff $X
EvaluationLink Dead $X
indicates the likelihood of the sequence of events occurring in that order, with gap lying within the specified time interval. The truth value of the PredictiveImplicationLink version indicates the likelihood of the second event, conditional on the occurrence of the first event (within the given time interval restriction).
There are also links representing basic temporal relationships, such as BeforeLink and AfterLink. These are used to refer to specific events, e.g. if X refers to the event of Ben waking up on July 15 2012, and Y refers to the event of Ben getting out of bed on July 15 2012, then one might have
AfterLink X Y
And there are TimeNodes (representing time-stamps such as temporal moments or intervals) and AtTimeLinks, so we may e.g. say
AtTimeLink
X
TimeNode: 8:24AM Eastern Standard Time, July 15 2012 AD
13.3.5 Associative Links
There are links representing associative, attentional relationships,
• HebbianLink
• AsymmetricHebbianLink
• InverseHebbianLink
• SymmetricInverseHebbianLink
These connote associations between their arguments, i.e. they connote that the entities represented by the two argument occurred in the same situation or context, for instance
HebbianLink happy smiling
AsymmetricHebbianLink dead rotten
InverseHebbianLink dead breathing
HOUSE_OVERSIGHT_013169

Discussion 0

Sign in to join the discussion

No comments yet

Be the first to share your thoughts on this epstein document