Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Schaubn T. — The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
Schaubn T. — The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation

Автор: Schaubn T.

Аннотация:

Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect from such systems that they are not paralyzed by missing information but rather arrive at plausible results by bridging the gaps in the available information. There are moreover situations in which it is necessary to act despite incomplete information. In a word, intelligent systems have to provide means for reasoning in the absence of total information. The automation of this form of reasoning is the subject of this book.
A versatile way of reasoning in the absence of information is to reason by default. In this manner, we overcome a lack of information by making default assumptions about a situation at hand. Default reasoning puts faith in standard situations that are free from strangeness and unexpectedness; it relies on general rules expressing anticipated states of affairs. A formalization of this form of reasoning is furnished by default logic - a logical system developed by Raymond Reiter in [Rei80].
This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by default logic. For this endeavor, we span a bridge between formal semantics, over logical systems for default reasoning, to efficient implementations.


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1997

Количество страниц: 163

Добавлена в каталог: 21.12.2016

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте