Schema-based transformational systems maintain a library of logic program schemata which capture large classes of logic programs. One of the shortcomings of schema-based transformation approaches is their reliance on a large (possibly incomplete) set of logic program schemata that is required in order to capture all of the minor syntactic differences between semantically similar logic programs....

vii 1 Representing Structured Information 1 1.1 Semantic Networks and Frame Based Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Description Logics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Semantic Data Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.4 Object-Oriented Data Models . ....

Während der Literaturrecherche für Haus-, Bachelor- und Masterarbeiten, aber auch im privaten Umfeld, hat man es heutzutage mit einer Vielzahl von Informationsquellen unterschiedlicher Qualität zu tun. Gleichzeitig ist schwer alle Quellen auf Authentizität Seriosität beurteilen können. Dabei kann CRAAP-Test helfen. Es gibt Schemata Kriterien, anhand derer sich die Quelle schnell lässt. Mit oder...

The Constructive Genetic Algorithm (CGA) was proposed by Lorena and Furtado [6], as an alternative to the traditional GAs approach. Particularly the CGA directly evaluates schemata, works with a dynamic population size, performs mutation in complete structures, and uses heuristics in schemata and/or structure representation. The schemata are evaluated and can be added to the population if they ...

We analyze the schema theorem and the building block hypothesis using a recently derived, exact schemata evolution equation. We derive a new schema theorem based on the concept of effective fitness showing that schemata of higher than average effective fitness receive an exponentially increasing number of trials over time. The building block hypothesis is a natural consequence in that the equat...