title: Application possibilities of constraint logic programming
metadata.name: dc.contributor.advisor
metadata.value: Нечитайлов Юрий Вячеславович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Евчик Мария Васильевна
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Evchik Mariia
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: кандидат философских наук Нечитайлов Ю.В
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Candidate of Science (Philosophy) I.V.Nechitailov
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2016-08-31T12:47:06Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2016-08-31T12:47:06Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2016
metadata.name: dc.identifier.other
metadata.value: 013109
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/3542
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Данная работа представляет собой исследование на предмет использования концепции логического программирования с ограничениями не только в научных целях, а именно разработки искусственного интеллекта, но также и в повседневной жизни. Здесь представлен обзор внутренней структуры экспертных систем - одного из направлений развития логического программирования, рассмотрение метода логического вывода и вытекающего из него правила резолюции, которые в свое время легли в основу логических языков программирования. Также присутствует краткий обзор истории развития этих языков. Прикладная часть представлена примерами проектов, реализованных на логическом языке программирования с ограничениями.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: This paper represents the research regarding the use of constraint logic programming concept not only in the scientific purposes viz. AI development, but also in daily living. Here is the review of expert systems' internal structure - one of the direction of logical programming development, consideration of logic conclusion method and the following resolution rule, which are the basis of logic programming languages.There is a short history review of these languages' development also. The applied part is presented by examples of projects released in the constraint logic programming language.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: логическое програмирование с ограничениями
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Эклипс
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Пролог
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: экспертная система
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: логический вывод
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: правилo резолюции
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: constraint logic programming
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Eclipse
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Prolog
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: expert system
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: logic conclusion
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: resolution rule
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Application possibilities of constraint logic programming
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Прикладные возможности логического программирования с ограничениями
metadata.lang: ru_RU
resources.filename: PLAN_PUTINA.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/3542/1/PLAN_PUTINA.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 1,05 MB
resources.filename: reviewSV_st002864_Nechitajlov_YUrij_Vyacheslavovich_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/3542/2/reviewSV_st002864_Nechitajlov_YUrij_Vyacheslavovich_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 4,12 kB