Failure-driven learning as model-based self-redesign
Eleni Stroulia · UPT. Syiah Kuala University Library (Syiah Kuala University) · 1994
input args: (D-SUBSTANCE-CONCEPT D-SUBSTANCE-CONCEPT) predicate: (LAMBDA (X Y) (OR (EQUAL (SLOT-VALUE X (QUOTE NAME)) (SLOT-VALUE Y (QUOTE NAME))) (MEMBER (SLOT-VALUE Y (QUOTE NAME)) (SUBSTANCE-SPECIALIZATIONS (SLOT-VALUE X (QUOTE NAME)))))) name: LESS-ABSTRACT input args: (D-SUBSTANCE-CONCEPT D-SUBSTANCE-CONCEPT) predicate: (LAMBDA (X Y) (OR (EQUAL (SLOT-VALUE X (QUOTE NAME)) (SLOT-VALUE Y (QUOTE NAME))) (MEMBER (SLOT-VALUE X (QUOTE NAME)) (SUBSTANCE-SPECIALIZATIONS (SLOT-VALUE Y (QUOTE NAME)))))) name: ROOT-SPECIALIZATION input args: (D-MEMORY-ROOT D-PROPERTY) output args: (LIST-OF D-MEMORY-NODE) truth table: ROOT-SPECIALIZATION-RELATION indexing relation: T name: NODE-SPECIALIZATION input args: (D-MEMORY-NODE D-VALUE) output args: (LIST-OF D-MEMORY-NODE) truth table: NODE-SPECIALIZATION-RELATION indexing relation: T name: VALUE-SPECIALIZATION input args: (D-VALUE) output args: (LIST-OF D-VALUE) truth table: VALUE-SPECIALIZATION-RELATION name: INDEXING input args: (D-MEMORY-NODE) out...