Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби)
Метою досліджень є розробка принципів, методів і засобів проектування та реалізації нового покоління комп'ютерних математичних служб, які базуються на інтеграції дедуктивних, індуктивних та аналітичних можливостей існуючих систем автоматизації міркувань та систем комп&#...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автори: | , , , , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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 |
nasplib_isofts_kiev_ua-123456789-734 |
|---|---|
| record_format |
dspace |
| spelling |
Асельдеров, З.М. Вершинін, К.П. Лялецький, О.В. Паскевич, А.Ю. Клименко, В.П. Фішман, Ю.С. 2008-06-24T13:34:34Z 2008-06-24T13:34:34Z 2003 Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) / Асельдеров З.М., Вершинін К.П., Лялецький О.В., Паскевич А.Ю., Клименко В.П., Фішман Ю.С. // Математичні машини і системи. – 2003. – № 3, 4. – С. 51 – 74. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/734 51. 68. 007. 52 Метою досліджень є розробка принципів, методів і засобів проектування та реалізації нового покоління комп'ютерних математичних служб, які базуються на інтеграції дедуктивних, індуктивних та аналітичних можливостей існуючих систем автоматизації міркувань та систем комп'ютерної алгебри. У розд. 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. uk Інститут проблем математичних машин і систем НАН України Обчислювальні системи Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) Дедуктивные, индуктивные и аналитические методы представления и обработки компьютерных знаний в интеллектуальных системах (1. Дедуктивные методы и средства) Deductive, inductive and analytical methods of representation and processing of computer knowledge in iintellectual systems (1. Deductive methods and means) Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| spellingShingle |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) Асельдеров, З.М. Вершинін, К.П. Лялецький, О.В. Паскевич, А.Ю. Клименко, В.П. Фішман, Ю.С. Обчислювальні системи |
| title_short |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| title_full |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| title_fullStr |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| title_full_unstemmed |
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби) |
| title_sort |
дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. дедуктивні методи і засоби) |
| author |
Асельдеров, З.М. Вершинін, К.П. Лялецький, О.В. Паскевич, А.Ю. Клименко, В.П. Фішман, Ю.С. |
| author_facet |
Асельдеров, З.М. Вершинін, К.П. Лялецький, О.В. Паскевич, А.Ю. Клименко, В.П. Фішман, Ю.С. |
| topic |
Обчислювальні системи |
| topic_facet |
Обчислювальні системи |
| publishDate |
2003 |
| language |
Ukrainian |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| format |
Article |
| title_alt |
Дедуктивные, индуктивные и аналитические методы представления и обработки компьютерных знаний в интеллектуальных системах (1. Дедуктивные методы и средства) Deductive, inductive and analytical methods of representation and processing of computer knowledge in iintellectual systems (1. Deductive methods and means) |
| description |
Метою досліджень є розробка принципів, методів і засобів проектування та реалізації нового покоління комп'ютерних математичних служб, які базуються на інтеграції дедуктивних, індуктивних та аналітичних можливостей існуючих систем автоматизації міркувань та систем комп'ютерної алгебри. У розд. 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.
|
| issn |
1028-9763 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/734 |
| fulltext |
|
| 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ʹkiiov 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 AT aselʹderovzm deduktivnyeinduktivnyeianalitičeskiemetodypredstavleniâiobrabotkikompʹûternyhznaniivintellektualʹnyhsistemah1deduktivnyemetodyisredstva AT veršinínkp deduktivnyeinduktivnyeianalitičeskiemetodypredstavleniâiobrabotkikompʹûternyhznaniivintellektualʹnyhsistemah1deduktivnyemetodyisredstva AT lâlecʹkiiov deduktivnyeinduktivnyeianalitičeskiemetodypredstavleniâiobrabotkikompʹûternyhznaniivintellektualʹnyhsistemah1deduktivnyemetodyisredstva AT paskevičaû deduktivnyeinduktivnyeianalitičeskiemetodypredstavleniâiobrabotkikompʹûternyhznaniivintellektualʹnyhsistemah1deduktivnyemetodyisredstva AT klimenkovp deduktivnyeinduktivnyeianalitičeskiemetodypredstavleniâiobrabotkikompʹûternyhznaniivintellektualʹnyhsistemah1deduktivnyemetodyisredstva AT fíšmanûs deduktivnyeinduktivnyeianalitičeskiemetodypredstavleniâiobrabotkikompʹûternyhznaniivintellektualʹnyhsistemah1deduktivnyemetodyisredstva AT aselʹderovzm deductiveinductiveandanalyticalmethodsofrepresentationandprocessingofcomputerknowledgeiniintellectualsystems1deductivemethodsandmeans AT veršinínkp deductiveinductiveandanalyticalmethodsofrepresentationandprocessingofcomputerknowledgeiniintellectualsystems1deductivemethodsandmeans AT lâlecʹkiiov deductiveinductiveandanalyticalmethodsofrepresentationandprocessingofcomputerknowledgeiniintellectualsystems1deductivemethodsandmeans AT paskevičaû deductiveinductiveandanalyticalmethodsofrepresentationandprocessingofcomputerknowledgeiniintellectualsystems1deductivemethodsandmeans AT klimenkovp deductiveinductiveandanalyticalmethodsofrepresentationandprocessingofcomputerknowledgeiniintellectualsystems1deductivemethodsandmeans AT fíšmanûs deductiveinductiveandanalyticalmethodsofrepresentationandprocessingofcomputerknowledgeiniintellectualsystems1deductivemethodsandmeans |
| first_indexed |
2025-11-24T09:50:41Z |
| last_indexed |
2025-11-24T09:50:41Z |
| _version_ |
1850844628321828864 |