Cтраница 2
В рамках логической модели знания представляются в системе логики предикатов первого порядка. Приведенные ниже примеры являются логическими моделями представления фактов ( в данном случае - Петров посещает лекции и Петров - студент) с помощью предикатов и носят название атомарной формулы. [16]
Здесь нужен человек, понимающий текст и владеющий приемами представления фактов в виде так называемых предикатов - это и есть те самые отношения, с которыми работает Пролог. [17]
Он отметил акцент на потребности в ясности и однозначности в бухгалтерской отчетности: Обязанность бухгалтеров в заключительном анализе состоит в использовании научного метода и представлении научно определяемых фактов. Эти слова отражают характер учетной мысли того времени, к обсуждению которой мы вернемся в гл. [18]
Наличие различных представлений ( ло виду и способу) в одной системе позволяет комбинировать преимущества различных форм представления. Под способом представления факта А будем понимать тот внутренний язык системы, в котором представлены знания А. Под видом представления факта А будем понимать утверждение в некотором внутреннем языке, соответствующее факту А. При использовании разнообразных представлений необходимо решить по крайней мере три проблемы: выбор представления, преобразование одного представления в другое, совместимость представлений. [19]
Она состоит из символа f и записанного через тире индекса факта. Существует два формата представления фактов: позиционный и непозиционный. [20]
Модель данных может быть определена посредством структур, ограничений и операций. При этом неявно подразумевается, что любые данные, связанные с приложениями, могут быть структурированы так, как это предусмотрено моделью данных. Другой подход к моделированию предполагает первичность определения простых структур для представления фактов и вторичность способов их организации в ( семантические) структуры и типы данных. [21]
Весьма показательна в этом отношении реакция на книгу Уиттекера известного американского историка Холтона. Холтон совершенно правильно выступил против основного вывода Уиттекера о том, что статья Эйнштейна представляла собой лишь некоторое расширение теории относительности Пуанкаре и Лоренца. Однако свое мнение Холтон обосновывал также и несправедливым обвинением автора в тенденциозном представлении фактов. [22]
Следствием полезности гипотезы о физической символьной системе является формирование в последние годы области представления знаний - одного из центральных направлений в искусственном интеллекте. Почти в каждом проекте - от понимания естественного языка до зрительного восприятия, планирования и построения экспертных систем - используется явное символьное представление информации из интересующей области. В них одним из главных вопросов становится представление произвольных знаний, в котором символы используются для представления фактов и метаинформации, касающейся области. В обзоре работ по представлению знаний [22] упоминается более восьмидесяти проектов, посвященных этому вопросу. [23]
Важным этапом создания базы знаний является этап приобретения знаний. Затем разработчику базы знаний необходимо ввести в ЭС разнообразный набор фактов о некотором предмете, предварительно представив знания в виде некоторой общей структуры. Одна из таких структур называется деревом решения. Это не единственный способ представления фактов, и он не может быть применен для всех без исключения задач. Однако дерево решения очень эффективно там, где знания представляются в виде правил. [24]
Знания о предметной области бывают разнообразными. Когда эти знания прочны, постоянны и формализованы, алгоритмические вычислительные программы, которые решают задачи в этой предметной области, оказываются более подходящими, чем эвристические. Однако когда знания субъективны, слабоструктурированы и отчасти носят оценочный характер, экспертные системы, использующие эвристический подход, являются более подходящими. Последний тип знаний редко удается сформулировать в таком виде, который допускает простой перевод в программу. Поэтому процесс извлечения знаний из эксперта ( или из источника экспертизы) и преобразование их в программу ( экспертную систему) представляет собой важную и трудную проблему. Этот процесс называется приобретением знаний. Он включает в себя формулировку проблемы, практическую реализацию и доводку, а также представление фактов и связей, полученных от эксперта. [25]
Если определенные атомные конфигурации приобретают устойчивость, то возникают соединения атомных частиц. Правда, в химии различаются элементы и соединения, причем к последним относят только объединения различных видов атомов. Однако, как было уже указано выше ( стр. Аналогичное положение наблюдается, например, и в отношении обозначения металлы, имеющего двоякое значение: с одной стороны, под этим термином понимаются определенные виды атомов, с другой - тела, которые лишь под влиянием определенных взаимозависимостей приобрели те свойства, которые в науке и обыденной жизни связаны с понятием металл. Вообще современная химия содержит ряд излишних или неправильных концепций, которые могут быть поняты только & свете исторического подхода. Такие концепции способствуют неверным представлениям и затрудняют единообразное рассмотрение важных проблем. В интересах четкого изложения и представления фактов эти неправильные понятия должны быть постепенно изжиты, как ни трудно привыкнуть к новым определениям. [26]
Если определенные атомные конфи - гурации приобретают устойчивость, то возникают соединения атомных частиц. Правда, в химии различаются элементы и соединения, причем к последним относят только объединения различных видов атомов. Однако, как было уже указано выше ( стр. Аналогичное положение наблюдается, например, и в отношении обозначения металлы, имеющего двоякое значение: с одной стороны, под этим термином понимаются определенные виды атомов, с другой - тела, которые лишь под влиянием определенных взаимозависимостей приобрели те свойства, которые в науке и обыденной жизни связаны с понятием металл. Вообще современная химия содержит ряд излишних или неправильных концепций, которые могут быть поняты только в свете исторического подхода. Такие концепции способствуют неверным представлениям и затрудняют единообразное рассмотрение важных проблем. В интересах четкого изложения и представления фактов эти неправильные понятия должны быть постепенно изжиты, как ни трудно привыкнуть к новым определениям. [27]
Экспертные системы стремительно выходят на передний край технологии искусственного интеллекта. Это объясняется потребностью в таких системах в коммерческой и научной деятельности, а также тем, что технология искусственного интеллекта достигла такого уровня, при котором разработка экспертных систем стала хорошо понимаема и возможна во многих областях. Экспертная система - это машинная программа, которая воплощает в себе компетентность одного или нескольких экспертов в некоторой области и применяет эти знания для того, чтобы сделать полезные выводы для пользователя этой системы. Более конкретно, экспертная система имеет несколько основных характеристик, которые отличают ее от обычных программ ( см. гл. Во-первых, она должна хорошо работать. Делает она это путем применения экспертных правил сравнительно эффективным способом для того, чтобы достичь приемлемых решений. Во-вторых, она основывает свой логический процесс на работе с символами. А этот подход подразумевает, что знание чего-то включает в себя символьное представление фактов или знаний о мире. В-третьих, экспертная система должна располагать некоторыми знаниями об основных принципах в области ее интересов. Это может быть использовано как для обеспечения дополнительной помощи в случае, когда экспертные правила не дают результата, так и для создания разумных объяснений процесса логического вывода. Экспертная система должна уметь судить о своих знаниях, а также воспроизводить цепочку логического вывода для объяснения и обоснования. [28]