Cтраница 3
Неформальные беседы с экспертами в области проектирования-и внедрения систем баз данных и языков запросов дают основание читать, что вполне возможно усилить действие языков запросов и что за счет улучшения действия одного, а весьма вероятно и более, факторов удастся поднять эффективность анализа, обработки и выдачи запросов. Оба указанных действия соединяются мультипликативно, и поэтому мы делаем вывод, что можно потенциально улучшить вопросно-ответные системы за счет одного из четырех факторов. Увеличение эффективности системы непосредственно отражается на экономии денежных средств. Так как сфера использования вопросно-ответных систем обширна, сэкономленные средства могут быть измерены в биллионах долларов. [31]
Неформальные беседы с экспертами в области проектирования и внедрения систем баз данных и языков запросов дают основание оадтать, что вполне возможно усилить действие языков запросов и что за счет улучшения действия одного, а весьма вероятно и более, факторов удастся поднять эффективность анализа, обработки и выдачи запросов. Оба указанных действия соединяются мультипликативно, и поэтому мы делаем вывод, что можно потенциально улучшить вопросно-ответные системы за счет одного из четырех факторов. Увеличение эффективности системы непосредственно отражается на экономии денежных средств. Так как сфера использования вопросно-ответных систем обширна, сэкономленные средства могут быть измерены в биллионах долларов. [32]
Структура систем Ч - М общения Программно-техническая реализация мультимедиа-систем человеко-машинного общения: анима дионные линейки, системы нелинейного монтажа, настольные издательские системы, АРМы, тренажеры, вопросно-ответные системы. [33]
При этом он имеет возможность менять технологические процедуры и их отдельные блоки. Работает он на ЭВМ разных типов, при этом полезно использование естественного языка. Целесообразно применение дисплейной вопросно-ответной системы. [34]
Имеющиеся в настоящее время вопросно-ответные информационные языки обычно неудовлетворительны в том отношении, что сложность формулируемых запросов на этих языках, как правило, крайне ограниченна. Обычно увеличение допустимой сложности достигается за счет композиции связок пропозиционального исчисления и соответствующих им операций в алгебре множеств. Использование кванторов в вопросно-ответных системах в лучшем случае спорадическое, а обычно неполное и непоследовательное. Адекватное усовершенствование эротетической логики, как мы полагаем, позволит создать и внедрить информационные вопросно-ответные языки и системы, значительно более мощные и полезные, чем те, что имеются в нашем распоряжении на сегодняшний день. [35]
Мы особо выделяем здесь то обстоятельство, что функционирование вопросно-ответных систем не зависит от решения проблемы перевода естественно-языковых вопросов на некоторый формальный язык. Это чрезвычайно сложная проблема, особенно если иметь в виду, что такой перевод должен выполняться автоматически. Ни одна из существующих в настоящее время вопросно-ответных систем вне стен лабораторий, на практике, не имеет подсистемы перевода. [36]
Динамика обычно достигается за счет ввода новой информации без ведома СЕЯ. Указанное ограничение, несмотря на его жесткость, не лишает разработанные на таком принципе СЕЯ практической значимости. Примерами областей, допускающих статический мир, являются информационно-поисковые, справочные и вопросно-ответные системы. Однако при представлении метазнания о работе системы нельзя в принципе ограничиться статическим метазнанием, так как оно ( по определению) не отражает изменений в состояниях системы и преобразованиях ею входного текста. [37]
Что касается приложения доказательства теорем к ответам на вопросы, то очевидно, что для данного вопроса система не должна проводить полного поиска по всем фактам для ответа на вопрос. Она должна использовать только факты, имеющие отношение к этому вопросу. Поэтому организация данных имеет решающее значение для успеха вопросно-ответной системы. С интуитивной точки зрения мы считаем, что в памяти машины можно сгруппировать вместе похожие факты. [38]
В работе описана подсистема логического вывода, которую можно применить в любой существующей вопросно-ответной системе. Основной акцент делается на дедукции в контексте вопросно-ответной ситуации, а не на математической системе вывода. Подсистема логического вывода была изобретена для того, чтобы для данного вопроса на входе вопросно-ответной системы находить релевантные общие посылки, из которых впоследствии путем вывода можно было бы получать очень большое число допустимых посылок. Большинство этих посылок не имеет отношения к поставленной конкретной задаче. Сначала система вывода строит предварительные, скелетные деривационные предложения, с помощью которых осуществляется поиск возможных выводов, прежде чем будет предпринята какая-либо попытка верифицировать предложения. Таким образом, верификация откладывается до того момента, пока не будут определены все возможные планы доказательств. На более поздних стадиях работы системы исследуется переменный поток внутри вывода с целью обнаружения возможных коллизий, а также изучается массив фактов для построения совместимых множеств оценок распределения. Чтобы облегчить вывод, в системе вывода предусмотрено использование семантической информации. [39]
Тем не менее эти языки являются, или по крайней мере должны являться по замыслу, строго формальными и имеют точно определеннее и недвусмысленные синтаксис и семантику. В такой сЫ туации эротетическая логика, построенная не на строго формальном языке, адекватно отражает действительность. Мы не отрицаем, что развитие исследований в области перевода с естественного языка на формальный весьма желательно, однако мы не считаем, что оно является существенным звеном в применении эротетической логики в той степени, как мы разрабатываем ее для практических задач анализа вопросно-ответных систем. [40]
Тем не менее эти языки являются, или по крайней мере должны являться по замыслу, строго формальными и имеют точно определенные и недвусмысленные синтаксис и семантику. В такой ситуации эротетическая логика, построенная не на строго формальном языке, адекватно отражает действительность. Мы не отрицаем, что развитие исследований в области перевода с естественного языка на формальный весьма желательно, однако мы не считаем, что оно является существенным звеном в применении эротетической логики в той степени, как мы разрабатываем ее для практических задач анализа вопросно-ответных систем. [41]
Неформальные беседы с экспертами в области проектирования-и внедрения систем баз данных и языков запросов дают основание читать, что вполне возможно усилить действие языков запросов и что за счет улучшения действия одного, а весьма вероятно и более, факторов удастся поднять эффективность анализа, обработки и выдачи запросов. Оба указанных действия соединяются мультипликативно, и поэтому мы делаем вывод, что можно потенциально улучшить вопросно-ответные системы за счет одного из четырех факторов. Увеличение эффективности системы непосредственно отражается на экономии денежных средств. Так как сфера использования вопросно-ответных систем обширна, сэкономленные средства могут быть измерены в биллионах долларов. [42]
Неформальные беседы с экспертами в области проектирования и внедрения систем баз данных и языков запросов дают основание оадтать, что вполне возможно усилить действие языков запросов и что за счет улучшения действия одного, а весьма вероятно и более, факторов удастся поднять эффективность анализа, обработки и выдачи запросов. Оба указанных действия соединяются мультипликативно, и поэтому мы делаем вывод, что можно потенциально улучшить вопросно-ответные системы за счет одного из четырех факторов. Увеличение эффективности системы непосредственно отражается на экономии денежных средств. Так как сфера использования вопросно-ответных систем обширна, сэкономленные средства могут быть измерены в биллионах долларов. [43]
Хотя включение интерфейса на ЕЯ в состав ЭС не получило широкого распространения, рассмотрение этих вопросов вполне оправдано, поскольку именно в задаче разбора фраз на ЕЯ особенно ярко проявляются преимущества Пролога по сравнению с традиционными процедурными языками программирования. К тому же и в этих главах автор сосредоточивается на прагматических аспектах проблемы, опуская ее теоретические основания. В результате читатель знакомится с относительно простыми методами построения на Прологе ЕЯ-интерфейса, которые могут быть им использованы для построения практически полезных вопросно-ответных систем. [44]