Inquiry Driven Systems


	I put down the cup and turn to my mind. It is up to my mind to find the truth. But how? What grave uncertainty, whenever the mind feels overtaken by itself; when it, the seeker, is also the obscure country where it must seek and where all its baggage will be nothing to it. Seek? Not only that: create. It is face to face with something that does not yet exist and that only it can accomplish, and bring into its light.
	— Marcel Proust, In Search of Lost Time, [Pro, 1.48]

1. Introduction

1.1. Outline of the Project : Inquiry Into Inquiry

1.1.1. Problem

1.1.2. Method

1.1.2.1. The Paradigmatic and Process-Analytic Phase

1.1.2.2. The Paraphrastic and Faculty-Synthetic Phase

1.1.2.3. Reprise of Methods

1.1.3. Criterion

1.1.4. Application

1.2. Onus of the Project : No Way But Inquiry

1.2.1. A Modulating Prelude

1.2.2. A Fugitive Canon

1.3. Option of the Project : A Way Up To Inquiry

1.3.1. Initial Analysis of Inquiry : Allegro Aperto

1.3.2. Discussion of Discussion

1.3.3. Discussion of Formalization : General Topics

1.3.3.1. A Formal Charge

1.3.3.2. A Formalization of Formalization?

1.3.3.3. A Formalization of Discussion?

1.3.3.4. A Concept of Formalization

1.3.3.5. A Formal Approach

1.3.3.6. A Formal Development

1.3.3.7. A Formal Persuasion

1.3.4. Discussion of Formalization : Concrete Examples

1.3.4.1. Formal Models : A Sketch

1.3.4.2. Sign Relations : A Primer

1.3.4.3. Semiotic Equivalence Relations

1.3.4.4. Graphical Representations

1.3.4.5. Taking Stock

1.3.4.6. The "Meta" Question

1.3.4.7. Iconic Signs

1.3.4.8. The Conflict of Interpretations

1.3.4.9. Indexical Signs

1.3.4.10. Sundry Problems

1.3.4.11. Review and Prospect

1.3.4.12. Objective Plans and Levels

1.3.4.13. Formalization of OF : Objective Levels

1.3.4.14. Application of OF : Generic Level

1.3.4.15. Application of OF : Motive Level

1.3.4.16. The Integration of Frameworks

1.3.4.17. Recapitulation : A Brush with Symbols

1.3.4.18. C'est Moi

1.3.4.19. Entr'acte

1.3.5. Discussion of Formalization : Specific Objects

1.3.5.2. The Forms of Reasoning

1.3.5.3. A Fork in the Road

1.3.5.4. A Forged Bond

1.3.5.5. A Formal Account

1.3.5.6. Analogs, Icons, Models, Surrogates

1.3.5.7. Steps and Tests of Formalization

1.3.5.8. The Referee

1.3.5.9. Partial Formalizations

1.3.5.10. A Formal Utility

1.3.5.11. A Formal Aesthetic

1.3.5.12. A Formal Apology

1.3.5.13. A Formal Suspicion

1.3.5.14. The Double Aspect of Concepts

1.3.5.15. A Formal Permission

1.3.5.16. A Formal Invention

1.3.6. Recursion in Perpetuity

1.3.7. Processus, Regressus, Progressus

1.3.8. Rondeau : Tempo di Menuetto

2. Part 2

2.1. Reconnaissance

2.1.1. The Informal Context

2.1.2. The Epitext

2.1.3. The Formative Tension

2.2. Recurring Themes

2.2.1. Preliminary Notions

2.2.2. Intermediary Notions

2.2.3. Propositions and Sentences

2.2.4. Empirical Types and Rational Types

2.2.5. Articulate Sentences

2.2.6. Stretching Principles

2.2.7. Stretching Operations

2.3. The Cactus Patch

2.3.1. The Cactus Language : Syntax

Grammar 1

Grammar 2

Grammar 3

Grammar 4

Grammar 5

2.3.2. Generalities About Formal Grammars

2.3.3. The Cactus Language : Stylistics

2.3.4. The Cactus Language : Mechanics

2.3.5. The Cactus Language : Semantics

2.3.6. Stretching Exercises

2.4. Syntactic Transformations

2.4.1. Syntactic Transformation Rules

2.4.2. Derived Equivalence Relations

2.4.3. Digression on Derived Relations

3. Outlook of the Project : All Ways Lead to Inquiry

3.1. The Matrix of Inquiry

References

Aristotle, "On The Soul", in Aristotle, Volume 8, W.S. Hett (trans.), William Heinemann, London, UK, 1936, 1986.

Charniak, E., and McDermott, D.V. (1985), Introduction to Artificial Intelligence, Addison-Wesley, Reading, MA.

Charniak, E., Riesbeck, C.K., and McDermott, D.V. (1980), Artificial Intelligence Programming, Lawrence Erlbaum Associates, Hillsdale, NJ.

Dewey, John (1910/1991), How We Think, Prometheus Books, Buffalo, NY. Originally published 1910.

Holland, J.H., Holyoak, K.J., Nisbett, R.E., and Thagard, P.R. (1986), Induction : Processes of Inference, Learning, and Discovery, MIT Press, Cambridge, MA.

O'Rorke, P. (1990), "Review of AAAI 1990 Spring Symposium on Automated Abduction", SIGART Bulletin, Vol. 1, No. 3, ACM Press, October 1990, pp. 12–17.

Pearl, J. (1991), Probabilistic Reasoning in Intelligent Systems : Networks of Plausible Inference, Revised 2nd printing, Morgan Kaufmann, San Mateo, CA.

Peng, Y., and Reggia, J.A. (1990), Abductive Inference Models for Diagnostic Problem-Solving, Springer-Verlag, New York, NY.

Proust, Marcel (1913–1927), In Search of Lost Time, Christopher Prendergast (general editor), Penguin Books, London, UK, 2002, 6 volumes:

The Way by Swann's (1913), Lydia Davis (trans.)
In the Shadow of Young Girls in Flower (1919), James Grieve (trans.)
The Guermantes Way (1920–1921), Mark Treharne (trans.)
Sodom and Gomorrah (1921–1922), John Sturrock (trans.)
The Prisoner (1923), Carol Clark (trans.)
The Fugitive (1925), Peter Collier (trans.)
Finding Time Again (1927), Ian Patterson (trans.)

Shakespeare, William (1988), William Shakespeare : The Complete Works, Compact Edition, S. Wells and G. Taylor (eds.), Oxford University Press, Oxford, UK.

Sowa, J.F. (1984), Conceptual Structures : Information Processing in Mind and Machine, Addison-Wesley, Reading, MA.

Sowa, J.F. (ed., 1991), Principles of Semantic Networks : Explorations in the Representation of Knowledge, Morgan Kaufmann, San Mateo, CA.

Document History

Title:	Inquiry Driven Systems : An Inquiry Into Inquiry
Author:	Jon Awbrey
Revised:	May-Jun 2004	Draft 11.00	Inquiry List: 1 2 3
Revised:	14 Apr 2004	Draft 10.04
Revised:	07 Apr 2003	Draft 10.01
Revised:	02 Mar 2003	Draft 10.00
Revised:	23 Jun 2002	Draft 8.76
Revised:	10 Jun 2002	Draft 8.75
Revised:	06 Jan 2002	Draft 8.70
Revised:	26 Nov 2001	Draft 8.63	Arisbe List, SUO List
Revised:	08 Jan 2001	Draft 8b
Revised:	30 Jun 2000	Draft 8.2	Arisbe Site: 1
Revised:	11 Feb 2000	Draft 8a
Revised:	01 Oct 1999	Draft 7e
Revised:	23 Jun 1999	Draft 7b
Created:	23 Jun 1996
Advisor:	M.A. Zohdy
Setting:	Oakland University, Rochester, Michigan, USA