1.Постановка завдання.
Управління здійснюється апаратом, що включає менеджерів різного рівня управління. Вища ланка управління включає: генерального директора і головних фахівців (гол. конструктор, гол. Технолог). Середня ланка управління включає: начальників цехів і відділів. Нижча ланка: майстри, бригадири і т.д.
Розподіл повноважень, відповідальності та обов'язків між менеджерами різного рівня може бути наступним:
Вищі менеджери:
визначення мети;
формування організаційної структури;
підбір кадрів середнього рівня;
Менеджери середнього рівня:
планування робіт;
підбір кадрів нижчого рівня.
Менеджери нижчого рівня:
організація робіт;
розподіл виробничих завдань.
Робітники виконують роботу, за що їм виплачується премія з прибутку.
2.Опісаніе предметної області.
Менеджер має табельний номер, прізвище, ім'я, по батькові. Менеджер вищого рівня є менеджером і має високий рівень управління. Менеджер середнього рівня є менеджером і має середній рівень управління. Менеджер нижчого рівня є менеджером і має нижчий рівень управління.
Генеральний директор має особистий рахунок і є менеджером вищого рівня.
Головний конструктор має конструкторське бюро і є менеджером вищого рівня.
Головний технолог має технічний відділ і є менеджером вищого рівня.
Начальник цеху має цех і є менеджером середнього рівня.
Начальник відділу має відділ і є менеджером середнього рівня.
Майстер має ділянку і є менеджером нижчого рівня.
Бригадир має бригаду і є менеджером нижчого рівня.
Менеджер вищого рівня підбирає менеджера середнього рівня. Менеджер середнього рівня підбирає менеджера нижчого рівня.
Менеджер вищого рівня:
-Розподіляє прибуток
-Визначає мету
Менеджер нижчого рівня планує роботу.
Менеджер нижчого рівня:
-Організовує роботу;
-Розподіляє виробниче завдання.
Робочий має П.І.Б.
Робочий має номер цеху
Робочий:
-Отримує премію;
-Виконує роботу.
Премія виплачується з прибутку.
Виробниче завдання обумовлює роботу.
3. Перехід від опису предметної області до семантичної мережі
Вершини в семантичній мережі показують об'єкт предметної області, концепт, ситуацію, а дуги - це відношення між ними.
Пропозиція з предметної області:
Менеджер нижчого рівня:
-Організовує роботу;
-Розподіляє виробниче завдання,
У даному випадку Менеджер нижчого рівня є агентом (ініціатор дії), а робота і виробниче завдання - об'єктом (що піддаються дії).
Семантична мережа може бути реалізована програмними засобами (мовою Пролог). Дана частина мережі буде мати наступний вигляд:
have (manager, fio).
have (manager, tab_nomer).
is (h_manager, manager).
have (X, Y):-is (X, Y), have (X, Y).
have (h_manager, h_level).
rasdivd (h-manager, profit).
odivdel (h_manager, target).
Об'єкти, поняття і події, визначені в предметної області в пролог - програмі будуть мати наступне позначення:
Manager-менеджер.
H_manager-менеджер вищого рівня.
M_manager-менеджер середнього рівня.
L-manager-менеджер нижчого рівня.
Dir-генеральний директор.
Tech-головний технолог.
Cons-головний конструктор.
Nach_ceh-начальник цеху.
Nach_otd-начальник відділу.
Master-майстер.
Brig-бригадир.
Worker-робітник.
Fio-ПІБ.
Ceh-цех.
Tab_nomer-табельний номер.
High_level-високий рівень управління.
Mid_level-середній рівень управління.
Low_level-низький рівень управління.
Account-особистий рахунок.
N_office-номер офісу.
N_cons_buro-номер конструкторського бюро.
N_ceha-номер цеху.
N_otdela-номер відділу.
N_uchastka-номер ділянки.
N-brigada-номер бригади.
Profit-прибуток.
Target-мету.
Premia-премія.
Work-робота.
Proiz_zad-виробниче завдання.
Is-є.
Rasdivd-розподіляє.
Odivdel-визначає.
Podbir-підбирає.
Planir-планує.
Organiz-організовує.
Have-має.
Vypol-виплоняет.
Obysl-обумовлює.
Polych-отримує.
Vypl_is-виплачується з.
6. Пролог-програма
divdicates
is (string, string)
rasdivd (string, string)
odivdel (string, string)
podbir (string, string)
planir (string, string)
organiz (string, string)
have (string, string)
vypol (string, string)
obysl (string, string)
polych (string, string)
vypl_is (string, string)
clauses
is (l_manager, manager).
is (m_manager, manager).
is (h_manager, manager).
is (dir, h_manager).
is (tech, h_manager).
is (cons, h_manager).
is (nach_ceh, m_manager).
is (nach_otd, m_manager).
is (master, l_manager).
is (brig, l_manager).
have (worker, fio).
have (worker, ceh).
have (manager, fio).
have (manager, tab_nomer).
have (h_manager, high_level).
have (m_manager, mid_level).
have (l_manager, low_level).
have (dir, account).
have (cons, n_cons_byro).
have (tech, n_office).
have (nach_ceh, n_ceha).
have (nach_otd, n_otdela).
have (master, n_uchastka).
have (brig, n_brigada).
have (X, Y): - is (X, Q),
have (Q, Y).
rasdivd (h_manager, profit).
rasdivd (X, proiz_zad): - podbir (m_manager, X),
is (X, manager).
rasdivd (X, Y): - is (X, Z), rasdivd (Z, Y).
odivdel (h_manager, target).
odivdel (X, Y): - is (X, Z), odivdel (Z, Y).
podbir (h_manager, m_manager).
podbir (X, l_manager): - podbir (h_manager, X),
is (X, manager).
podbir (X, Y): - is (X, Z), podbir (Z, Y).
podbir (X, Y): - is (Y, Z), podbir (X, Z).
planir (X, work): - odivdel (Z, target),
podbir (Z, X), Z = h_manager.
organiz (X, Y): - planir (Z, Y),
podbir (Z, X), Z = m_manager.
vypol (X, Y): - have (X, ceh),
planir (m_manager, Y),
organiz (l_manager, Y).
polych (X, divmia): - vypol (X, work).
vypl_is (X, Y): - polych (worker, Y),
rasdivd (h_manager, X).
obysl (X, Y): - rasdivd (l_manager, X),
planir (m_manager, Y),
organiz (l_manager, Y).
Можливі запити до БЗ
Запит: Що має Генеральний директор?
Goal: have (dir, X).
Відповідь: - особовий рахунок (X = account).
високий рівень управління (X = high_level).
Прізвище, ім'я, по батькові (X = fio).
Табельний номер (X = tab_nomer).
Запит: Хто є менеджером нижчого рівня?
Goal: is (X, l_manager).
Відповідь: - майстер (X = master).
- Бригадир (X = brig).
Запит: Планує хто, що?
Goal: planir (X, Y).
Відповідь:
менеджер середнього рівня, роботу (X = m_manager, Y = work).
начальник цеху, роботу (X = nach_ceh, Y = work).
начальник відділу, роботу (X = nach_otd, Y = work).
Запит: Хто організовує роботу?
Goal: organiz (X, work).
Відповідь:
менеджер нижчого рівня (X = m_manager).
майстер (X = master).
бригадир (X = brig).
Запит: хто розподіляє що?
Goal: rasdivd (X, Y).
Відповідь:
менеджери вищого рівня, прибуток (X = h_manager, Y = profit).
менеджери нижчого рівня, виробниче завдання (X = l_manager, Y = proiz_zad).
директор, прибуток (X = dir, Y = profit).
головний технолог, прибуток (X = tech, Y = profit).
головний конструктор, прибуток (X = cons, Y = profit).
майстер, виробниче завдання (X = master, Y = proiz_zad).
бригадир, виробниче завдання (X = brig, Y = proiz_zad).