Пошуковий запит: (<.>A=Лещинская И$<.>) |
Загальна кількість знайдених документів : 18
Представлено документи з 1 до 18
|
1. |
Шабанов-Кушнаренко С. Ю. Предикатный подход к формализации неявных знаний [Електронний ресурс] / С. Ю. Шабанов-Кушнаренко, Абед Тамер Кудхаир, И. А. Лещинская // Системи обробки інформації. - 2013. - Вип. 9. - С. 113-116. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2013_9_24 Каждое слово представляет собой некоторое понятие. Невозможно создать полноценный искусственный интеллект, пока компьютер не освоит те же понятия. Компьютер может усваивать только математические описания понятий. Поэтому для становления искусственного интеллекта задача формального описания понятий имеет первостепенное значение. Особое значение имеет описание математических понятий. Описание понятий логической математики составляет одну из важнейших задач самой логической математики.
|
2. |
Шабанов-Кушнаренко С. Ю. Разработка предикатных моделей логических связей понятий [Електронний ресурс] / С. Ю. Шабанов-Кушнаренко, Абед Тамер Кудхаир, И. А. Лещинская // Збірник наукових праць Харківського університету Повітряних сил. - 2013. - Вип. 4. - С. 144-147. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2013_4_32 Предложен подход к формализации неявных знаний, разработаны предикатные модели логических связей между понятиями. Такие модели включают в себя предикаты, отражающие понятия равенства и декартова произведения, а также кванторы логики. Разработанные предикатные модели обеспечивают возможность итеративного построения предикатного представления неявных знаний в составе совокупности первичных и вторичных понятий, а также логических связей между этими понятиями.
|
3. |
Лещинская И. А. О методе построения направленных схем реляционных сетей на примере отношения эквивалентности [Електронний ресурс] / И. А. Лещинская // Системи обробки інформації. - 2010. - Вип. 1. - С. 75-81. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2010_1_21 С помощью обобщенного метода синтеза реляционных сетей промоделирована реляционная сеть для отношения эквивалентности. Рассмотрены методы бинарной декомпозиции предиката модели реляционной сети. Для всех наборов предметных переменных протестирована потактовая работа реляционной сети. На конкретном примере описано функционирование дуги реляционной сети с помощью линейного логического оператора. Описан метод построения направленных схем модели реляционной сети.
|
4. |
Лещинская И. А. Лингвистическая алгебра как аппарат формализации смысла предложений естественного языка [Електронний ресурс] / И. А. Лещинская, В. А. Лещинский, Л. Г. Петрова, С. Ю. Шабанов-Кушнаренко // Системи обробки інформації. - 2011. - Вип. 2. - С. 34-38. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2011_2_9 Идентифицированы некоторые механизмы естественного языка в виде математической структуры, названной лингвистической алгеброй, в которой имеются два яруса - семантический и синтаксический. Первый ярус представлен одним из вариантов алгебры предикатов, второй - алгебры предикатных операций. Рассмотрен метод экспериментальной проверки алгебрологических моделей языка. Разработан способ формульной записи смысла предложений естественного языка.
|
5. |
Лещинская И. А. Анализ категорных диаграмм и алгебры предикатов как базы предикатной категории [Електронний ресурс] / И. А. Лещинская // Збірник наукових праць Харківського університету Повітряних Сил. - 2015. - Вип. 2. - С. 50-53. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2015_2_12 Рассмотрена задача анализа классической категории и ее модификации - предикатной категории, которая предоставляет большие возможности для приложений теории категорий в области компьютеризации и информатизации. В частности, предикатная категория является хорошей формальной базой для построения высокопроизводительных мозгоподобных компьютеров параллельного действия. Рассмотрены категорная диаграмма и необходимый в контексте исследования аппарат алгебры конечных предикатов.
|
6. |
Калиниченко О. В. О применении метода дисконтирования денежных потоков для оценки стоимости фирмы [Електронний ресурс] / О. В. Калиниченко, В. А. Лещинский, И. А. Лещинская, Е. А. Пашкова // Системи обробки інформації. - 2015. - Вип. 3. - С. 103-610. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2015_3_23 Проанализированы методы и модели оценки стоимости предприятия с учетом специфики из применения на Украине. Обоснована эффективность применения метода дисконтирования денежных потоков, который используется для преобразования будущих неравномерных доходов. Предложена модель оценки стоимости предприятия, которая может быть положена в основу автоматизированной информационной системы управления стоимостью предприятия.
|
7. |
Лещинская И. А. Анализ безобъектной категории и категории с объектами для построения категорной алгебры [Електронний ресурс] / И. А. Лещинская // Системи обробки інформації. - 2015. - Вип. 4. - С. 68-71. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2015_4_15 Рассмотрена задача анализа классической категории и ее модификации - предикатной категории, которая предоставляет большие возможности для приложений теории категорий в области компьютеризации и информатизации. В частности, предикатная категория является хорошей формальной базой для построения высокопроизводительных мозгоподобных компьютеров параллельного действия. В настоящей, первой части работы, рассмотрены классическая абстрактная категория, безобъектная категория и категория с объектами.
|
8. |
Лещинская И. А. О предикатных интерпретациях классической категории [Електронний ресурс] / И. А. Лещинская // Системи обробки інформації. - 2015. - Вип. 5. - С. 97-101. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2015_5_23 Рассмотрена задача анализа классической категории и ее модификации - предикатной категории, которая предоставляет большие возможности для приложений теории категорий в области компьютеризации и информатизации. В частности, предикатная категория является хорошей формальной базой для построения высокопроизводительных мозгоподобных компьютеров параллельного действия. В данной, третьей части работы, рассмотрена предикатная интерпретация классической категории.
|
9. |
Калиниченко О. В. О модульно-рейтинговом контроле знаний студентов [Електронний ресурс] / О. В. Калиниченко, Р. Д. Козел, В. А. Лещинский, И. А. Лещинская // Системи обробки інформації. - 2015. - Вип. 7. - С. 213-216. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2015_7_46 Проанализированы проблемы автоматизации модульно-рейтингового контроля знаний студентов с целью разработки программной системы поддержки принятия решений. Предложена методика построения автоматизированной модульно-рейтинговой системы и реализации с применением современных информационных технологий. Сформулированы принципы определения рейтинга и начисления баллов в соответствии с требованиями дисциплины и преподавателя, которые могут быть положены в основу автоматизированной информационной системы модульно-рейтингового контроля.
|
10. |
Лещинский В. А. О логической формализации сложных высказываний [Електронний ресурс] / В. А. Лещинский, И. А. Лещинская // Системи обробки інформації. - 2016. - Вип. 8. - С. 73-76. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2016_8_18 Рассмотрен логический подход к формализации сложных высказываний, т.е. высказываний, в которых можно выделить входящие в их состав другие высказывания. Проанализированы способы построения сложных высказываний. Рассмотрены способы образования сложных высказываний из простых. Проанализировано соотношение естественного и логического языков. Изучена только логическая часть естественного языка.
|
11. |
Лещинская И. А. Формулы исчисления высказываний [Електронний ресурс] / И. А. Лещинская // Системи обробки інформації. - 2016. - Вип. 9. - С. 94-96. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2016_9_22 Рассмотрено математическое описание высказываний, введены правила построения формул исчисления высказываний. Предложен алгоритм классификации выражений исчисления высказываний на формулы и не формулы. Показано, как получить сокращенную запись формул исчисления высказываний и полные формулы по их сокращенной записи.
|
12. |
Лещинский В. А. О формульной записи сложных высказываний [Електронний ресурс] / В. А. Лещинский, И. А. Лещинская // Збірник наукових праць Харківського університету Повітряних Сил. - 2016. - Вип. 2. - С. 105-107. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2016_2_27 Рассмотрен логический подход к формульному описанию произвольных сложных высказываний, выражающему его функцию истинности. Показано, что содержание сложного высказывания зависит только от содержания простых высказываний, входящих в его состав, а также от вида его функции истинности. Показано, каким образом можно описывать сложные высказывания, переходя от текстовой интерпретации высказываний к формулам. На примере задачи Кейслера рассмотрена, как, оперируя формулами высказываний, можно формальными методами решать некоторые логические задачи.
|
13. |
Лещинский В. А. О формульном описании переменных сложных высказываний [Електронний ресурс] / В. А. Лещинский, И. А. Лещинская // Збірник наукових праць Харківського університету Повітряних Сил. - 2016. - Вип. 3. - С. 92-95. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2016_3_22 Рассмотрено обобщение понятия сложного высказывания путем введения переменных высказываний; тождественно истинные, тождественно ложные и условно истинные высказывания. Рассмотрены наиболее известные законы логики высказываний. Показано, что все они представляют собой тождественно истинные высказывания.
|
14. |
Лещинский В. А. О формальных свойствах исчисления высказываний [Електронний ресурс] / В. А. Лещинский, И. А. Лещинская // Системи озброєння і військова техніка. - 2016. - № 3. - С. 85-87. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2016_3_20 Введено понятие формальной непротиворечивости, полноты и разрешимости логического исчисления. Показано, как доказать методом интерпретации независимость аксиом логического исчисления.
|
15. |
Лещинская И. А. О свойствах предиката равенства понятий [Електронний ресурс] / И. А. Лещинская // Системи управління, навігації та зв'язку. - 2017. - Вип. 1. - С. 92-95. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2017_1_23 Развита алгебра понятий. Найдены и доказаны свойства предиката равенства понятий. Эти свойства проанализированы с точки зрения практического применения для идентификации интеллектуальной деятельности человека.
|
16. |
Лещинская И. А. Контроль однозначности понятий и их формирование по методу сравнения [Електронний ресурс] / И. А. Лещинская // Системи управління, навігації та зв'язку. - 2017. - Вип. 2. - С. 85-88. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2017_2_25 Исследованы условия применимости метода сравнения для идентификации интеллектуальной деятельности человека. Проанализированы возможности объективного изучения интеллекта человека методом сравнения при отсутствии прямого доступа к субъективным ощущениям.
|
17. |
Лещинский В. А. Анализ структуры понятий методом сравнения [Електронний ресурс] / В. А. Лещинский, И. А. Лещинская // Системи управління, навігації та зв'язку. - 2017. - Вип. 3. - С. 48-50. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2017_3_15 Сформулированы условия разбиения множества понятий испытуемого на классы идентичных понятий. На этом множестве введен бинарный предикат, показано, что он является предикатом равенства. Рассмотрен вопрос существования понятий испытуемого в фактическом и логическом смыслах.
|
18. |
Лещинский В. А. Усовершенствование метода колаборативной фильтрации с неявной обратной связью на основе ранжирования отрицательных результатов в матрице исходных данных [Електронний ресурс] / В. А. Лещинский, И. А. Лещинская // Системи управління, навігації та зв'язку. - 2018. - Вип. 3. - С. 73-77. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2018_3_15 Изучены процессы выявления предпочтений пользователей в рекомендательных системах. Цель работы - разработка усовершенствованного метода колаборативной фильтрации на основе ранжирования пропущенных и отрицательных результатов в матрице исходных данных. Задачи: формализовать свойства исходных данных, включая пропущенные данные для задачи коллаборативной фильтрации; разработать подход к ранжированию исходных данных для коллаборативной фильтрации с неявной обратной связью, включая пропущенные и отрицательные результаты; усовершенствовать метод колаборативной фильтрации путем предварительного ранжирования пропущенных и отрицательных результатов в исходных данных. Используемыми методами являются: коллаборативная фильтрация, машинное обучение. Формализованы свойства исходных данных для коллаборативной фильтрации. Такие данные упорядочиваются для каждого пользователя как последовательность предпочтений интересующих пользователя объектов. На основе свойств исходных данных показано, что при коллаборативной фильтрации с неявной обратно связью необходимо упорядочивать не только данные о поведении пользователя, но и пропущенные и неточные данные. Предложен подход к упорядочиванию таких данных на основе их попарного сравнения. Усовершенствован метод коллаборативной фильтрации на основе уточнения весовых коэффициентов для обучающей выборки с учетом предварительного ранжирования входных данных. Выводы: научная новизна полученных результатов состоит в следующем: усовершенствован метод коллаборативной фильтрации с неявной обратной связью путем присвоения дополнительных весов элементам в матрице исходных данных на основе ранжирования пропущенных и отрицательных результатов. Метод позволяет повысить точность рекомендаций по критерию AUC с учетом неполноты исходных данных.
|