Résumé de rapport du LIF

Téléchargement / Download : pdf 1648k , ps.gz 844k , bibtex

Abstract

We discuss several types of common sense reasoning, reduce them to a small number of basic semantical concepts, and show several (in-)completeness results for such logics. An extensive Summary is inside the package.

Keywords

Common sense reasoning, nonmonotonic logic, argumentation, counterfactuals, modal logic, theory revision, theory update, plausibility logic, completeness, incompleteness, preferential structures, distance based structures, size based structures.

Résumé

Nous discutons quelques types de raisonnement, nous les réduisons a un petit nombre de concepts sémantiques de base, et démontrons quelques résultats de (in-)complétude pour ces logiques. Un résumé détaillé est dans le rapport, voir "Summary".

Mots clés

Raisonnement "du sens commun", logiques non-monotones, argumentation, contrefactuels, logique modale, révision, mise-à-jour, logique de plausibilité, complétude, incomplétude, structures préférentielles, structures basées sur distance, structures basées sur taille.

Bibtex

@TECHREPORT{14-2003,
    AUTHOR	= {Karl Schlechta},
    TITLE	= {{Coherent systems}},
    INSTITUTION	= {{LIF}},
    ADDRESS	= {Marseille, France},
    TYPE	= {Research report},
    NUMBER	= {14-2003},
    MONTH	= {11},
    YEAR	= {2003},
    NOTE	= {http://pageperso.lif.univ-mrs.fr/~edouard.thiel/RESP/Rapports/14-2003.html},
}