|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Methods and algorithms for verification of knowledge bases in integrated expert systemsстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 1 апреля 2020 г.
- Авторы: Rybina G.V., Smirnov V.V.
- Журнал: Journal of Computer and Systems Sciences International
- Том: 46
- Номер: 4
- Год издания: 2007
- Издательство: Maik Nauka/Interperiodica Publishing
- Местоположение издательства: Russian Federation
- Первая страница: 590
- Последняя страница: 601
- DOI: 10.1134/S1064230707040090
- Аннотация: In this paper, a brief analysis is presented and methods of verification of expert systems and conventional programs are compared. The specific features of the verification of knowledge bases of integrated expert systems are shown, methods and algorithms of detecting static and dynamic anomalies in the knowledge field are described.
- Добавил в систему: Смирнов Виталий Валерьевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Journal_of_Computer_and_Systems_Sciences_International_2007… | 253,7 КБ | 1 апреля 2020 [Vitaly_Smirnov] |