[Inquiry] Prospects for Inquiry Driven Systems

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

PRO.  Note 1

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Prospects for Inquiry Driven Systems

Abstract

Description of Current and Proposed Work

1.  Background

Rudiments and Horizons

1.1.  Topos:  Rudiments and Immediate Resources
1.1.1.  Systematic Inquiry
1.1.2.  Intelligence, Knowledge, Execution
1.1.2.1.  Vector Field and Control System
1.1.2.2.  Fields of Information and Knowledge
1.1.2.3.  The Trees and The Forest
1.1.3.  Reality and Representation
1.1.3.1.  Levels of Analysis
1.1.3.2. Base Space and Free Space
1.1.3.3.  Unabridgements
1.1.4.  Components of Intelligence
1.1.4.1.  Imagination
1.1.4.2.  Remembrance

1.2.  Hodos:  Methods, Media, and Middle Courses
1.2.1.  Functions of Observation
1.2.1.1.  Observation and Action
1.2.1.2.  Observation and Observables
1.2.1.3.  Observation and Interpretation
1.2.2.  Symbolic Media
1.2.2.1.  Papyrus, Parchment, Palimpsest
1.2.2.2.  Statements, Questions, Commands
1.2.2.3.  Pragmatic Theory of Signs
1.2.3.  Architecture of Inquiry
1.2.3.1.  Inquiry Driven Systems
1.2.3.2.  Surprises to Explain
1.2.3.3.  Problems to Resolve
1.2.4.  Simple Minded Systems

1.3.  Telos:  Horizons and Further Applications
1.3.1.  Logic, Ethics, Esthetics
1.3.2.  Inquiry and Education
1.3.3.  Cognitive Science
1.3.4.  Philosophy of Science

2.  Conceptual Framework

2.1.  Systems Theory and Artificial Intelligence

2.2.  Differential Geometry and Logic Programming
2.2.1.  Differences and Difficulties
2.2.1.1.  Distance and Direction
2.2.1.2.  Topology and Metric
2.2.1.3.  Relevant Measures
2.2.2.  Logic with a Difference

2.3.  Differential Calculus of Propositions
2.3.1.  Propositions and Differences
2.3.2.  Three Part Analogy
2.3.2.1.  Functional Representation
2.3.2.2.  Characteristic Relation
2.3.2.3.  Indicative Conversion
2.3.3.  Pragmatic Roles
2.3.3.1.  Flexible Roles and Suitable Models
2.3.3.2.  Functional Pragmatism
2.3.4.  Abstraction, Behavior, Consequence
2.3.4.1.  Axiomatic Abstraction
2.3.4.2.  Behavioral Coordination
2.3.4.3.  Consequential Definition
2.3.5.  Refrain

2.4.  Logic Programming
2.4.1.  Differential Aspects
2.4.2.  Algebraic Aspects

2.5.  Differential Geometry
2.5.1.  Local Stress and Linear Trend
2.5.1.1.  Analytic View
2.5.1.2.  Algebraic View
2.5.1.3.  Compromise
2.5.2.  Prospects for Differential Logic

2.6.  Reprise

References and Bibliography

| Author:   Jon Awbrey <jawbrey at oakland.edu>
| Version:  Track 4 Draft 7.00
| Created:  12 Nov 1991
| Relayed:  01 Sep 1992
| Revised:  11 Mar 2003
| Setting:  Oakland University, Rochester, Michigan, USA

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o