Формальное описание логического пространства
Развита теория логического поля, логического векторного пространства, что позволяет определить класс задач, решаемых с помощью линейных логических преобразований. Приведена предикатная интерпретация логического пространства, которая является в свою очередь промежуточным этапом между формализацией...
Saved in:
| Date: | 2008 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/7165 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Формальное описание логического пространства / Г.Г. Четвериков, И.Д. Вечирская // Штучний інтелект. — 2008. — № 3. — С. 781-789. — Бібліогр.: 16 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-7165 |
|---|---|
| record_format |
dspace |
| spelling |
Четвериков, Г.Г. Вечирская, И.Д. 2010-03-25T12:20:05Z 2010-03-25T12:20:05Z 2008 Формальное описание логического пространства / Г.Г. Четвериков, И.Д. Вечирская // Штучний інтелект. — 2008. — № 3. — С. 781-789. — Бібліогр.: 16 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/7165 519.7:007.52; 519.711.3 Развита теория логического поля, логического векторного пространства, что позволяет определить класс задач, решаемых с помощью линейных логических преобразований. Приведена предикатная интерпретация логического пространства, которая является в свою очередь промежуточным этапом между формализацией естественноязыковой задачи и ее программной реализацией. Дістала подальшого розвитку теорія логічного поля, логічного векторного простору, що дає можливість визначити клас задач, які розв’язують за допомогою лінійних логічних перетворень. Наведено предикатну інтерпретацію логічного простору, що служить в свою чергу проміжним етапом між формалізацією природномовної задачі та її програмною реалізацією. The theory of logical field, logical vector space are developed. Its allow to define the class of tasks, wich we can solve using linear logical transformations. The predicate interpretation of logical space is leaded. It is a milestone in formalization of natural language problem and its software support. ru Інститут проблем штучного інтелекту МОН України та НАН України Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Формальное описание логического пространства Формальний опис логічного простору The Formal Description of Logical Field Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Формальное описание логического пространства |
| spellingShingle |
Формальное описание логического пространства Четвериков, Г.Г. Вечирская, И.Д. Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| title_short |
Формальное описание логического пространства |
| title_full |
Формальное описание логического пространства |
| title_fullStr |
Формальное описание логического пространства |
| title_full_unstemmed |
Формальное описание логического пространства |
| title_sort |
формальное описание логического пространства |
| author |
Четвериков, Г.Г. Вечирская, И.Д. |
| author_facet |
Четвериков, Г.Г. Вечирская, И.Д. |
| topic |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| topic_facet |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| publishDate |
2008 |
| language |
Russian |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Формальний опис логічного простору The Formal Description of Logical Field |
| description |
Развита теория логического поля, логического векторного пространства, что позволяет определить
класс задач, решаемых с помощью линейных логических преобразований. Приведена предикатная
интерпретация логического пространства, которая является в свою очередь промежуточным этапом
между формализацией естественноязыковой задачи и ее программной реализацией.
Дістала подальшого розвитку теорія логічного поля, логічного векторного простору, що дає
можливість визначити клас задач, які розв’язують за допомогою лінійних логічних перетворень.
Наведено предикатну інтерпретацію логічного простору, що служить в свою чергу проміжним етапом
між формалізацією природномовної задачі та її програмною реалізацією.
The theory of logical field, logical vector space are developed. Its allow to define the class of tasks, wich we
can solve using linear logical transformations. The predicate interpretation of logical space is leaded. It is a
milestone in formalization of natural language problem and its software support.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/7165 |
| citation_txt |
Формальное описание логического пространства / Г.Г. Четвериков, И.Д. Вечирская // Штучний інтелект. — 2008. — № 3. — С. 781-789. — Бібліогр.: 16 назв. — рос. |
| work_keys_str_mv |
AT četverikovgg formalʹnoeopisanielogičeskogoprostranstva AT večirskaâid formalʹnoeopisanielogičeskogoprostranstva AT četverikovgg formalʹniiopislogíčnogoprostoru AT večirskaâid formalʹniiopislogíčnogoprostoru AT četverikovgg theformaldescriptionoflogicalfield AT večirskaâid theformaldescriptionoflogicalfield |
| first_indexed |
2025-12-01T06:06:15Z |
| last_indexed |
2025-12-01T06:06:15Z |
| _version_ |
1850859397729746944 |