This is a Survey of work in progress on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject.

An inquiry driven system is a system having among its state variables some representing its state of information with respect to various questions of interest, for example, its own state and the states of potential object systems. Thus it has a component of state tracing atrajectory though an information state space.

Elements

• Prospects for Inquiry Driven Systems
• Introduction to Inquiry Driven Systems

Background

• Functional Logic ? Inquiry and Analogy
• Functional Logic ? Quantification Theory
• Functional Logic ? Higher Order Propositions

Blog Dialogs

• Inquiry Driven Systems

• Comments ? (1) ? (2) ? (3) ? (4) ? (5) ? (6)
• Discussions ? (1) ? (2) ? (3) ? (4) ? (5) ? (6) ? (7) ? (8) ? (9)

• Inquiry Into Inquiry

• On Balance