Сучасні інформаційні системи (Dec 2017)
Відношення і операції над предикатами в теорії інтелекту
Abstract
Мета. Метою статті є розробка формальної методики теорії інтелекту, а саме розробка моделі і аксіоматики на мові алгебри кінцевих предикатів. Пропонується ввести систему операцій за відносинами для побудови алгебри відносин. Методи. У статті використані методи алгебри кінцевих предикатів, булева алгебра і аксіоматичний метод. Результати. У статті був розвинений математичний апарат теорії інтелекту. Розроблено моделі та аксіоматику відносин на мові алгебри кінцевих предикатів, введені операції над такими відносинами, як ін'єкція, еквівалентність, сюр'єкція, квазіпорядок, частковий порядок, циркуляція і добуток відносини. Побудована алгебра відносин. Аксіоматично призначається система операцій над предикатами в алгебрі скінченних предикатів, а саме: булеве заперечення, диз'юнкція, кон'юнкція, імплікація, еквівалентність. Вводяться основні предикати (предикати розпізнавання об'єктів). Висновки. Предикати різних порядків відповідають поняттям іншого рівня абстракції. Рішення рівнянь алгебри кінцевих предикатів можна інтерпретувати як творчу діяльність людини. Через наявність такої широкої і змістовної інтерпретації навіть чисто математичний розвиток алгебри кінцевих предикатів дозволяє в той же час стимулювати розвиток теорії інтелекту. Мінімізація, декомпозиція, рішення рівнянь, тотожне перетворення формул є важливими завданнями теорії інтелекту.
Keywords