Titlebook: Knowledge Representation and Relation Nets; Aletta E. Geldenhuys,Hendrik O. Rooyen,Franz Stett Book 1999 Springer Science+Business Media N

就職

因無(wú)茶而冷淡

朝圣者

An Example of Structural Analogyoperties, and some simple theorems, of a group, showing, in the process, how some of this data can be isomorphically abstracted from the “common ground” of the displacements and triples structures. We then show how a CRKS can be used to display each of three simple proofs in group theory.

Abrupt

宣誓書(shū)

Carminative

Offset

Knowledge Structures learning appears when we introduce derivation path Schemas and predecessor schemas for concept-names in a CRKS. To close, we introduce the formal notion of a cluster. This plays a key role in the formalization of analogical reasoning, which is dealt with in later chapters.

厚臉皮

植物茂盛

Accommodations and Analogy mention cluster accommodations. Next we introduce the notion of structural analogy, which is formalized in terms of CNR-net isomorphism. We then briefly discuss modelling and reasoning by analogy, to which we will return in the next two chapters, and give an example based on a context-free grammar.

photophobia