Аннотация: В статье рассматривается дидактический дизайн как проектная научно-методическая деятельность педагога по разработке системы обучения нового поколения, которая ориентирована на формирование среды опережающей подготовки инженеров. Дидактическая система (D-система) определяется ведущей в развитии образовательной среды университета, на основании того, что является непосредственным исполнителем, осуществляющим профессиональную подготовку инженеров. Приводятся требования к D-системе нового поколения. Показана модель развития D- системы, в которой выделены фазы: моделирования, проектирования, конструирования и эксплуатации. На примере междисциплинарного учебного модуля «Микропроцессорная техника» представлен опыт разработки и внедрения в учебную практику образовательного ресурса, удовлетворяющего требованию опережающей подготовки инженера. Образовательный ресурс состоит из контента, изложенного в учебном пособии, и инструментария – стенда микроконтроллерного. Контент представлен в форме инновационной практико-ориентированной задачи с квалифицированным дидактическим сопровождением этапов ее решения. Стенд микроконтроллерный – в форме промышленного образца лабораторного стенда.

Ключевые слова: дидактический дизайн, дидактическая система, опережающая подготовка, междисциплинарный учебный модуль, микроконтроллер.

ACM Classification Keywords: J.2 Physical Sciences and Engineering – Electronics, Engineering, 1.2.6 Learning – Concept learning.

Link:

ДИДАКТИЧЕСКИЙ ДИЗАЙН СИСТЕМЫ ОБУЧЕНИЯ НОВОГО ПОКОЛЕНИЯ

Елена Вахтина, Александр Вострухин

http://foibg.com/ibs_isc/ibs-19/ibs-19-p39.pdf

Аннотация: В работе рассматривается онтологический поход к проектированию и разработке электронных курсов. Приведен пример проектирования онтологии предметной дисциплины базы данных. Применение предложенного подхода позволит улучшить качество разрабатываемых электронных курсов, а использование средств автоматизированного лингво-семантического анализа текстовой информации на естественном языке даст возможность снизить трудозатраты на составление электронного курса.

Ключевые слова: онтологический подход, автоматизированная разработка электронного курса.

ACM Classification Keywords I.2 ARTIFICIAL INTELLIGENCE - I.2.4 Knowledge Representation Formalisms and Methods, K.3 COMPUTERS AND EDUCATION - K.3.1 Computer Uses in Education

Link:

ЗНАНИЕ-ОРИЕНТИРОВАННЫЕ СИСТЕМЫ РАЗРАБОТКИ ЭЛЕКТРОННЫХ КУРСОВ ОБУЧЕНИЯ

Александр Палагин, Юрий Тихонов, Николай Петренко, Виталий Величко

http://foibg.com/ibs_isc/ibs-19/ibs-19-p38.pdf

Abstract: The report reviews the circumstances of formation of the European higher education area as well as the factors retarding entry of Ukraine into this structure. It analyzes the influence of the main parties governing form and content of education under the conditions of the present-day Ukraine. A comparison of curriculums of Ukrainian universities with that of other countries is carried out. A detailed analysis of the policy pursued by other countries for the benefit of engaging students from abroad is given as well. The perspectives of research universities in Ukraine are discussed.

Keywords: European higher education area; student mobility; Bolonsky process; training foreign persons; problems of entering the European higher education area; research universities.

ACM Classification Keywords: H.5.3 Group and Organization Interfaces. К.3.1. Computer Uses in Education, Computer assisted instruction (CA).

Link:

ПРОБЛЕМЫ ВХОЖДЕНИЯ УКРАИНЫ В ЕВРОПЕЙСКОЕ ОБРАЗОВАТЕЛЬНОЕ ПРОСТРАНСТВО

Олег К. Закусило

http://foibg.com/ibs_isc/ibs-19/ibs-19-p37.pdf

Abstract: Рассматриваются современные проблемы образования, обсуждается концепция университета мирового класса. Анализируются проблемы образования в Украине, взаимодействия образования и воспитания, классического и е-образования, развития личности в условиях электронного рынка знаний. Приводится пример коллективной студенческой разработки учебно- методической, обучающе-тестирующей, оценивающей знания пользователя, системы.

Keywords: образование, е-образование, университет мирового класса, электронный рынок знаний.

ACM Classification Keywords: D.2.13 Reusable Software- Reuse models. К.3.1. Computer Uses in Education, Computer assisted instruction (CA).

Link:

СОВРЕМЕННЫЕ ПРОБЛЕМЫ ОБРАЗОВАНИЯ

Алексей Ф. Волошин

http://foibg.com/ibs_isc/ibs-19/ibs-19-p36.pdf

Abstract: The conditions of the IT-industry, opportunities and problems of preparation of IT-specialists in CEEcountries has been described. The ways of improvement of cooperation between IT-companies and universities for increases of IT-education quality and its level have been offered.

Keywords: business informatics, bologna study architecture, IT, IT-specialist, CEE-countries.

Link:

BUSINESS INFORMATICS STUDY IN CEE COUNTIES

Vasyl Grygorkiv, Ruslan Biloskurskyy, Andrii Verstiak, Igor Vinnychuk

Abstract: We applied mathematical modeling in order to understand the behavior of the banking system as a network infrastructure. Based on graph modeling, we developed program modules for simulating the propagation of a financial shock over a system of interconnected banks. The simulation imitates a wave of contagion of the banking system, which is generated as a random graph. In order to analyze the behavior of the system in general, we perform a multiple generation of random graphs and consider the obtained mean values. We analyze the influence of a set of input economic parameters with regards of the properties of the banking system as a “critical infrastructure”. We used different subordination models of the graph structure, with regards of contemporary financial theories and taking into account recent documents of the European financial commissions. The results of the simulations permit to do important recommendations concerning the methods for protecting and optimizing the banking system.

ACM Classification Keywords: I.6.5: Model Development, I.6.6: Simulation Output Analysis. G.2.2 Graph Theory, G.2.3 Applications

Link:

A GRAPH MODEL OF SHOCKED FINANCIAL SYSTEM

Velina Slavova, Lyubomir Mirchev, Hristian Elefteridis

http://foibg.com/ibs_isc/ibs-19/ibs-19-p34.pdf

Abstract: Complex information technology for visualization communications gesture and mimicry is created.

Keywords: modelling, sign language, computer system.

ACM Classification Keywords: I.2.8 Problem Solving, And Search H.1.1 Systems and Information

Link:

ИССЛЕДОВАНИЕ ИНФОРМАЦИОННЫХ ПРОЦЕССОВ ДЛЯ ЭФФЕКТИВНОГО ВОСПРОИЗВЕДЕНИЯ ДАКТИЛЬНОГО ЖЕСТОВОГО ЯЗЫКА

Юрий Крак, Юрий Кривонос, Богдан Троценко

http://foibg.com/ibs_isc/ibs-19/ibs-19-p33.pdf

Аннотация: В статье рассмотрено практическое применение программных модулей виртуальной лаборатории автоматизированного проектирования для расчета параметров надежности резервированных систем и портативного прибора "Флоратест", малая серия которого выпущена в Институте кибернетики им. В.М.Глушкова НАН Украины. Приведенные примеры расчетов показывают возможность использования виртуальной лаборатории для расчета резервированных систем разной сложности и приборов разнообразного назначения.

Ключевые слова: виртуальная лаборатория; автоматизированное проектирование; расчет надежности; резервирование надежности; распределенная система.

ACM Classification Keywords: J.6 Computer-Aided? Engineering – Computer-Aided? Design (CAD); K.4.3 Organizational Impacts – Computer-Supported? Collaborative Work.

Link:

ПРАКТИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ВИРТУАЛЬНОЙ ЛАБОРАТОРИИ ДЛЯ РАСЧЕТА НАДЕЖНОСТИ ПРИБОРОВ И РЕЗЕРВИРОВАННЫХ СИСТЕМ

Александр Палагин, Владимир Романов, Игорь Галелюка, Крассимир Марков, Виталий Величко, Александра Ковырёва, Петер Станчев, Крассимира Иванова, Илия Митов

http://foibg.com/ibs_isc/ibs-19/ibs-19-p32.pdf

Аннотация: Рассматривается кооперативный метаэвристический подход к решению задач комбинаторной оптимизации на основе моделе-ориентированных алгоритмов. Его особенностью является решение задачи путем поиска (оптимизации) в пространстве моделей, который проводится на основе частных моделей, сформированных базовыми (составными) алгоритмами. Предлагается схема распараллеливания кооперативного метода, использующая присущий ему естественный параллелизм. Проведено исследование эффективности предлагаемой схемы параллелизации на основе анализов результатов вычислительного эксперимента.

Ключевые слова: комбинаторная оптимизация, моделе-ориентированные методы, кооперативные метаэвристики, параллельные алгоритмы, оптимизация муравьиными колониями.

ACM Classification Keywords: G.1.6 NUMERICAL ANALYSIS Optimization, I.2.8 ARTIFICIAL INTELLIGENCE: Problem Solving, Control Methods, and Search – Heuristic methods, General Terms: Algorithms.

Link:

ПАРАЛЛЕЛИЗАЦИЯ КООПЕРАТИВНЫХ МОДЕЛЕ-ОРИЕНТИРОВАННЫХ МЕТАЭВРИСТИК

Сергей Сиренко

http://foibg.com/ibs_isc/ibs-19/ibs-19-p31.pdf

Abstract: В данной работе рассматривается неоклассическая задача теории потребления. Применяется нечеткий подход для построения и оптимизации функции полезности. Приводиться иллюстративный пример.

Keywords: микроэкономика, теория потребления, функция полезности, методы оптимизации, нечеткие множества, принцип расширения.

ACM Classification Keywords: Decision Support & Artificial Intelligence

Link:

ПОСТРОЕНИЕ И ИССЛЕДОВАНИЯ НЕЧЕТКОЙ МОДЕЛИ ПОТРЕБЛЕНИЯ

Олег Пошелюжный

http://foibg.com/ibs_isc/ibs-19/ibs-19-p30.pdf

Abstract: The problem of banks bankruptcy risk forecasting is considered. The application of fuzzy neural networks for this problem solution, ANFIS and TSK was suggested. The experimental investigations of application of FNN for bankruptcy forecast were carried out and comparison with classical methods was performed. The experimental investigations have proved the high efficiency of fuzzy neural networks for bankruptcy risk forecasting and their advantages over classical methods.

Keywords: bank bankruptcy risk forecasting, fuzzy neural networks.

ACM Classification Keywords: H.4 INFORMATION SYSTEMS APPLICATIONS - H.4.2. Types of Systems Decision Support

Link:

ПРОГНОЗИРОВАНИЕ РИСКА БАНКРОТСТВА БАНКОВ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ С ПРИМЕНЕНИЕМ НЕЧЕТКИХ НЕЙРОННЫХ СЕТЕЙ

Юрий Зайченко, Ольга Войтенко

http://foibg.com/ibs_isc/ibs-19/ibs-19-p29.pdf

Abstract: Decision Support System – modified Martingale is suggested in this paper. This DSS differs from classical Martingale by using preliminary training for finding optimal system parameters and financial indicators like MA (Moving Average) for estimate financial process trend and reveal its change. The corresponding software of the suggested DSS was elaborated and experimental investigations were carried out. This system was applied at currency market FOREX and used for determining the optimal trading strategy. The experimental results of its application are presented

Keywords: trading strategy at market, FOREX, decision support system, financial indicators, modified Martingale.

ACM Classification Keywords: H.4 INFORMATION SYSTEMS APPLICATIONS - H.4.2. Types of Systems Decision Support

Link:

ИССЛЕДОВАНИЕ МОДИФИЦИРОВАННОЙ СИСТЕМЫ МАРТИНГЕЙЛ ДЛЯ ТРЕЙДИНГА НА ВАЛЮТНЫХ РЫНКАХ

Юрий Зайченко, Владислав Плаксин

http://foibg.com/ibs_isc/ibs-19/ibs-19-p28.pdf

Аннотация. На основе вычислительного эксперимента разработан вариант системы поддержки принятия решений (СППР) с применением метода базисных матриц (МБМ) для анализа влияний малых возмущений в линейных моделях.

Ключевые слова: линейные модели, количественный и качественный анализ, малые возмущения, базисная матрица.

ACM Classification Keywords: I. Computing Methodologies – I.6. Simulation and modeling

Link:

О ПРИНЯТИИ РЕШЕНИЙ ПРИ АНАЛИЗЕ МАЛЫХ ВОЗМУЩЕНИЙ ЛИНЕЙНЫХ МОДЕЛЕЙ

Всеволод Богаенко, Владимир Кудин

http://foibg.com/ibs_isc/ibs-19/ibs-19-p27.pdf

Abstract: Рассматриваются проблемы многокритериального выбора удовлетворительного решения при помощи аппарата нечеткой логики. Описаны методы построения и виды функции принадлежности. Приведен алгоритм моделирования нечеткого решения для данной задачи выбора.

Keywords: задача многокритериального выбора, нечеткая логика, модель удовлетворительного решения.

ACM Classification Keywords: H.1.1.Systems and Information Theory

Link:

НЕЧЕТКАЯ МОДЕЛЬ УДОВЛЕТВОРИТЕЛЬНОГО РЕШЕНИЯ ЗАДАЧИ ВЫБОРА

Николай Н. Маляр

http://foibg.com/ibs_isc/ibs-19/ibs-19-p26.pdf

Abstract: Рассматривается классическая задача распределения затрат, её интерпретация для случая распределения квот на выброс парниковых газов. Предлагаются нечеткие обобщения данной задачи, алгоритм её решения. Приводится иллюстративный пример.

Keywords: задача распределения затрат, задача распределения квот на выбросы парниковых газов, нечеткие модели и методы.

ACM Classification Keywords: I. Computing Methodologies – I.6. Simulation and modelling – I.6.5. Model Development –Modeling Methodologies.

Link:

НЕЧЕТКИЕ ОБОБЩЕНИЯ МОДЕЛИ РАСПРЕДЕЛЕНИЯ ЗАТРАТ

Алексей Ф. Волошин, Василий А. Лавер

http://foibg.com/ibs_isc/ibs-19/ibs-19-p25.pdf

Abstract: The problems of climate change mitigation are being analyzed. Different emission quotas distribution mechanisms are observed. The work offers model and method of distribution based on the individual rationality principle.

Keywords: climate protection, emissions of greenhouse gases, global limit on emissions, distribution methods, Nash equilibrium, individual optimal equilibrium.

ACM Classification Keywords: I. Computing Methodologies – I.6. Simulation and modelling (Time series analysis) – I.6.8 Types of Simulation – Gaming

Link:

INDIVIDUALLY OPTIMAL PRINCIPLES OF DISTRIBUTION OF GREENHOUSE GAS EMMISION QUOTAS

Olexij Voloshin, Sergij Maschenko

http://foibg.com/ibs_isc/ibs-19/ibs-19-p24.pdf

Аннотация: Предложен новый метод нейроуправления с применением нелинейного нейроконтроллера на основе рекуррентного прерцептрона, обучаемого в врежиме реального времени с использованием метода контролируемого возмущения управления динамическим объектом. Обучение нейроконтроллера осуществляется без использования нейроэмулятора, предварительно обученного прямой или инверсной динамике объекта управления. Приводятся данные численных экспериментов по сравнению качества нового метода нейроуправления и традиционного ПИД-управления на примере решения задачи стабилизации перевернутого маятника.

Ключевые слова: нейроуправление, рекуррентные нейронные сети, нелинейные динамические объекты, инверсная динамика, стабилизация перевернутого маятника, обучение с подкреплением.

ACM Classification Keywords: I.2.8 Problem Solving, Control Methods, and Search - Control theory, I.2.9 Robotics - Autonomous vehicles, I.2.6 Learning - Connectionism and neural nets.

Link:

ОБУЧЕНИЕ РЕКУРРЕНТНОЙ НЕЙРОННОЙ СЕТИ МЕТОДОМ КОНТРОЛИРУЕМОГО ВОЗМУЩЕНИЯ ДЛЯ УПРАВЛЕНИЯ ДИНАМИЧЕСКИМИ ОБЪЕКТАМИ

Д. А. Дзюба, А. Н. Чернодуб

http://foibg.com/ibs_isc/ibs-19/ibs-19-p19.pdf

Abstract: The protein tertiary structure prediction problem is examined, which is one of up-to-date problems of computational biology. The results received earlier for two-dimensional case are extended for 3D and analyzed. Algorithms of local and stochastic search, ant colony optimization are proposed. The questions of software realization and their comparative research are discussed.

Keywords: combinatorial optimization, protein structure prediction, HP model, local search, ant colony optimization.

ACM Classification Keywords: G.1.6. Mathematics of Computing, Numerical Analysis, Optimization. Conference topic: Decision Making.

Link:

PROTEIN STRUCTURE PREDICTION ON A THREE-DIMENSIONAL TRIANGULAR LATTICE

Leonid Hulianytskyi, Vitalina Rudyk

Аннотация: Представлены возможности средств Data Mining, в частности искусственных нейронных сетей (ИНС) для моделирования и прогнозирования характеристик горения конденсированных систем (КС). Впервые получены вычислительные модели, позволяющие прогнозировать характеристики горения КС. Они позволяют прогнозировать профили температуры в волне горения КС, скорость горения различных по составу КС при различных давлениях и начальных температурах, определять состав КС, обеспечивающий необходимую скорость горения при заданном давлении и т.д. Описаны и проиллюстрированы методы создания таких моделей. Полученные результаты показывают, что ИНС могут рассматриваться как хорошее средство аппроксимации многомерных экспериментальных данных, позволяющее обобщать и прогнозировать связи между переменными эксперимента и теории, как быстрый инженерный калькулятор, специализированный для решения задач исследования процесса горения КС, как средство получения новых «экспериментальных» результатов и выявления новых неизвестных ранее закономерностей горения, как хорошее средство представления и хранения ранее полученных экспериментальных результатов.

Ключевые слова: Data Mining, искусственные нейронные сети, горение, вычислительные модели,

Link:

СОЗДАНИЕ ВЫЧИСЛИТЕЛЬНЫХ МОДЕЛЕЙ В ОБЛАСТИ ГОРЕНИЯ КОНДЕНСИРОВАННЫХ СИСТЕМ СРЕДСТВАМИ DATA MINING

Виктор Абруков, Сергей Абруков, Елена Карлович

http://foibg.com/ibs_isc/ibs-19/ibs-19-p22.pdf

Аннотация: В данной работе исследуются возможности использования для решения задач прогнозирования искусственных нейронных сетей. Предлагается система построения прогнозов с использованием нескольких методов прогнозирования, качество и точность которых оценивается экспертной системой. Сравнение полученных прогнозов с использованием нейросетевых моделей производится на основе решения задач при помощи традиционных методов прогнозирования.

Ключевые слова: прогнозирование, искусственные нейронные сети, экспертная система.

ACM Classification Keywords: H. Information Systems, H.4 INFORMATION SYSTEMS APPLICATIONS, H.4.2 Types of Systems - Decision support. : I. Computing Methodologies, I.2 Artificial Intelligence, J. Computer Applications

Link:

ПРОГНОЗИРОВАНИЕ В ДЕЯТЕЛЬНОСТИ ПРЕДПРИЯТИИ С ИСПОЛЬЗОВАНИЕМ НЕЙРОННЫХ СЕТЕЙ

Галина Сетлак

http://foibg.com/ibs_isc/ibs-19/ibs-19-p21.pdf

Аннотация: Существуют ситуации, когда нужно получить не только точечный прогноз, но еще и доверительный интервал к нему. Примером такой ситуации может выступать задача составления нечеткого инвестиционного портфеля, входными параметрами которой, в том числе, являются нижняя граница доходности, наиболее ожидаемое значение доходности и верхняя граница доходности ценных бумаг. Кроме того, доверительный интервал позволяет оценить точность прогноза. В данной статье предложена модификация нечеткой нейронной сети TSK (Takagi, Sugeno и Kang’а), получившая название FOTSK (Fuzzy Output TSK), позволяющая получать на выходе нечеткое число вида: {нижняя граница; наиболее ожидаемое значение; верхняя граница}. Изменения затронули гибридный алгоритм обучения нечеткой нейронной сети TSK, а именно, его первый этап – расчет линейных параметров. В нечеткой нейронной сети FOTSK линейные параметры находятся из решения задачи линейного программирования, что, вдобавок, лишает нейронную сеть проблемы плохой обусловленности матрицы. Также, авторами предложен алгоритм поиска оптимальной структуры нечеткой нейронной сети TSK (оптимального количества используемых нейронной сетью правил), который позволяет избежать перерегулирования. В экспериментальных исследованиях было рассмотрено применение предложенной модификации FOTSK в задачах прогнозирования и произведено ее сравнение с оригинальной нечеткой нейронной сетью TSK, а также с НМГУА (Нечеткий Метод Индуктивного Моделирования). Исследования проводились в задачах прогнозирования курсов акций компаний IBM, Google, Apple, Coca-Cola? и McDonald’s? на 28.05.2010. Выборки данных были сформированы по курсам акций вышеупомянутых компаний, взятых за период с 27.05.2009 по 27.05.2010.

Ключевые слова: нечеткие нейронные сети, прогнозирование, FOTSK, TSK.

ACM Classification Keywords: I.2.6 Learning – Connectionism and neural nets.

Link:

ИССЛЕДОВАНИЕ МОДИФИКАЦИИ FOTSK НЕЧЕТКОЙ НЕЙРОННОЙ СЕТИ TSK В ЗАДАЧАХ ПРОГНОЗИРОВАНИЯ

Юлия Проскурня, Богдан Гривко

http://foibg.com/ibs_isc/ibs-19/ibs-19-p20.pdf

Аннотация: Предлагается новый метод получения векторов признаков на основе инвариантных моментов называемых векторами моментных фазовых распределений для решения задачи распознавания двумерных полутоновых зображений. Приводятся данные численных экспериментов по классификации двумерных зображений, имеющих разный размер и меняющийся угол поворота относительно фронтальной оси. Исследуется устойчивость предлагаемого метода к шуму.

Ключевые слова: распознавание образов, обработка зображений, теория моментных инвариантов, полиномы Зернике

ACM Classification Keywords: I.4 Image Processing and Computer Vision, I.4.7 Feature Measurement, Moments, Invariants.

Link:

МЕТОД ВЫДЕЛЕНИЯ ПРИЗНАКОВ НА ОСНОВЕ СОВМЕСТНЫХ ВЕКТОРОВ МОМЕНТНЫХ ФАЗОВЫХ РАСПРЕДЕЛЕНИЙ И МОМЕНТОВ ЗЕРНИКЕ

А.Н. Чернодуб

http://foibg.com/ibs_isc/ibs-19/ibs-19-p18.pdf

Реферат: Рассматривается задача распознавания образов с обучением. Определяются общие условия существования корректных алгоритмов, и показывается, что их построение сводится к решению систем линейных матричных неравенств. Ключевые слова: Задача распознавания образов с обучением, корректные модели алгоритмов распознавания, условия корректности моделей распознавания.

Ключевые слова ACM-классификации: Categories: I. Computing Methodologies; I.5 PATTERN RECOGNITION; I.5.1 Models; Subject descriptor: Models Deterministic

Link:

КОРРЕКТНЫЕ МОДЕЛИ АЛГОРИТМОВ РАСПОЗНАВАНИЯ

Виктор Краснопрошин, Владимир Образцов

http://foibg.com/ibs_isc/ibs-19/ibs-19-p17.pdf

Аннотация. Рассматривается метод оптимизации архитектуры нейросетевого классификатора: поисковый метод симплекс-планирования. С помощью программы обучения нейронной сети и программы оптимизации проводится исследование корректности выбранного поискового метода для выявления наилучшей архитектуры нейросетевого классификатора. В качестве целевой функции предложена скалярная свертка критериев по нелинейной схеме компромиссов

Ключевые слова: многокритериальная оптимизация, архитектура, нейронные сети, классификатор.

ACM Classification Keywords: H.1 Models and Principles – H.1.1 – Systems and Information Theory; H.4.2 – Types of Systems; C.1.3 Other Architecture Styles – Neural nets

Link:

СРАВНИТЕЛЬНЫЙ АНАЛИЗ МЕТОДОВ МНОГОКРИТЕРИАЛЬНОЙ ОПТИМИЗАЦИИ АРХИТЕКТУРЫ НЕЙРОСЕТЕВЫХ КЛАССИФИКАТОРОВ

Альберт Воронин, Юрий Зиатдинов, Анна Антонюк

http://foibg.com/ibs_isc/ibs-19/ibs-19-p16.pdf

Abstract: Within the binary signal detection theory (BSDT) the semantics and syntax of a primary language (PL, a mathematical framework for internal brain computations) have been proposed and described in a semi-formal form. On the basis of BSDT infinity hypothesis (the infinity of common in the past prehistory of universe, life, and mind), basic BSDT PL notions have been defined. Among them the names of real-world things, their meanings/contexts (they are infinite and common in the past binary strings), meaning complexity, truth, and understanding the truth. Given their infinite contexts BSDT PL names are finite-in-length binary strings that may simultaneously be interpreted as Gödel numbers or uncomputable halting probabilities (fractions of Chaitin’s Ω) for binary string algorithms running on particular self-delimiting computers. BSDT PL meaning complexity is compared with Shannon entropy/information, Kolmogorov/algorithmic complexity, Gell-Mann? and Lloyd’s effective complexity and total information; BSDT PL truth is compared with Tarskian truth. High biological plausibility of the BSDT PL, its potential for disigning the languages with capacities at the level of human natural languages, applications to practical semantic computations and testable empirical predictions are discussed. Because of its infinity hypothesis, BSDT PL is beyond the scope of traditional axiomatic approach to logic and mathematics.

Keywords: meaning, complexity, truth, symbolic communications, semantic computations.

ACM Classification Keywords: C.3 Special-purpose and Application-based Systems; E.4 Coding and Information Theory; F.1.3 Complexity Measures and Classes; H.1.1 Systems and Information Theory; I.2.0 General, I.2.4 Knowledge Representation Formalisms and Methods; J.4 Social and Behavioral Sciences

Link:

ON SEMANTICS AND SYNTAX OF THE BSDT PRIMARY LANGUAGE

Petro Gopych

http://foibg.com/ibs_isc/ibs-19/ibs-19-p15.pdf