Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Complexité de l’argumentation dans le cadredu treillis de Post
LIF, Aix-Marseille Université, France.
LIF, Aix-Marseille Université, France.
Institut für Theoretische Informatik, Gottfried Wilhelm Leibniz Universität, Hannover, Germany.
Institut für Informationssysteme, Technische Universität, Wien, Austria.
2010 (French)Conference paper, Published paper (Refereed)
Abstract [fr]

Dans beaucoup de formalisations logiques de l’argumentation un ar-gument est présenté comme une paire (Φ,α), où le support Φ est un sous-ensemble consistant minimal d’une base de connaissances qui implique l’affirmationα. Dans la plupart des scénarii les arguments sont donnés dans le langage completde la logique propositionnelle. Dans un tel contexte le raisonnement est une tâche algorithmique très difficile. Par exemple, décider s’il existe un support pour une affirmation donnée est Σp2-complet. Afin de comprendre ce qui est à la source dela difficulté de ce problème (et d’identifier des fragments résolubles efficacement) nous nous intéressons aux arguments donnés sous la forme de formules propositionnelles dont les connecteurs logiques font partie d’un ensemble de fonctions booléennes donné. Nous considérons quatre problèmes de décision : existe-t-il unsupport pour un argument ? un argument est-il valide ? une formule donnée est-elle pertinente (resp. superflue) dans les prémisses d’un argument ? Nous classifions la complexité de ces problèmes selon tous les ensembles possibles deconnecteurs autorisés.

Place, publisher, year, edition, pages
2010.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hj:diva-31635OAI: oai:DiVA.org:hj-31635DiVA: diva2:957374
Conference
Journées Nationales de l’Intelligence Artificielle Fondamentale(JIAF’10), 2010
Available from: 2016-09-01 Created: 2016-09-01 Last updated: 2016-09-01Bibliographically approved

Open Access in DiVA

No full text

Other links

Fulltext

Search in DiVA

By author/editor
Schmidt, Johannes
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 10 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf