Свойства объекта
| Логические модели | |
| Название метода | Defeasible logic |
| Описание | Defeasible logic is a non-monotonic logic proposed by Donald Nute to formalize defeasible reasoning. In defeasible logic, there are three different types of propositions: (1) strict rules - specify that a fact is always a consequence of another; (2) defeasible rules - specify that a fact is typically a consequence of another; (3) undercutting defeaters - specify exceptions to defeasible rules. A priority ordering over the defeasible rules and the defeaters can be given. |
| URL | http://en.wikipedia.org/wiki/Defeasible_logic |
Связи объекта |
|
| Автор_Метода | |
| Персоны | |
| Nute, D. | |
Ссылки на объект |
|
| Описывает-Метод | |
| Публикации | |
| Nute, D., Defeasible logic, статья | |