| 1. | Flora-2 is an extension of F-logic with HiLog, Transaction logic, and defeasible reasoning.
Flora-2, une extension de F-logic avec HiLog, Transaction logic, et raisonnement défaisable. |
| 2. | A priority ordering over the defeasible rules and the defeaters can be given.
On peut donner une priorité sur les règles défaisables et les défaiseurs. |
| 3. | Defeasible logic is a non-monotonic logic proposed by Donald Nute to formalize defeasible reasoning.
La logique défaisable est une logique non-monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. |
| 4. | Defeasible logic is a non-monotonic logic proposed by Donald Nute to formalize defeasible reasoning.
La logique défaisable est une logique non-monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. |
| 5. | One of the main disputes among those who produce systems of defeasible reasoning is the status of a rule of specificity.
L'un des principaux différents lors de la production de système de raisonnement révisable est le statut d'une règle de spécificité'. |
| 6. | Nicholas Rescher's Dialectics is an example of how difficult it was for philosophers to contemplate more complex systems of defeasible reasoning.
La Dialectique de Nicholas Rescher est un exemple montrant combien il était difficile pour les philosophes de contempler des systèmes plus complexes de raisonnement révisable. |
| 7. | With philosophers such as Pollock and Donald Nute (e.g., defeasible logic), dozens of computer scientists and logicians produced complex systems of defeasible reasoning between 1980 and 2000.
Avec des philosophes tels que Pollock et Donald Nute, des dizaines de chercheurs en informatique et en logique ont créé des systèmes complexes de raisonnement révisable entre 1980 et 2000. |
| 8. | With philosophers such as Pollock and Donald Nute (e.g., defeasible logic), dozens of computer scientists and logicians produced complex systems of defeasible reasoning between 1980 and 2000.
Avec des philosophes tels que Pollock et Donald Nute, des dizaines de chercheurs en informatique et en logique ont créé des systèmes complexes de raisonnement révisable entre 1980 et 2000. |
| 9. | During the process of deduction, the strict rules are always applied, while a defeasible rule can be applied only if no defeater of a higher priority specifies that it should not.
Au cours du processus de déduction, les règles strictes sont toujours appliquées, alors qu'une règle défaisable peut être appliquée seulement si aucun défaiseur d'une priorité plus grande ne l'interdit. |
| 10. | At the same time (in the mid-1960s), two more students of Hart and Austin at Oxford, Brian Barry and David Gauthier, were applying defeasible reasoning to political argument and practical reasoning (of action), respectively.
Au même moment (au milieu des années 1960), deux étudiants, Brian Barry et David Gauthier, appliquaient le raisonnement révisable à des arguments politiques et au raisonnement pratique (d'action), respectivement. |
