HOUSE_OVERSIGHT_013165.jpg
1.11 MB
Extraction Summary
1
People
2
Organizations
0
Locations
0
Events
0
Relationships
2
Quotes
Document Information
Type:
Technical manuscript / book page (bates stamped)
File Size:
1.11 MB
Summary
This document is page 249 of a technical manuscript regarding Artificial Intelligence or Logic programming (specifically Atom types and weights). It discusses logical links (SubsetLink, InheritanceLink, ImplicationLink) and provides code snippets as examples. One specific example uses the name 'Ben Goertzel' (a known AI researcher) in a humorous context regarding his competence at golf. The document bears the Bates stamp 'HOUSE_OVERSIGHT_013165', indicating it was part of the House Oversight Committee's investigation.
People (1)
| Name | Role | Context |
|---|---|---|
| Ben Goertzel | Subject of example |
Mentioned in a coding example regarding 'ContextLink' and 'golf'.
|
Organizations (2)
| Name | Type | Context |
|---|---|---|
| House Oversight Committee |
Bates stamp indicates document is part of House Oversight investigation files.
|
|
| PLN |
Probabilistic Logic Networks (implied context of the text).
|
Full Extracted Text
Complete text extracted from the document (1,880 characters)
13.3 Atoms: Their Types and Weights
249
249
Note that SubsetLink refers to a purely extensional subset relationship, and that InheritanceLink should be used for the generic "intensional + extensional" analogue of this – more on this below. SubsetLink could more consistently (with other link types) be named ExtensionallnheritanceLink, but SubsetLink is used because it's shorter and more intuitive.
There are links representing Boolean operations AND, OR and NOT. For instance, we may say
ImplicationLink
ANDLink
ConceptNode young
ConceptNode beautiful
ConceptNode attractive
ANDLink
ConceptNode young
ConceptNode beautiful
ConceptNode attractive
or, using links and VariableNodes instead of ConceptNodes,
AverageLink $X
ImplicationLink
ANDLink
EvaluationLink young $X
EvaluationLink beautiful $X
EvaluationLink attractive $X
ImplicationLink
ANDLink
EvaluationLink young $X
EvaluationLink beautiful $X
EvaluationLink attractive $X
NOTLink is a unary link, so e.g. we might say
AverageLink $X
ImplicationLink
ANDLink
EvaluationLink young $X
EvaluationLink beautiful $X
EvaluationLink
NOT
EvaluationLink poor $X
EvaluationLink attractive $X
ImplicationLink
ANDLink
EvaluationLink young $X
EvaluationLink beautiful $X
EvaluationLink
NOT
EvaluationLink poor $X
EvaluationLink attractive $X
ContextLink allows explicit contextualization of knowledge, which is used in PLN, e.g.
ContextLink
ConceptNode golf
InheritanceLink
ObjectNode BenGoertzel
ConceptNode incompetent
ConceptNode golf
InheritanceLink
ObjectNode BenGoertzel
ConceptNode incompetent
says that Ben Goertzel is incompetent in the context of golf.
13.3.2 Variable Atoms
We have already introduced VariableNodes above; it's also possible to specify the type of a VariableNode via linking it to a VariableTypeNode via a TypedVariableLink, e.g.
VariableTypeLink
VariableNode $X
VariableTypeNode ConceptNode
VariableNode $X
VariableTypeNode ConceptNode
which specifies that the variable $X should be filled with a ConceptNode.
Variables are handled via quantifiers; the default quantifier being the AverageLink, so that the default interpretation of
HOUSE_OVERSIGHT_013165
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein document