Changes

=====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=====