Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби)
Метою досліджень є розробка принципів, методів і засобів проектування та реалізації нового покоління комп'ютерних математичних служб, які базуються на інтеграції дедуктивних, індуктивних та аналітичних можливостей існуючих систем автоматизації міркувань та систем комп&#...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автори: | , , , , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/734 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) / Асельдеров З.М., Вершинін К.П., Лялецький О.В., Паскевич А.Ю., Клименко В.П., Фішман Ю.С. // Математичні машини і системи. – 2003. – № 3, 4. – С. 51 – 74. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-734 |
|---|---|
| record_format |
dspace |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Обчислювальні системи Обчислювальні системи |
| spellingShingle |
Обчислювальні системи Обчислювальні системи Асельдеров, З.М. Вершинін, К.П. Лялецький, О.В. Паскевич, А.Ю. Клименко, В.П. Фішман, Ю.С. Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| description |
Метою досліджень є розробка принципів, методів і засобів проектування та реалізації нового покоління комп'ютерних математичних служб, які базуються на інтеграції дедуктивних, індуктивних та аналітичних можливостей існуючих систем автоматизації міркувань та систем комп'ютерної алгебри. У розд. 1 описані основні положення програми «Алгоритм Очевидності», відповідно до якої проводилась розробка логіко-математичних методів перетворення комп’ютерних знань, викладені особливості засобів обробки математичних текстів у стилі Алгоритму Очевидності. Описані синтаксис і семантика формальних мов ForTheL та ForTheL1, які забезпечують формальний запис та проведення дедуктивних перетворень математичних текстів. В розд. 2 викладено дедуктивні методи. Подано опис основних існуючих підходів до пошуку логічного виведення, викладена техніка пошуку логічного виведення, яка задається за допомогою певних числень секвенційного типу. Наведені результати про коректність та повноту запропонованих числень. В додатках проілюстровані можливості розроблених лінгвистичних та дедуктивних засобів і методів обробки комп'ютерних математичних знань. Бібліогр.: 42 назв. |
| format |
Article |
| author |
Асельдеров, З.М. Вершинін, К.П. Лялецький, О.В. Паскевич, А.Ю. Клименко, В.П. Фішман, Ю.С. |
| author_facet |
Асельдеров, З.М. Вершинін, К.П. Лялецький, О.В. Паскевич, А.Ю. Клименко, В.П. Фішман, Ю.С. |
| author_sort |
Асельдеров, З.М. |
| title |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| title_short |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| title_full |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| title_fullStr |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| title_full_unstemmed |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| title_sort |
дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. дедуктивні методи і засоби) |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2003 |
| topic_facet |
Обчислювальні системи |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/734 |
| citation_txt |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) / Асельдеров З.М., Вершинін К.П., Лялецький О.В., Паскевич А.Ю., Клименко В.П., Фішман Ю.С. // Математичні машини і системи. – 2003. – № 3, 4. – С. 51 – 74. |
| work_keys_str_mv |
AT aselʹderovzm deduktivníínduktivnítaanalítičnímetodipodannâíobrobkikompûternihznanʹvíntelektualʹnihsistemah1deduktivnímetodiízasobi AT veršinínkp deduktivníínduktivnítaanalítičnímetodipodannâíobrobkikompûternihznanʹvíntelektualʹnihsistemah1deduktivnímetodiízasobi AT lâlecʹkijov deduktivníínduktivnítaanalítičnímetodipodannâíobrobkikompûternihznanʹvíntelektualʹnihsistemah1deduktivnímetodiízasobi AT paskevičaû deduktivníínduktivnítaanalítičnímetodipodannâíobrobkikompûternihznanʹvíntelektualʹnihsistemah1deduktivnímetodiízasobi AT klimenkovp deduktivníínduktivnítaanalítičnímetodipodannâíobrobkikompûternihznanʹvíntelektualʹnihsistemah1deduktivnímetodiízasobi AT fíšmanûs deduktivníínduktivnítaanalítičnímetodipodannâíobrobkikompûternihznanʹvíntelektualʹnihsistemah1deduktivnímetodiízasobi |
| first_indexed |
2023-03-24T08:19:35Z |
| last_indexed |
2023-03-24T08:19:35Z |
| _version_ |
1796138822003589120 |
| spelling |
irk-123456789-7342008-06-25T12:00:24Z Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) Асельдеров, З.М. Вершинін, К.П. Лялецький, О.В. Паскевич, А.Ю. Клименко, В.П. Фішман, Ю.С. Обчислювальні системи Метою досліджень є розробка принципів, методів і засобів проектування та реалізації нового покоління комп'ютерних математичних служб, які базуються на інтеграції дедуктивних, індуктивних та аналітичних можливостей існуючих систем автоматизації міркувань та систем комп'ютерної алгебри. У розд. 1 описані основні положення програми «Алгоритм Очевидності», відповідно до якої проводилась розробка логіко-математичних методів перетворення комп’ютерних знань, викладені особливості засобів обробки математичних текстів у стилі Алгоритму Очевидності. Описані синтаксис і семантика формальних мов ForTheL та ForTheL1, які забезпечують формальний запис та проведення дедуктивних перетворень математичних текстів. В розд. 2 викладено дедуктивні методи. Подано опис основних існуючих підходів до пошуку логічного виведення, викладена техніка пошуку логічного виведення, яка задається за допомогою певних числень секвенційного типу. Наведені результати про коректність та повноту запропонованих числень. В додатках проілюстровані можливості розроблених лінгвистичних та дедуктивних засобів і методів обробки комп'ютерних математичних знань. Бібліогр.: 42 назв. Целью исследований является разработка принципов, методов, способов проектирования и реализации нового поколения компьютерных математических служб, которые базируются на интеграции дедуктивных, индуктивных и аналитических возможностей существующих систем автоматизации рассуждений и систем компьютерной алгебры. В разд. 1 описаны основные положения программы «Алгоритм очевидности», в соответствии с которой проводилась разработка логико-математических методов превращения компьютерных знаний, изложены особенности методов обработки математических текстов в стиле Алгоритма Очевидности. Описаны синтаксис и семантика формальных языков ForTheL и ForTheL1, которые обеспечивают формальную запись и проведение дедуктивных превращений математических текстов. В разд. 2 изложены дедуктивные методы. Представлено описание основных существующих подходов к поиску логического вывода, изложена техника поиска логического вывода, которая задается при помощи определенных исчислений секвенционного типа. Приведены результаты о корректности и полноте предложенных исчислений. В дополнении проиллюстрированы возможности разработанных лингвистических и дедуктивных методов и способов обработки компьютерных знаний. Библиогр.: 42 назв. Method of researches is the development of the principles, methods and means of designing and realization of the new generation mathematical sevvices, which based on integration dedirctive, inductive and analytical possibilities of the modern systems of reasoning of computer algebra systems. The first section describes the main theses of the “Eridence Algorithm” (EA) according to which the development of logical-mathematical computer knowledge transformation methods was performed and given the peculiarities of processing means of texts in the style of EA. Syntaxis and semantics of the formal languages ForTheL and ForTheL1 are stated, which provide formal describing and deductive transformation of mathematical texts. The second section describes deductive methods and main modern approaches to searching logical deducing, gives the technique of logical deduction with the help of some sets of the sequent type. The results of correctness and completeness of proposed sets are given. The possibilities of the develoged linquistie and deductive means of computer mathematical knowledge are illustrated in supplements. Refs.: 42 titles. 2003 Article Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) / Асельдеров З.М., Вершинін К.П., Лялецький О.В., Паскевич А.Ю., Клименко В.П., Фішман Ю.С. // Математичні машини і системи. – 2003. – № 3, 4. – С. 51 – 74. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/734 51. 68. 007. 52 uk Інститут проблем математичних машин і систем НАН України |