12,080
edits
Changes
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems (view source)
Revision as of 18:42, 9 January 2008
, 18:42, 9 January 2008→1.2. Hodos : Methods, Media, and Middle Courses: segment
the sign domain or it may construct functions from the sign domain to ranges
the sign domain or it may construct functions from the sign domain to ranges
of qualitative meaning or quantitative measure.
of qualitative meaning or quantitative measure.
</pre>
1.2.1 Functions of Observation
====1.2.1. Functions of Observation====
<pre>
An observation preserved in a permanent record marks the transience of a certain
An observation preserved in a permanent record marks the transience of a certain
compound event, the one that an observational account creates in conjunction
compound event, the one that an observational account creates in conjunction
such models. An off-the-shelf facility for categorical computing would of
such models. An off-the-shelf facility for categorical computing would of
course have many other uses in theoretical and applied mathematics.
course have many other uses in theoretical and applied mathematics.
</pre>
1.2.1.1 Observation and Action
=====1.2.1.1 Observation and Action=====
<pre>
It seems clear that observations are a special type of action, and that actions
It seems clear that observations are a special type of action, and that actions
are a special type of observable event. At least, actions are events that may
are a special type of observable event. At least, actions are events that may
scatter peripherally, resolving into simple elements that distinctively belong
scatter peripherally, resolving into simple elements that distinctively belong
to one category or another.
to one category or another.
</pre>
1.2.1.2 Observation and Observables
=====1.2.1.2. Observation and Observables=====
<pre>
Independently of their distinctness as categories, what is the relation of the
Independently of their distinctness as categories, what is the relation of the
observing and the observable as roles played out in the theater of observation?
observing and the observable as roles played out in the theater of observation?
logical part that represents the elementary reception and pure contingency of
logical part that represents the elementary reception and pure contingency of
simply noting without altering what's under one's nose (or read head).
simply noting without altering what's under one's nose (or read head).
</pre>
1.2.1.3 Observation and Interpretation
=====1.2.1.3. Observation and Interpretation=====
<pre>
The foregoing discussion of observation and observables seems like such a
The foregoing discussion of observation and observables seems like such a
useless exercise in hair-splitting that a forward declaration of its eventual
useless exercise in hair-splitting that a forward declaration of its eventual
between observation and interpretation will no doubt continue to arise in the
between observation and interpretation will no doubt continue to arise in the
synthesis of physical and intelligent dynamics.
synthesis of physical and intelligent dynamics.
</pre>
1.2.2 Symbolic Media
====1.2.2. Symbolic Media====
<pre>
A critical transition in the development of a system is reached when components
A critical transition in the development of a system is reached when components
of state are set aside internally or assimilated from the environment to make
of state are set aside internally or assimilated from the environment to make
accumulates all the words coined and spent on sights and deeds? What mint
accumulates all the words coined and spent on sights and deeds? What mint
guarantees the content and determines the form of their first impressions?
guarantees the content and determines the form of their first impressions?
</pre>
1.2.2.1 Papyrus, Parchment, Palimpsest
=====1.2.2.1. Papyrus, Parchment, Palimpsest=====
<pre>
Starting from the standpoint of systems theory a sizable handicap must be
Starting from the standpoint of systems theory a sizable handicap must be
overcome in the quest to figure out: "What's in the brain that ink may
overcome in the quest to figure out: "What's in the brain that ink may
insight. It looks like another one of those problem areas that will need to be
insight. It looks like another one of those problem areas that will need to be
revisited on the way to integrating AI and systems theory.
revisited on the way to integrating AI and systems theory.
</pre>
1.2.2.2 Statements, Questions, Commands
=====1.2.2.2. Statements, Questions, Commands=====
<pre>
When signs are created that can be placed in reliable association with the
When signs are created that can be placed in reliable association with the
results of observations and the onsets of actions, these signs are said to
results of observations and the onsets of actions, these signs are said to
one: What character in the dynamics of a system would cause it to be called a
one: What character in the dynamics of a system would cause it to be called a
sign-using system, one that acts as an interpreter in a non-trivial sense?
sign-using system, one that acts as an interpreter in a non-trivial sense?
</pre>
1.2.2.3 Pragmatic Theory of Signs
=====1.2.2.3. Pragmatic Theory of Signs=====
<pre>
The theory of signs that I find most useful was developed
The theory of signs that I find most useful was developed
over several decades in the last century by C.S. Peirce,
over several decades in the last century by C.S. Peirce,
more complex constructions that are accessible from the moving platforms
more complex constructions that are accessible from the moving platforms
of these tangent spaces.
of these tangent spaces.
</pre>
1.2.3 Architecture of Inquiry
====1.2.3. Architecture of Inquiry====
<pre>
The outlines of one important landmark can already be seen from this station.
The outlines of one important landmark can already be seen from this station.
It is the architecture of inquiry, in the style traced out by C.S. Peirce and
It is the architecture of inquiry, in the style traced out by C.S. Peirce and
intelligence and knowledge in analogy with system attributes like momentum and
intelligence and knowledge in analogy with system attributes like momentum and
frequency may turn out to be based on deeply common principles.
frequency may turn out to be based on deeply common principles.
</pre>
1.2.3.1 Inquiry Driven Systems
=====1.2.3.1. Inquiry Driven Systems=====
<pre>
One goal of this work is to develop a formalism adequate to the description of
One goal of this work is to develop a formalism adequate to the description of
knowledge-oriented inquiry-driven systems in logical and differential terms, to
knowledge-oriented inquiry-driven systems in logical and differential terms, to
From these uses of images two kinds of differences crop up in the process of
From these uses of images two kinds of differences crop up in the process of
inquiry.
inquiry.
</pre>
1.2.3.2 Surprises to Explain
=====1.2.3.2. Surprises to Explain=====
<pre>
One of the uses of a knowledge base is to support the generation of
One of the uses of a knowledge base is to support the generation of
expectations. In return, one of the inputs to the operators which edit and
expectations. In return, one of the inputs to the operators which edit and
system would have to detail this relation between states of uncertainty and
system would have to detail this relation between states of uncertainty and
resultant actions.
resultant actions.
</pre>
1.2.3.3 Problems to Resolve
=====1.2.3.3. Problems to Resolve=====
<pre>
Since a system's determination of its own goals is a special case of knowledge
Since a system's determination of its own goals is a special case of knowledge
in general, it is convenient to allocate a place for this kind of information in
in general, it is convenient to allocate a place for this kind of information in
difference between its active intentions and the observations that record actual
difference between its active intentions and the observations that record actual
conditions.
conditions.
</pre>
1.2.4 Simple Minded Systems
====1.2.4. Simple Minded Systems====
<pre>
Of course, not every total manifold need have a nice factorization. It might be
Of course, not every total manifold need have a nice factorization. It might be
thought to dispense with such spaces immediately, to put them aside as not being
thought to dispense with such spaces immediately, to put them aside as not being
error-controlled feedback process that allows a system to converge gradually
error-controlled feedback process that allows a system to converge gradually
upon the goals of knowledge.
upon the goals of knowledge.
</pre>
1.3 Telos: Horizons and Further Applications
===1.3. Telos : Horizons and Further Applications===
<pre>
In its etymology, intelligence suggests a capacity that contains its goal
In its etymology, intelligence suggests a capacity that contains its goal
(telos) within itself. Of course, it does not initially grasp that for which it
(telos) within itself. Of course, it does not initially grasp that for which it