онтологія

Розглянуто застосування онтологічних моделей задач для побудови програмних систем, здатних адаптуватися до зміни стану предметної області. Розроблено матема- тичну формалізацію подання та опрацювання знань у системі, архітектуру та принципи функціонування програмної системи на базі онтологічних моделей. Розглянуто методи використання онтологічних моделей для розв’язання практичних задач. Проаналізовано переваги застосування онтологічних моделей порівняно з традиційним підходом до побудови програмних систем та розроблено формули для оцінювання їх переваг.

Описано загальний процес і паралельну модель реалізації синтезу мікроелектро- механічних систем, що ґрунтуються на розробленому генетичному алгоритмі. Оскільки завдання синтезу у сфері комплексних мікросистем є дуже складним у своїй структурі і затратним у часі, актуальність питань виконання і швидкості, щоб згенерувати новітню систему і її структурні компоненти, є все ще невирішеною сьогодні. Розроблена модель сприяє і прискорює синтез нових і унікальних мікроелектромеханічних структур системи.

Досліджено онтологічний підхід до проблеми добра і зла, її формулювання та специфіки вирішення в російській релігійній філософії наприкінці ХІХ – на початку ХХ ст. на основі зіставлення східної (більш близької за “духом” російським мислителям) і західної (блаженний Августин) гілки патристики. Стаття ґрунтується на використанні методу єдності логічного та історичного, категоріального аналізу та компаративістики, аналогії та наукової об’єктивності.

An intellectual functioning of the agent as a rational behavior, which is an effort to get the maximum possible benefit from its activities, is considered. For this aim an intelligent agent is searching for new alternatives (methods, algorithms, etc.), use of which gives better results comparing with the reference approach. For such a search the agent uses domain ontology within which it operates.

In the paper the evaluation of the optimization problems that arise during the automatic ontology building on its structures and content. Formed a series of such problems. The methods and algorithms for their solution.

In this paper mathematical formalization for software system based on ontological models is proposed. Formalization is built using algebraic types system approach. Developed formal representation of models and modeling system.

In this paper we propose a formalization of ontology-based task execution modeling system. It is built using approach of algebraic systems theory. We show that proposed algebraic system is based on multiple domains, which can be used for ontological models representation and knowledge elucidation, storage and processing

In the paper the approach to automated construction of interpretation functions (axioms) of concepts and relations of the domain ontology during its training are considered. The method of recognizing the semantics of natural language texts and its representation in the form of descriptive logic.

In the paper the behavior of an intelligent agent in a competitive environment is investigated in the paper. The OODA loop is chosen for behavior simulation. The interaction of OODA loop stages (observation, orientation, decision support, action) with the ontology of tasks and subject area in which the agent operates was explored.