pravda4 · 07-Дек-11 03:23(13 лет 6 месяцев назад, ред. 08-Дек-11 12:43)
Онтологии и представление знаний Год выпуска: 2010 Производитель: Computer Sciense клуб Сайт производителя: http://lektorium.tv Автор: Борис Конев Продолжительность: 15 часов Тип раздаваемого материала: Видеоурок Язык: Русский Описание: В информатике термин "онтология" означает формальное представление знаний. Онтологии определяют понятия (концепции), относящиеся к какой-то области, а также задают отношения между этими терминами. Онтологии используются в таких областях информатики, как представление знаний, медицинская и биоинформатика, а также семантическая паутина (semantic web). Современные онтологии могут содержать десятки и сотни тысяч определений, поэтому они часто имеют формат, удобный для чтения компьютером, и имеют строгую логическую базу. В данном курсе будут рассмотрены логические языки, используемые для построения и манипулирования онтологиями, введены методологии дизайна и поддержки онтологий, рассмотрены алгоритмы автоматического логического анализа (reasoning problems), включая задачи классификации, извлечения экземпляров и поиска ответов на запросы к базе знаний. Также будут рассмотрены приложения. Релиз группы: barbarland
Содержание
1.Явное представление знаний. Онтологии в информатике. Примеры онтологий. Языки представления онтологий. RDF/S и его критика. 2.Понятие дескрипционной логики. Дескрипционная логика El. 3.Полиномиальный алгоритм для задачи классификации в дескрипционной логике El. 4.Дескрипционная логика ALC. Алгоритм проверки реализуемости ALC-концептов. 5.Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с ациклической ALC-терминологией. Алгоритм классификации ALC-теорий. Расширения логики ALC. 6.Зоопарк дескрипционных логик. Оптимизация логического анализа в ALC. Модуляризация онтологий. Семантическая локальность. 7.Модуляризация онтологий: синтаксическая локальность. Алгоритм выделения модулей. Элементы данных и ABox. Запросы к ABox. 8.Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для EL и ALC. Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL. 9.Цикл разработки онтологий: анализ требований и области применения; повторное использование; перечисление терминов; определение классов; определение свойств; ограничения; данные. Примеры
seys
Это надо тем, кто занимается разработкой экспертных систем и/или логических баз данных (баз знаний). К примеру, для задач построения адаптивных экономических экспертных системы на машинном обучении. Это формат сегодняшнего дня для современных экономических ИС. Использование в фин.анализе самообучающихся методов и машинного обучения, способность ИС реагировать на изменение ситуации, использование самообучающихся методов настройки , основанных на искусственном интеллекте - позволяет снизить требование к подготовке персонала, делая современные технологии доступными широкому кругу пользователей и повышая ценность экономической информации предприятия. Особенно это касается задач типа: многомерный анализ, нейронные сети, деревья решений, самоорганизующиеся карты Кохонена, спектральный анализ и т.п.
pravda4
+1
Быдлокодеры уже привыкли, что им разжевывают и в рот кладут на курсах специалиста и подобных. Типа сел и написал. Им не в домек, что программы надо еще проектировать и анализировать
ljazzy
Меня много где можно увидеть Но я не застопориваюсь только на изучении синтексисов языков. Язык программирования - это средство. Программист должен не только иметь средства, но и знать, как ими пользоваться.
Поэтому верно высказывание, что кодеров сейчас пруд пруди, а программистов очень мало. Программировали люди еще задолго до появления компьютеров
Пояснить что ли?
Думаю, многие в школе писали примеры алгоритмов на листочке. "Посмотреть налево. Если машин нет, пройти на середину дороги и посмотреть направо. Если машин нет, идти дальше". Программа - это набор инструкций. Компьютерная программа - это набор инструкций для компьютера.
Frafnfy писал(а):
ну так если наштамповать программистов, то кто будет быдлокодить? проектированием занимается senior developer, остальные тупо пишут программу, чтобы она чуть более лучше чем через жопу работала.
Senior developer этим не занимается. Он ставит задачу, очерчивает ее общий контур, разделяет на части и раздает эти части исполнителям, следит за выполнением и увольняет быдлокодеров. Команда программистов занимается разработкой, каждый программист самостоятельно определяет, что и как ему делать. Это когда еще есть Senior developer. Тенденция идет к тому, что ими тоже нередко становятся быдлокодеры, знающие синтексисы многих языков.
Frafnfy
Давайте разведем детсад, "не покажешь, значит не умеешь".
Последовательность ваших постов впечатляет.
И сходите ко врачу, проверьте чувствительность нутра к высерам. Поскольку на деле вот он
Программировали люди еще задолго до появления компьютеров
?
Тут даже если не углубляться, здравый смысл должен решить: зачем программировать не для компьютера? И зачем брать именно такое слово как программировать? Но можете, конечно, показать свои широкие знания и ответить как профессионал.
Все, что я утверждаю, это то, что языки программирования принято переоценивать в программировании. Вместо кодера, знающего 5 языков программирования я бы предпочел нанять человека, который сможет написать 5 алгоритмов вычисления оптимального решения задачи о волке, козе и капусте. Хоть на бумажке и обычными человеческими словами. Обучить языкам относительно просто, научить думать - гораздо сложней.
А если не углубляться... Что ж, компьютер - это вычислитель по определению. Следовательно, программист - это математик. На основе криптографии делаются файловые архиваторы, DOM-модель - это граф, операторы && и || - это коньюнкция и дизъюнкция. Программой можно назвать механизм будильника или семафора. Хотя на этом месте меня закидают тапками, как же может быть программа без компьютера??? А вот может. Работа программистов, не кодеров, а именно программистов, с тех пор изменилась только в инструментарии и точке применения.
никого не хотел обидеть, качайте наздоровье, я просто в будущем уезжаю в сша работать и меня интересуют только топовые темы, которые нужны там, чтобы быть востребованным специалистам и всегда заработать на кусок хлеба. каждому свое
Программы надо анализировать. Без этого никак. Весь продакш на этом построен. Тестирование , оценка производительности и автоматическое порождение новых программ, а также работа компиляторов и интерпретаторов - без механизма анализа программ - не возможны. Только математические средства и позволяют управлять компьютером На то он и компьютер - от слова "считать".
Математика арифметикой не ограничивается Конечно некоторые пользуются некоторыми ограниченными возможностями компьютера - даже без знания математики. Т.е. методом народного тыка Даже так пишут код В природе все возможно
А что такое технические средства ? Лопаты или молотки ? Технические средства с неба не падают, и на деревьях не растут. Технические средства - это продукт исключительно антропогенный, т.е. это продукт реализация человеческих идей. Верно ?
В случае с ЭВМ - это идеи математические. (Для железа еще - и физические ). Или каких-то других идей ? Что бы идеи появились - надо обладать знаниями. Машину Тьюринга, Алгорифмы Маркова, Машину Поста, Лямбда-конверсию Черча , Теорию рекурсивных функций Клини и другие вычислительные формализмы - изобрели исключительно математики И большинство - еще задолго до появления ПК и электронных вычислительных устройств. Алгоритм правит компьютерами А алгоритм - это понятие математическое, ибо определение этому понятию дается только в разделе оснований математики, которое так и называется "Теория алгоритмов". Юзеры могут только юзать Или "админить" А создавать что-то в этом мире, в т.ч. программы или технику, можно только на основе математики, ибо математика - это язык современной науки. И в каждой науке ровно столько науки - сколько в ней математики Математика разная бывает: нечеткая и вероятностная логика - это тоже математика.Личность без математики - не личность Т.е. личность , но не современная. Чем определяется современен данный человек или нет ? Определяется это тем , что у него в голове. А что у него в голове может быть ? Могут быть знания. А где он их взял ? Придумал? Нет. Жизни не хватит и ума. Он их почерпнул. Точнее - унаследовал. Унаследовал то, что создали тысячи гениев за тысячи лет. Степень наследования научных абстракций и есть критерий оценки развития современного человека, как представителя цивилизации. А если не унаследовал, то живет в своем персональном каменном веке. Это его "почетное" право Право быть юзером а-а-админом
скрытый текст
Про Тамплиеров вряд ли вы можете полноценное представление иметь, особенно о том, как проходят их сборища Кроме того тамплиеры и саентологи - это разные "вещи" Но и те и другие склоняют голову перед наукой, хотя и не занимаются научной деятельностью Грааль к саентологам вообще никакого отношения не имеет А во времена образования ордена Тамплиеров - вычислительных машин тоже не было Никаких Машина Бэббиджа и идеи Лейбница появились гораздо позже И тот и другой - математики Отсюда вывод: математики - это особый подвид в Homo sapiens, обеспечивающий развитие всего вида и являющийся носителем и производителем наиболее ценных знаний
clochard - вы осознаете разницу между Architect / Developer / Engineer? Вам нравятся исследования я занимаюсь прикладной разработкой... Вы улучшаете жизнь людей, я позволяю им решать задачи эффективней... Вы пишите научные работы, я зарабатываю деньги. Есть мнение, что вы занимаетесь не правильным программированием, потому, что программирование - должно приносить прибыль. Я очень рад за вас, только что вы вообще без кодеров можете? Кодер - двигатель прогресса, вы бы и дальше расчитывали смысл жизни на счетах. ЯМы пишем программы для простых людей, вы делаете это для себя и такх же как вы... P.S. да я видел дату сообщения, очень надеюсь за эти годы вы поумнели, хотя вы же в своем научном мире живете.. врятли
62962866Есть мнение, что вы занимаетесь не правильным программированием, потому, что программирование - должно приносить прибыль.
Есть мнение, что никто никому ничего не должен.
iUrpok писал(а):
62962866Кодер - двигатель прогресса
Лопата - это двигатель прогресса?
Мне всегда казалось, что прогресс движется мозгом, на худой конец ленью (но опять же не без участия одного из двух мозговых полушарий).
iUrpok писал(а):
62962866вы же в своем научном мире живете
Чрезмерно много предположений в вашем посте.
Я не вижу причин теории мешать практике.