
doi: 10.1007/bf00289505
The author's inquiry [1] on learning systems is generalized in the following respects: The process of learning, instead of coming to an end when the learning goal has been reached, is supposed to last for ever, so that the above "definitive" learning as well as phenomena such as forgetting, re-learning, changing the goal etc. become describable. We take over the notion of semi-uniform solvability of a set Γ of learning problems (2.2), but now (trivial cases excluded) the whole capacity of a learning system is never s. u. solvable. Finite such sets Γ are. The notion of a solving-basis of some Γ is introduced and we can state necessary conditions that Γ possess such a basis (2.14), so that examples of sets Γ without a basis can be provided. On the other hand, any s. u. solvable Γ has as basis. The notion of uniform solvability (3.1) reinforces that of s. u. solvability, and there are given sufficient conditions for Γ to be uniformly solvable (3.6). In some "finite cases", s. u. solvability, existence of a basis and uniform solvability coincide (3.7---3.9). At last we give the construction for the weakest learning system solving a uniformly solvable problem set (3.12---3.19).
Theorem proving (deduction, resolution, etc.)
Theorem proving (deduction, resolution, etc.)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
