from a literature of logic to a litterature of patterns
what is this talk about? it is about the different styles of writing between programming and fiction.. how they can mutually influence each other, and how different approaches of the problem can open up new avenues.
it is also about the dialectical approaches of top-down and bottom-up, inductive and deductive, formalization and expansion.
first, we talk about style in programming (mccarthy, minsky), between cerebral and embodiment. styles that already existed before (canon), and we can weave in their approaches to fictions (disembodiment, reduction, almightiness)
second, a section on how these stances have influenced writers, showing the interplay between fiction and scientific research. example of eliza: from the formal to the emotional.
third, a part on the new stances. from mccarthy to minsky. from early wittgenstein to late wittgenstein. expand on what this style means cognitively. expand on the patterns
fourth sketch out some consequences; the good, the bad, and the glitch.
sensory data = input data
rokeby - computer as a prosthetic organ for philosophy
does it extend the realm of literature
if it becomes a literature of patterns, what can we say about the unexpected, the glitch (you need it as a counterpoint to a metaphor), the thing that stands out (gmail smart reply i love you). there is also the thread, that it might follow a course of actions, then either fail or succeed and change the further order of execution of events (spectre).
[https://plato.stanford.edu/entries/frege/#FreLif] frege was saying that something should never be taken in isolation, but always within the context of a proposition
move away from aristotelian logic by making all subjects equal, in the sense that they’re always arguments to a predicate
it’s about LOGIK UBER ALLES, and that has somehow moved to the background?
BNR notation, in which there are things, and there are relations. opposite to BNR, which comes later
but he’s against freud’s dismissal of logic. he seems to like logic, but another “style” of logic
“In his Expertimental Medicine, in French so beautifully clear it set a style of writing, Claude Bernard described the way we push ahead with good experiments and required hypothesese” (A STYLE OF GROUNDING)
p. 25 leibniz, infinitesimal steps, maybe like the process in machine learning of taking small steps in one direction?
he says freud was wrong cause if we could remember everything we would have brains like an elephant—> computers do!
p. 31 “psychology would be a farce unless i really figure out how brains work”
wiener and cybernetics: it’s a big part about statistics and probablities
pitts: the means of input is already modifying it “Instead of the brain computing information digital neuron by digital neuron using the exacting implement of mathematical logic, messy, analog processes in the eye were doing at least part of the interpretive work.”
“This symbolic abstraction made the world transparent but the brain opaque. Once everything had been reduced to information governed by logic, the actual mechanics ceased to matter—the tradeoff for universal computation was ontology” (from the nautilus article)
https://search.proquest.com/openview/260e2fac83cc81510b4ec4d42f1b39bb/1?pq-origsite=gscholar&cbl=18750&diss=y thesis on the relationship between logic and parts of lit (literature of logic) (also borges… writers related to the stream/telecommunications?)
question: to what extent did literary theory/fiction influence ai development?
we have identified sources of scientific thought. what about fiction?
it’s possible that it didn’t happen, which then means that there might not be a mutual influence of these fields (i.e. science -> fiction)
the question then becomes: what is the nature of current developments, and how can we speculate it will change our perception/style/approach?
at the time of mccarthy, they weren’t often departments of CS, just departments of maths
3 approaches to AI:
This is to make it possible for the machine to simulate arbitrary behaviors and try them out.Thesebehaviorsmayberepresentedeitherbynervenets(Minsky1956),byTuringmachines(McCarthy1956),orbycalculatorprograms(Friedberg1958). from https://www.cs.rit.edu/~rlaz/files/mccarthy1959.pdf
Ai: The Tumultuous History Of The Search For Artificial Intelligence
science-fiction. Our minds, claims Minsky, are made up of a billion entities, which he calls “agents.” Individual agents are dumb and know only one function. They constantly monitor inflow from the senses or signals produced by other agents. They perform whatever action they are capable of upon recognition…
We are to thinking what the victorians were to sex
stories that were looked at: children’s stories [https://vivo.brown.edu/docs/e/echarnia_cv.pdf?dt=011415106] phd thesis eugene chiarnak 1972 (supervised by minsky) (+ wittgenstein and his ABC book)
move to frame matching with minsky
roger shank - https://en.wikipedia.org/wiki/Roger_Schank wrote some story-understanding prograns
mccarthy - beckett: the frame theory of knowledge vs. quad
claude shannon: thomas pynchon and thermodynamics link -> not that useful, perhaps periphery example? to read
turing: computing machinery and intelligence
The new problem has the advantage of drawing a fairly sharp line between the physical and the intellectual capacities of a man
The popular view that scientists proceed inexorably from well-established fact to well-established fact, never being influenced by any improved conjecture, is quite mistaken. Provided it is made clear which are proved facts and which are conjectures, no harm can result. Conjectures are of great importance since they suggest useful lines of research.
It seems to me that this criticism depends on a confusion between two kinds of mistake, We may call them “errors of functioning” and “errors of conclusion.” Errors of functioning are due to some mechanical or electrical fault which causes the machine to behave otherwise than it was designed to do. In philosophical discussions one likes to ignore the possibility of such errors; one is therefore discussing “abstract machines.” These abstract machines are mathematical fictions rather than physical objects.
Starting from the assumption that science and literature are isomorphic manifestations of a shared culture (Hayles 1987: 119–20), Hayles contrasts the different “economies of explanation” at work in Shannon and Barthes src