 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL : hal-00311940, version 1 |
| arXiv : 0808.3075 |
| Fiche concise |  Récupérer au format |
 |
| Reactive preferential structures and nonmonotonic consequence Gabbay D., Schlechta K. http://hal.archives-ouvertes.fr/hal-00311940 |
|
|
|
|
| Type de publication : | |
Preprint, Working Paper, Document sans référence, etc. | ||||||||||||||||||
|
||||||||||||||||||||
| Domaine : | |
Mathématiques/Logique | ||||||||||||||||||
|
||||||||||||||||||||
| Titre : | |
Reactive preferential structures and nonmonotonic consequence | ||||||||||||||||||
|
||||||||||||||||||||
| Auteur(s) : | |
Dov Gabbay 1Karl Schlechta 1 |
||||||||||||||||||
|
||||||||||||||||||||
| Laboratoire : | |
|
||||||||||||||||||
|
||||||||||||||||||||
| Résumé : | |
We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation problems. | ||||||||||||||||||
|
||||||||||||||||||||
| Langue du texte intégral : |
|
Anglais | ||||||||||||||||||
|
||||||||||||||||||||
| Date de production, écriture : |
|
22/08/2008 | ||||||||||||||||||
|
||||||||||||||||||||
|
|
| Liste des fichiers attachés à ce document : | |||||||||||||||
|
|||||||||||||||
|
|
|
| hal-00311940, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00311940 | |
| oai:hal.archives-ouvertes.fr:hal-00311940 | |
| Contributeur : Karl Schlechta | |
| Soumis le : Vendredi 22 Août 2008, 13:27:12 | |
| Dernière modification le : Vendredi 22 Août 2008, 14:56:13 | |
