Мамандану (логика) - Specialization (logic)

Мамандану, (немесе мамандандыру) генерациялаудың маңызды тәсілі болып табылады пропозициялық білім сияқты жалпы білімді қолдану арқылы тартылыс теориясы, мысалы, «мен бұл алманы босатқанда, ол еденге құлайды» сияқты нақты жағдайларға. Мамандану керісінше жалпылау.

B тұжырымдамасы - а мамандандыру А тұжырымдамасы, егер және:

  • В тұжырымдамасының кез-келген данасы сонымен қатар А тұжырымдамасының данасы болып табылады; және
  • А тұжырымдамасының В даналары болып табылмайтын даналары бар.

Сондай-ақ қараңыз