Changes

• [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4|Part 4]]

• [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4|Part 4]]

• [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]

• [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]

• [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]

• [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]

• [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]

• [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]

<p>Tell me where is fancy bred,<br>

<p>Tell me where is fancy bred,<br>

Or in the heart, or in the head?<br>

Or in the heart, or in the head?<br>

How begot, how nourished?<br>

How begot, how nourishèd?<br>

&hellip;<br>

&hellip;<br>

It is engendered in the eyes,<br>

It is engendered in the eyes,<br>

{| align="center" cellpadding="0" cellspacing="0" width="90%"

{| align="center" cellpadding="0" cellspacing="0" width="90%"

| width="20% | <math>D \Rightarrow B,</math>

| width="20%" | <math>D \Rightarrow B,</math>

| width="60% | "Thebes vs Phocis is war against neighbors".

| width="60%" | "Thebes vs Phocis is war against neighbors".

| width="20% | (Case)

| width="20%" | (Case)

|-

|-

| <math>D \Rightarrow A,</math>

| <math>D \Rightarrow A,</math>

{| align="center" cellpadding="0" cellspacing="0" width="90%"

{| align="center" cellpadding="0" cellspacing="0" width="90%"

| width="20% | <math>C \Rightarrow B,</math>

| width="20%" | <math>C \Rightarrow B,</math>

| width="60% | "Athens vs Thebes is war against neighbors".

| width="60%" | "Athens vs Thebes is war against neighbors".

| width="20% | (Case)

| width="20%" | (Case)

|-

|-

| <math>B \Rightarrow A,</math>

| <math>B \Rightarrow A,</math>

=====4.3.3.2. Inquiry=====

=====4.3.3.2. Inquiry=====

Returning to the &ldquo;Rainy Day&rdquo; story, we find our hero presented with a surprising Fact:

Returning to the "Rainy Day" story, we find our hero presented with a surprising Fact:

C => A, "in the Current situation the Air is cool". (Fact)

| width="20%" | <math>C \Rightarrow A,</math>

| width="60%" | "in the Current situation the Air is cool".

| width="20%" | (Fact)

Responding to an intellectual reflex of puzzlement about the situation, his resource of common knowledge about the world is impelled to seize on an approximate Rule:

Responding to an intellectual reflex of puzzlement about the situation, his resource of common knowledge about the world is impelled to seize on an approximate Rule:

B => A, "just Before it rains, the Air is cool". (Rule)

| width="20%" | <math>B \Rightarrow A,</math>

| width="60%" | "just Before it rains, the Air is cool".

| width="20%" | (Rule)

This Rule can be recognized as having a potential relevance to the situation because it matches the surprising Fact, C => A, in its consequential feature A.  All of this suggests that the present Case may be one in which it is just about to rain:

This Rule can be recognized as having a potential relevance to the situation because it matches the surprising Fact, <math>C \Rightarrow A,</math> in its consequential feature <math>A.\!</math> All of this suggests that the present Case may be one in which it is just about to rain:

C => B, "the Current situation is just Before it rains". (Case)

| width="20%" | <math>C \Rightarrow B,</math>

| width="60%" | "the Current situation is just Before it rains".

| width="20%" | (Case)

The whole mental performance, however automatic and semi conscious it may be, that leads up from a problematic Fact and a knowledge base of Rules to the plausible suggestion of a Case description, is what we are calling abductive inference.

The whole mental performance, however automatic and semi conscious it may be, that leads up from a problematic Fact and a knowledge base of Rules to the plausible suggestion of a Case description, is what we are calling abductive inference.

The next phase of inquiry uses deductive inference to expand the implied consequences of the abductive hypothesis, with the aim of testing its truth.  For this purpose, the inquirer needs to think of other things that would follow from the consequence of his precipitate explanation.  Thus, he now reflects on the Case just assumed:

The next phase of inquiry uses deductive inference to expand the implied consequences of the abductive hypothesis, with the aim of testing its truth.  For this purpose, the inquirer needs to think of other things that would follow from the consequence of his precipitate explanation.  Thus, he now reflects on the Case just assumed:

C => B, "the Current situation is just Before it rains". (Case)

| width="20%" | <math>C \Rightarrow B,</math>

| width="60%" | "the Current situation is just Before it rains".

| width="20%" | (Case)

He looks up to scan the sky, perhaps in a random search for further information, but since the sky is a logical place to look for details of an imminent rainstorm, symbolized in our story by the letter B, we may safely suppose that our reasoner has already detached the consequence of the abductive Case, C => B, and has begun to expand on its further implications.  So let us imagine that the up looker has a more deliberate purpose in mind, and that his search for new data is driven by the new found, determinate Rule:

He looks up to scan the sky, perhaps in a random search for further information, but since the sky is a logical place to look for details of an imminent rainstorm, symbolized in our story by the letter <math>B,\!</math> we may safely suppose that our reasoner has already detached the consequence of the abductive Case, <math>C \Rightarrow B,</math> and has begun to expand on its further implications.  So let us imagine that the up looker has a more deliberate purpose in mind, and that his search for new data is driven by the new found, determinate Rule:

B => D, "just Before it rains, Dark clouds appear". (Rule)

| width="20%" | <math>B \Rightarrow D,</math>

| width="60%" | "just Before it rains, Dark clouds appear".

| width="20%" | (Rule)

Contemplating the assumed Case in combination with this new Rule would lead him by an immediate deduction to predict an additional Fact:

Contemplating the assumed Case in combination with this new Rule would lead him by an immediate deduction to predict an additional Fact:

C => D, "in the Current situation Dark clouds appear". (Fact)

| width="20%" | <math>C \Rightarrow D,</math>

| width="60%" | "in the Current situation Dark clouds appear".

| width="20%" | (Fact)

The reconstructed picture of reasoning assembled in this second phase of inquiry is true to the pattern of deductive inference.

The reconstructed picture of reasoning assembled in this second phase of inquiry is true to the pattern of deductive inference.

Whatever the case, our subject observes a Dark cloud, just as he would expect on the basis of the new hypothesis.  The explanation of imminent rain removes the discrepancy between observations and expectations and thereby reduces the shock of surprise that made this inquiry necessary.

Whatever the case, our subject observes a Dark cloud, just as he would expect on the basis of the new hypothesis.  The explanation of imminent rain removes the discrepancy between observations and expectations and thereby reduces the shock of surprise that made this inquiry necessary.

====4.3.4. Details of Induction====

====4.3.4. Details of Induction====

To understand the relevance of inductive reasoning to the closing phases of inquiry there are a couple of observations we should make.  First, we need to recognize that smaller inquiries are woven into larger inquiries, whether we view the whole pattern of inquiry as carried on by single agents or complex communities.  Next, we need to consider three distinct ways in which particular instances of inquiry can relate to an ongoing inquiry at a larger scale.  These inductive modes of interaction between inquiries may be referred to as the learning, transfer, and testing of rules.

To understand the relevance of inductive reasoning to the closing phases of inquiry there are a couple of observations we should make.  First, we need to recognize that smaller inquiries are woven into larger inquiries, whether we view the whole pattern of inquiry as carried on by single agents or complex communities.  Next, we need to consider three distinct ways in which particular instances of inquiry can relate to an ongoing inquiry at a larger scale.  These inductive modes of interaction between inquiries may be referred to as the learning, transfer, and testing of rules.

Throughout inquiry the reasoner makes use of rules that have to be transported across intervals of experience, from masses of experience where they are learned to moments of experience where they are used.  Inductive reasoning is involved in the learning and transfer of these rules, both in accumulating a knowledge base and in carrying it through the times between acquisition and application.

Throughout inquiry the reasoner makes use of rules that have to be transported across intervals of experience, from masses of experience where they are learned to moments of experience where they are used.  Inductive reasoning is involved in the learning and transfer of these rules, both in accumulating a knowledge base and in carrying it through the times between acquisition and application.

Thus, the first way that induction contributes to an ongoing inquiry is through the learning of rules, that is, by creating each of the rules in the knowledge base that gets used along the way.  The second way is through the use of analogy, a two step combination of induction and deduction, to transfer rules from one context to another.  Finally, every inquiry making use of a knowledge base constitutes a "field test" of its accumulated contents.  If the knowledge base fails to serve any live inquiry in a satisfactory manner, then there may be reason to reconsider some of its rules.

Thus, the first way that induction contributes to an ongoing inquiry is through the learning of rules, that is, by creating each of the rules in the knowledge base that gets used along the way.  The second way is through the use of analogy, a two step combination of induction and deduction, to transfer rules from one context to another.  Finally, every inquiry making use of a knowledge base constitutes a &ldquo;field test&rdquo; of its accumulated contents.  If the knowledge base fails to serve any live inquiry in a satisfactory manner, then there may be reason to reconsider some of its rules.

I will now detail how these principles of learning, transfer, and testing apply to the "Rainy Day" example.

I will now detail how these principles of learning, transfer, and testing apply to the ''Rainy Day'' example.

=====4.3.4.1. Learning=====

=====4.3.4.1. Learning=====

Rules in a knowledge base, as far as their effective content goes, can be obtained by any mode of inference.  For example, consider a proposition like the following:

Rules in a knowledge base, as far as their effective content goes, can be obtained by any mode of inference.  For example, a rule like

B => A, "just Before it rains, the Air is cool",

| width="20%" | <math>B \Rightarrow A,</math>

| width="60%" | "just Before it rains, the Air is cool".

is usually induced from a consideration of many past events, as follows.

Such a proposition is usually induced from a consideration of many past events, as follows.

C => B, "in Certain events, it is just Before it rains". (Case)

 

| width="20%" | <math>C \Rightarrow B,</math>

C => A, "in Certain events, the Air is cool". (Fact)

| width="60%" | "in Certain events, it is just Before it rains".

 

| width="20%" | (Case)

B => A, "just Before it rains, the Air is cool". (Rule)

| <math>C \Rightarrow A,</math>

| "in Certain events, the Air is cool".

| (Fact)

| <math>B \Rightarrow A,</math>

| "just Before it rains, the Air is cool".

| (Rule)

However, the same proposition could also be abduced as an explanation of a singular occurrence or deduced as a conclusion of a prior theory.

However, the same proposition could also be abduced as an explanation of a singular occurrence or deduced as a conclusion of a prior theory.

=====4.3.4.2. Transfer=====

=====4.3.4.2. Transfer=====

What really gives a distinctively inductive character to the acquisition of a knowledge base is the "analogy of experience" that underlies its useful application.  Whenever we find ourselves prefacing an argument with the phrase, &ldquo;If past experience is any guide&nbsp;&hellip;&nbsp;&rdquo; we can be sure this principle has come into play.  We are invoking an analogy between past experience, considered as a totality, and present experience, considered as a point of application.  What we mean in practice is this:  &ldquo;If past experience is a fair sample of possible experience, then the knowledge gained in it applies to present experience.&rdquo; This is the mechanism that allows a knowledge base to be carried across gulfs of experience that are indifferent to the effective contents of its rules.

What really gives a distinctively inductive character to the acquisition of a knowledge base is the "analogy of experience" that underlies its useful application.  Whenever we find ourselves prefacing an argument with the phrase "If past experience is any guide ... " we can be sure this principle has come into play.  We are invoking an analogy between past experience, considered as a totality, and present experience, considered as a point of application.  What we mean in practice is this:  "If past experience is a fair sample of possible experience, then the knowledge gained in it applies to present experience." This is the mechanism that allows a knowledge base to be carried across gulfs of experience that are indifferent to the effective contents of its rules.

Here are the details of how this works out in the "Rainy Day" example.  Let us consider a fragment K of the reasoner's knowledge base that is logically equivalent to the conjunction of two rules.

Here are the details of how this works out in the ''Rainy Day'' example.  Let us consider a fragment <math>K\!</math> of the reasoner's knowledge base that is logically equivalent to the conjunction of two rules.

K =  (B => A) and (B => D).

| <math>K \Leftrightarrow (B \Rightarrow A) \land (B \Rightarrow D).</math>

It is convenient to have the option of expressing all logical statements in terms of their models, that is, in terms of the primitive circumstances or the elements of experience over which they hold true.  Let C be a chosen set of experiences, or the circumstances we have in mind when we refer to "past experience".  Let C+ be a collective set of experiences, or the projective total of possible circumstances.  Let C be a current experience, or the circumstances present to the reasoner.  If we think of the knowledge base K as referring to the "regime of experience" over which it is valid, then all of these sets of models can be compared by simple relations of set inclusion or logical implication.

It is convenient to have the option of expressing all logical statements in terms of their models, that is, in terms of the primitive circumstances or the elements of experience over which they hold true.  Let <math>C^-\!</math> be a chosen set of experiences, or the circumstances we have in mind when we refer to "past experience".  Let <math>C^+\!</math> be a collective set of experiences, or the projective total of possible circumstances.  Let <math>C\!</math> be a current experience, or the circumstances present to the reasoner.  If we think of the knowledge base <math>K\!</math> as referring to the "regime of experience" over which it is valid, then all of these sets of models can be compared by simple relations of set inclusion or logical implication.

In these terms, the "analogy of experience" proceeds by inducing a Rule about the validity of a current knowlege base and then deducing its applicability to a current experience.

In these terms, the "analogy of experience" proceeds by inducing a Rule about the validity of a current knowledge base and then deducing its applicability to a current experience.

C- => C+, "Chosen events fairly sample Collective events". (Case)

 

| width="20%" | <math>C^- \Rightarrow C^+,</math>

C- => K, "Chosen events support the Knowledge regime". (Fact)

| width="60%" | "Chosen events fairly sample Collective events".

 

| width="20%" | (Case)

C+ => K, "Collective events support the Knowledge regime". (Rule)

 

| <math>C^- \Rightarrow K,</math>

C => C+, "Current events fairly sample Collective events". (Case)

| "Chosen events support the Knowledge regime".

 

| (Fact)

C => K, "Current events support the Knowledge regime". (Fact)

| <math>C^+ \Rightarrow K,</math>

| "Collective events support the Knowledge regime".

| (Rule)

| <math>C \Rightarrow C^+,</math>

| "Current events fairly sample Collective events".

| (Case)

| <math>C \Rightarrow K,</math>

| "Collective events support the Knowledge regime".

| (Fact)

=====4.3.4.3. Testing=====

=====4.3.4.3. Testing=====

If the observer looks up and does not see dark clouds, or if he runs for shelter but it does not rain, then there is fresh occasion to question the validity of his knowledge base.

If the observer looks up and does not see dark clouds, or if he runs for shelter but it does not rain, then there is fresh occasion to question the validity of his knowledge base.

====4.3.5. The Stages of Inquiry====

====4.3.5. The Stages of Inquiry====

&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4|Part 4]]

&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4|Part 4]]

&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]

&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]

&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]

&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]

&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]

&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]

</div>

</div>

----

----

[[Category:Artificial Intelligence]]

[[Category:Artificial Intelligence]]