Свойства объекта
| Логические модели | |
| Название метода | Default logic |
| Другие названия метода | Дефолт логики (логики, использующие предположения по умолчанию) |
| Описание | Default logic – дефолт-логика немонотонная логика, предложенная Raymond Reiter, чтобы формализовать вывод, содержащий значение «по умолчанию». В Default logic факты могут получать значение типа «истина по умолчанию», а обычная логика может иметь значение только «истина» или «ложь». Очень часто вывод содержит такие факты, которые в большинстве случаев истинны, но не всегда. Default logic предназначена для того, чтобы формализовать правила вывода, без эксплицитного упоминания всех исключений. |
| URL | http://en.wikipedia.org/wiki/Default_logic |
Связи объекта |
|
| Автор_Метода | |
| Персоны | |
| Reiter, R. | |
Ссылки на объект |
|
| Описывает-Метод | |
| Публикации | |
| Reiter, R., A logic for default reasoning, 1980, статья | |
| Antoniou, G., A tutorial on default logics, 1999, статья | |