# Tag Archives: Cactus Graphs

## Theme One Program • Motivation 3

Sometime around 1970 John B. Eulenberg came from Stanford to direct Michigan State’s Artificial Language Lab, where I would come to spend many interesting hours hanging out all through the 70s and 80s.  Along with its research program the lab … Continue reading

## Theme One Program • Motivation 2

A side-effect of working on the Theme One program over the course of a decade was the measure of insight it gave me into the reasons why empiricists and rationalists have so much trouble understanding each other, even when those … Continue reading

## Theme One Program • Motivation 1

The main idea behind the Theme One program is the efficient use of graph-theoretic data structures for the tasks of “learning” and “reasoning”. I am thinking of learning in the sense of learning about an environment, in essence, gaining information about … Continue reading

## Theme One Program • Discussion 9

Re: Theme One Program • Exposition (1) (2) (3) (4) (5) Re: Theme One Program • Discussion (7) (8) Re: Ontolog Forum • Alex Shkotin (1) (2) (3) Dear Alex, I know the material on sign relations I’ve been posting … Continue reading

## Theme One Program • Discussion 8

Re: Theme One Program • Exposition (1) (2) (3) (4) Re: Theme One Program • Discussion (7) Re: Ontolog Forum • Alex Shkotin (1) (2) Re: Logical Graphs • Animated Proofs AS: The animation is mesmerizing:  I would watch and … Continue reading

## Theme One Program • Discussion 7

Re: Theme One Program • Exposition (1) (2) (3) (4) Re: Ontolog Forum • Alex Shkotin AS: As we both like digraphs and looking at your way of rendering, let me share my lazy way of using Graphviz on one … Continue reading

## Theme One Program • Exposition 5

Lexical, Literal, Logical Theme One puts cactus graphs to work in three distinct but related ways, called lexical, literal, and logical applications.  The three modes of operation employ three distinct but overlapping subsets of the broader species of cacti.  Accordingly we … Continue reading

## Theme One Program • Exposition 4

Parsing Logical Graphs It is possible to write a program that parses cactus expressions into reasonable facsimiles of cactus graphs as pointer structures in computer memory, making edges correspond to addresses and nodes correspond to records.  I did just that … Continue reading

## Theme One Program • Exposition 3

Coding Logical Graphs My earliest experiments coding logical graphs as dynamic “pointer” data structures taught me that conceptual and computational efficiencies of a critical sort could be achieved by generalizing their abstract graphs from trees to the variety graph theorists … Continue reading

## Theme One Program • Exposition 2

The previous post described the elementary data structure used to represent nodes of graphs in the Theme One program.  This post describes the specific family of graphs employed by the program. Painted And Rooted Cacti Figure 1 shows a typical example … Continue reading