<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
>

<channel>
	<title>GDR I3 - Th&#232;me 1 : Intelligence Artificielle Fondamentale</title>
	<link>http://gdri3iaf.info.univ-angers.fr/</link>
	<description></description>
	<language>fr</language>
	<generator>SPIP - www.spip.net</generator>

	<image>
		<title>GDR I3 - Th&#232;me 1 : Intelligence Artificielle Fondamentale</title>
		<url>http://gdri3iaf.info.univ-angers.fr/IMG/siteon0.gif</url>
		<link>http://gdri3iaf.info.univ-angers.fr/</link>
		<height>150</height>
		<width>150</width>
	</image>




	<item>
		<title>Programme pr&#233;visionnel des Journ&#233;es IAF'12</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article160</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article160</guid>
		<dc:date>2012-04-25T16:53:51Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Redacteur GDRI3IAF</dc:creator>

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28">Journ&#233;es IAF'12</category>


		<description>Mardi 22 Mai 2012 &lt;br /&gt; ; 16h30 - 17h45 ; E


-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28" rel="directory"&gt;Journ&#233;es IAF'12&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Mardi 22 Mai 2012&lt;/strong&gt;&lt;/p&gt; &lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;strong class=&quot;spip&quot;&gt;9h00 - 9h15&lt;/strong&gt;&lt;/td&gt;&lt;td&gt;	&lt;strong class=&quot;spip&quot;&gt;Ouverture des journ&#233;es IAF/JFPC&lt;/strong&gt; &lt;/td&gt;&lt;td&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;9h15 - 10h15&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Expos&#233; de synth&#232;se&lt;/strong&gt; &lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt; &lt;i class=&quot;spip&quot;&gt;&quot;Confiance et R&#233;putation&quot;&lt;/i&gt;.
Andreas Herzig, Laurent Vercouter &lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;10h15 - 10h45&lt;/td&gt;&lt;td&gt;	Pause caf&#233;&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;10h45 - 12h45&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Contributions&lt;/strong&gt;&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Continuous Preferences for Action Selection&lt;/i&gt;
Patricia Everaere et Emmanuelle Grislin-Le Strugeon&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Three traditions in the logic of action : bringing them together&lt;/i&gt;
Andreas Herzig, Tiago De Lima, Emiliano Lorini et Nicolas Troquard&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Fair Division of Indivisible Goods under Risk&lt;/i&gt;
Charles Lumet, Sylvain Bouveret et Michel Lema&#238;tre&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Traitement des pr&#233;f&#233;rences dans les syst&#232;mes d'argumentation avec n&#233;cessit&#233;s&lt;/i&gt;
Imane Boudhar, Farid Nouioua et Vincent Risch &lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;12h45 - 14h00&lt;/td&gt;&lt;td&gt;	D&#233;jeuner&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;14h00 - 16h00&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Contributions&lt;/strong&gt;&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Pr&#233;dominance de Connaissances Subsum&#233;es en Logique Classique&lt;/i&gt;
Philippe Besnard, Eric Gr&#233;goire et S&#233;bastien Ramon&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Mod&#232;les stables en logique possibiliste g&#233;n&#233;ralis&#233;e&lt;/i&gt;
Didier Dubois, Henri Prade et Stenven Shockaert&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Comparative Similarity Logic over Triangular and Metric Models : Preferential Semantics, Axiomatization and Completeness Proof&lt;/i&gt;
Regis Alenda et Nicola Olivetti&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Sur la S&#233;mantique des Bases Partiellement Ordonn&#233;es&lt;/i&gt;
Claudette Cayrol et Didier Dubois&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;16h00 - 16h30&lt;/td&gt;&lt;td&gt;	Pause caf&#233;&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;16h30 - 17h45&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Expos&#233; de Synth&#232;se&lt;/strong&gt;&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;&quot;Intelligence Artificielle et Jeux Vid&#233;os&quot;&lt;/i&gt;. Vincent Corruble&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Mercredi 23 Mai 2012&lt;/strong&gt;&lt;/p&gt; &lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;9h00 - 10h15&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Expos&#233; de synth&#232;se&lt;/strong&gt; &lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt; &lt;i class=&quot;spip&quot;&gt;&quot;Analogie Artificielle&quot;&lt;/i&gt;.
Laurent Miclet &lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;10h15 - 10h45&lt;/td&gt;&lt;td&gt;	Pause caf&#233;&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;10h45 - 12h45&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Contributions&lt;/strong&gt;&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;From Logic to Belief Revision : a formal definition of the bi-modal operator of comparative similarity by a distance based revision operator&lt;/i&gt;
Camilla Schwind&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Consistency and completeness of regulations under constraints&lt;/i&gt;
Laurence Cholvy, Christophe Garion et Stephanie Roussel&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Complexity of logic-based argumentation in Schaefer's framework&lt;/i&gt;
Nadia Creignou, Uwe Egly et Johannes Schmidt&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Logiques tri-valu&#233;es de l'information incompl&#232;te et logique &#233;pid&#233;mique&lt;/i&gt;
Davide Ciucci et Didier Dubois &lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;12h45 - 14h00&lt;/td&gt;&lt;td&gt;	D&#233;jeuner&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;14h00 - 15h15&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Expos&#233; de synth&#232;se commun IAF/JFPC&lt;/strong&gt;&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Approches d&#233;claratives pour l'&#233;num&#233;ration de motifs int&#233;ressants&lt;/i&gt;
Lhouari Nourine, Jean-Marc Petit, Lakhdar Sa&#239;s&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;15h15 - 16h00&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Contributions courtes&lt;/strong&gt;&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Distributed Tree Decomposition by Local Elections with One Token&lt;/i&gt; Vincent Armant and Laurent Simon	&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Mod&#232;les graphiques probabilistes pour les probl&#232;mes r&#233;currents d'ADMC&lt;/i&gt; V&#233;ronique Delcroix	&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Implicant Belief Revision&lt;/i&gt; Camilla Schwind&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;16h00 - 16h30&lt;/td&gt;&lt;td&gt;	Pause caf&#233;&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;strong class=&quot;spip&quot;&gt;16h30 - 18h00&lt;/strong&gt;&lt;/td&gt;&lt;td&gt;	&lt;strong class=&quot;spip&quot;&gt;Session Ouverte&lt;/strong&gt;&lt;/td&gt;&lt;td&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;strong class=&quot;spip&quot;&gt;18h00 - 18h30&lt;/strong&gt;&lt;/td&gt;&lt;td&gt;	&lt;strong class=&quot;spip&quot;&gt;Discussion Animation du th&#232;me&lt;/strong&gt;&lt;/td&gt;&lt;td&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Jeudi 24 Mai 2012&lt;/strong&gt;&lt;/p&gt; &lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;9h00 - 10h15&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Expos&#233; de synth&#232;se commun IAF/JFPC&lt;/strong&gt; &lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt; &lt;i class=&quot;spip&quot;&gt;&quot;Programmation Logique Inductive&quot;&lt;/i&gt;.
Christel Vrain, C&#233;line Rouveirol &lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;10h15 - 10h45&lt;/td&gt;&lt;td&gt;	Pause caf&#233;&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;10h45 - 12h45&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Contributions&lt;/strong&gt;&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Apprentissage de GAI-d&#233;compositions&lt;/i&gt;
Damien Bigot, Helene Fargier, Jerome Mengin et Bruno Zanuttini&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Quand l'intelligence est juste une question de recopie&lt;/i&gt;
William Correa, Henri Prade et Gilles Richard&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Incremental mining of frequent sequences from a window sliding over a stream of item sets&lt;/i&gt;
Thomas Guyet et Ren&#233; Quiniou&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Backjumping pour le calcul d'ensembles r&#233;ponses dans les solveurs ASP guid&#233;s par les r&#232;gles&lt;/i&gt;
St&#233;phane Ngoma, Laurent Garcia, Claire Lef&#232;vre et Igor St&#233;phan&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;12h45 - 14h00&lt;/td&gt;&lt;td&gt;	D&#233;jeuner&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;14h00 - 16h00&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Contributions&lt;/strong&gt;&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Int&#233;grales et d&#233;sint&#233;grales qualitatives et leur contrepartie logique&lt;/i&gt;
Didier Dubois, Henri Prade et Agnes Rico&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Un Algorithme de Subsomption polyn&#244;mial bas&#233; sur la th&#233;orie des types&lt;/i&gt;
Richard Dapoigny et Patrick Barlatier&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Extension du formalisme des flux op&#233;rationnels par une alg&#232;bre temporelle&lt;/i&gt;
Valmi Dufour-Lussier, Florence Le Ber et Jean Lieber&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;Mining Biclusters of Similar Values with Triadic Concept Analysis&lt;/i&gt;
Mehdi Mehdi, Sergei Kuznetsov, Juraj Macko et Amedeo Napoli&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;16h00 - 16h30&lt;/td&gt;&lt;td&gt;	Pause caf&#233;&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;thead&gt;&lt;tr class='row_first'&gt;&lt;th scope='col'&gt;&lt;strong class=&quot;spip&quot;&gt;16h30 - 17h45&lt;/strong&gt;&lt;/th&gt;&lt;th scope='col'&gt;	&lt;strong class=&quot;spip&quot;&gt;Expos&#233; de Synth&#232;se&lt;/strong&gt;&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;/td&gt;&lt;td&gt;&lt;i class=&quot;spip&quot;&gt;&quot;Incertitude et Non-Monotonie&quot;&lt;/i&gt;. Didier Dubois&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Liste des contributions accept&#233;es aux journ&#233;es IAF'12</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article159</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article159</guid>
		<dc:date>2012-04-04T20:37:23Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Redacteur GDRI3IAF</dc:creator>

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28">Journ&#233;es IAF'12</category>


		<description>Pr&#233;sentations longues : &lt;br /&gt;Pr&#233;dominance de Connaissances Subsum&#233;es en Logique Classique &lt;br /&gt;Philippe Besnard, Eric Gr&#233;goire et S&#233;bastien Ramon &lt;br /&gt;Continuous Preferences for Action Selection &lt;br /&gt;Patricia Everaere et Emmanuelle Grislin-Le Strugeon &lt;br /&gt;Complexity of logic-based argumentation in Schaefer's framework &lt;br /&gt;Nadia Creignou, Uwe Egly et Johannes Schmidt &lt;br /&gt;Logiques tri-valu&#233;es de l'information incompl&#232;te et logique &#233;pid&#233;mique &lt;br /&gt;Davide Ciucci et Didier Dubois &lt;br /&gt;From Logic to Belief Revision : a formal definition of (...)


-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28" rel="directory"&gt;Journ&#233;es IAF'12&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Pr&#233;sentations longues :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Pr&#233;dominance de Connaissances Subsum&#233;es en Logique Classique&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Philippe Besnard, Eric Gr&#233;goire et S&#233;bastien Ramon&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Continuous Preferences for Action Selection&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Patricia Everaere et Emmanuelle Grislin-Le Strugeon&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Complexity of logic-based argumentation in Schaefer's framework&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Nadia Creignou, Uwe Egly et Johannes Schmidt&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Logiques tri-valu&#233;es de l'information incompl&#232;te et logique &#233;pid&#233;mique&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Davide Ciucci et Didier Dubois&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;From Logic to Belief Revision : a formal definition of the bi-modal operator of comparative similarity by a distance based revision operator&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Camilla Schwind&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Three traditions in the logic of action : bringing them together&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Andreas Herzig, Tiago De Lima, Emiliano Lorini et Nicolas Troquard&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Fair Division of Indivisible Goods under Risk&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Charles Lumet, Sylvain Bouveret et Michel Lema&#238;tre&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Apprentissage de GAI-d&#233;compositions&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Damien Bigot, Helene Fargier, Jerome Mengin et Bruno Zanuttini&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Consistency and completeness of regulations under constraints&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Laurence Cholvy, Christophe Garion et Stephanie Roussel&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Mod&#232;les stables en logique possibiliste g&#233;n&#233;ralis&#233;e&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Didier Dubois, Henri Prade et Stenven Shockaert&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Int&#233;grales et d&#233;sint&#233;grales qualitatives et leur contrepartie logique&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Didier Dubois, Henri Prade et Agnes Rico&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Quand l'intelligence est juste une question de recopie&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;William Correa, Henri Prade et Gilles Richard&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Backjumping pour le calcul d'ensembles r&#233;ponses dans les solveurs ASP guid&#233;s par les r&#232;gles&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;St&#233;phane Ngoma, Laurent Garcia, Claire Lef&#232;vre et Igor St&#233;phan&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Incremental mining of frequent sequences from a window sliding over a stream of item sets&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Thomas Guyet et Ren&#233; Quiniou&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Traitement des pr&#233;f&#233;rences dans les syst&#232;mes d'argumentation avec n&#233;cessit&#233;s&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Imane Boudhar, Farid Nouioua et Vincent Risch&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Sur la S&#233;mantique des Bases Partiellement Ordonn&#233;es&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Claudette Cayrol et Didier Dubois&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Comparative Similarity Logic over Triangular and Metric Models : Preferential Semantics, Axiomatization and Completeness Proof&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Regis Alenda et Nicola Olivetti&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Un Algorithme de Subsomption polyn&#244;mial bas&#233; sur la th&#233;orie des types&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Richard Dapoigny et Patrick Barlatier&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Extension du formalisme des flux op&#233;rationnels par une alg&#232;bre temporelle&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Valmi Dufour-Lussier, Florence Le Ber et Jean Lieber&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Mining Biclusters of Similar Values with Triadic Concept Analysis&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Mehdi Mehdi, Sergei Kuznetsov, Juraj Macko et Amedeo Napoli&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Pr&#233;sentation courtes :&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Mod&#232;les graphiques probabilistes pour les probl&#232;mes r&#233;currents d'ADMC&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;V&#233;ronique Delcroix&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Implicant Belief Revision&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Camilla Schwind&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &lt;i class=&quot;spip&quot;&gt;Distributed Tree Decomposition by Local Elections with One Token&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Vincent Armant et Laurent Simon&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Liste des Expos&#233;s de Synth&#232;se</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article158</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article158</guid>
		<dc:date>2012-02-23T10:44:59Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Redacteur GDRI3IAF</dc:creator>

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28">Journ&#233;es IAF'12</category>


		<description>Les expos&#233;s de synth&#232;se sont des expos&#233;s de 45mn, suivis de 15mn de discussion. &lt;br /&gt;Cette ann&#233;e les expos&#233;s de synth&#232;se porteront sur les th&#232;mes suivants : &lt;br /&gt; ; Confiance et R&#233;putation Andreas Herzig, Laurent Vercouter ; &#171; Est-ce que l'information de ce site web est correcte ? &#187; ; &#171; Dois-je prendre au s&#233;rieux ce courrier ? &#187; ; &#171; Je peux r&#233;server cet h&#244;tel au travers deux sites diff&#233;rents, lequel dois-je choisir ? &#187; ; &#171; Est-ce que ce service web vendra mes donn&#233;es sans mon consentement ? &#187; Toutes ces questions (...)


-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28" rel="directory"&gt;Journ&#233;es IAF'12&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;p class=&quot;spip&quot;&gt;Les expos&#233;s de synth&#232;se sont des expos&#233;s de 45mn, suivis de 15mn de discussion.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Cette ann&#233;e les expos&#233;s de synth&#232;se porteront sur les th&#232;mes suivants :&lt;/p&gt; &lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;strong class=&quot;spip&quot;&gt;Confiance et R&#233;putation&lt;/strong&gt; &lt;i class=&quot;spip&quot;&gt;Andreas Herzig, Laurent Vercouter&lt;/i&gt; &lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;&#171; Est-ce que l'information de ce site web est correcte ? &#187; ; &#171; Dois-je prendre au s&#233;rieux ce courrier ? &#187; ; &#171; Je peux r&#233;server cet h&#244;tel au travers deux sites diff&#233;rents, lequel dois-je choisir ? &#187; ; &#171; Est-ce que ce service web vendra mes donn&#233;es sans mon consentement ? &#187; Toutes ces questions portent sur la confiance qu'un agent peut avoir en un autre agent, soit-il humain ou artificiel. Cette question se pose d'autant plus dans des syst&#232;mes ouverts et d&#233;centralis&#233;s comme Internet o&#249; l'information est souvent incompl&#232;te, voire erron&#233;e, o&#249; l'identit&#233; des agents est incertaine et o&#249; la r&#233;putation joue un r&#244;le cl&#233;. Dans ces syst&#232;mes les m&#233;canismes de s&#233;curit&#233; avec des autorit&#233;s centrales sont en g&#233;n&#233;ral inapplicables ; pire, m&#234;me si un syst&#232;me a &#233;t&#233; d&#233;montr&#233; s&#251;r, il ne sera pas utilis&#233; par des agents humains si ils n'ont pas confiance en son bon fonctionnement. C'est pour cette raison que la couche sup&#233;rieure du mod&#232;le du web s&#233;mantique est celle de la confiance. De nombreux mod&#232;les implant&#233;s de la confiance et de la r&#233;putation existent ; cependant, les concepts sous-jacents varient, leur comparaison est difficile et il n'y a pas de consensus sur les propri&#233;t&#233;s souhaitables.&lt;br /&gt;
La d&#233;cision de faire confiance ou non est le r&#233;sultat d'un processus de raisonnement de l'agent qui fait confiance &#224; partir des informations dont il dispose ; elle d&#233;pend donc de ses buts et de ses croyances, en particulier sur la r&#233;putation de l'agent cible. Nous allons pr&#233;senter les principes de raisonnement auquel ob&#233;it l'inf&#233;rence de la confiance et de la r&#233;putation. Les processus d'aggr&#233;gation des informations per&#231;ues pour obtenir une mesure de confiance, de communication dans une soci&#233;t&#233; d'agents pour cr&#233;er une valeur de r&#233;putation, puis de d&#233;cision pour que chaque agent puisse localement d&#233;terminer si ses voisins sont dignes de confiance ou non, seront d&#233;crits. Les diff&#233;rentes approches de gestion de la confiance dans un syst&#232;me multi-agent allant d'une repr&#233;sentation statistique &#224; une mod&#233;lisation cognitive riche seront comment&#233;es.&lt;br /&gt;
L'expos&#233; se focalisera ensuite sur le d&#233;veloppement d'une analyse formelle des concepts de confiance et de r&#233;putation dans un cadre logique. Ce raisonnement doit pouvoir &#234;tre effectu&#233; par des machines moyennant des proc&#233;dures de d&#233;duction automatique. La d&#233;marche consiste en une analyse des concepts suivie d'une formalisation dans une logique de type non-classique permettant de raisonner sur les croyances et buts des agents ainsi que sur le temps et les actions des agents. Afin de raisonner sur la r&#233;putation d'un agent cible ce cadre logique doit comporter une notion de croyance de groupe : un agent a la r&#233;putation d'&#234;tre un mauvais payeur si un certain groupe de r&#233;f&#233;rence croit cela. Une difficult&#233; qui surgit alors est qu'en informatique, tous les concepts habituels de la croyance de groupe (dont la croyance commune est la plus &#233;tudi&#233;e) impliquent la croyance individuelle, for&#231;ant ainsi chaque agent &#224; adopter la croyance de groupe. Nvous avons d&#233;velopp&#233; un concept appropri&#233; qui n'a pas cette propri&#233;t&#233;. Le cadre logique que nous avons pos&#233; a permis d'implanter ensuite des m&#233;canismes de raisonnement dans des agents artificiels. &lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;	&lt;strong class=&quot;spip&quot;&gt;Programmation Logique Inductive&lt;/strong&gt; &lt;i class=&quot;spip&quot;&gt;Christel Vrain, C&#233;line Rouveirol&lt;/i&gt; &lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt; L'apprentissage symbolique se d&#233;finit souvent comme la recherche d'une hypoth&#232;se dans un espace de recherche structur&#233; par une relation de g&#233;n&#233;ralit&#233;. Nous pr&#233;senterons cette probl&#233;matique dans le cadre de la Programmation Logique Inductive (appel&#233;e aussi apprentissage relationnel) o&#249; le langage de repr&#233;sentation des exemples, la th&#233;orie du domaine et le langage de concept cible sont des sous-ensembles de la logique du 1er ordre.&lt;br /&gt;
Le probl&#232;me certainement le plus &#233;tudi&#233; est celui de l'apprentissage supervis&#233; (induction pr&#233;dictive) o&#249; &#233;tant donn&#233;s une th&#233;orie du domaine et un ensemble d'exemples (positifs et n&#233;gatifs), un syst&#232;me de PLI doit induire un programme logique impliquant logiquement tous les exemples positifs et aucun des exemples n&#233;gatifs. Nous brosserons un tr&#232;s bref panorama des m&#233;thodes et r&#233;sultats fondamentaux en Programmation Logique Inductive, en particulier la propositionnalisation permettant de red&#233;crire un probl&#232;me relationnel en un probl&#232;me propositionnel. Nous pr&#233;senterons aussi l'induction descriptive qui s'int&#233;resse &#224; la d&#233;couverte de sch&#233;mas exprimant des r&#233;gularit&#233;s dans les donn&#233;es.&lt;br /&gt;
Enfin, nous aborderons deux domaines de recherche actuels et particuli&#232;rement motivants, que ce soit en terme d'applications que de probl&#232;mes scientifiques ouverts : l'apprentissage par renforcement relationnel et l'apprentissage statistique relationnel. &lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;	&lt;strong class=&quot;spip&quot;&gt;Analogie Artificielle&lt;/strong&gt; &lt;i class=&quot;spip&quot;&gt;Laurent Miclet&lt;/i&gt; &lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt; La place de l'analogie dans le raisonnement humain a &#233;t&#233; reconnue d&#232;s l'Antiquit&#233;
et l'Intelligence Artificielle s'est int&#233;ress&#233;e tr&#232;s t&#244;t au raisonnement analogique. Ceci &#224; la fois comme d&#233;fi de faire r&#233;soudre &#224; un ordinateur des puzzles analogiques, et comme heuristique efficace pour r&#233;soudre des probl&#232;mes. Les puzzles et les probl&#232;mes analogiques &#233;l&#233;mentaires sont du type : &quot;Le veau est au taureau ce que le poulain est &#224; x. Trouver x.&quot;, ou &quot; Montrer que le diam&#232;tre est aux syst&#232;mes hydrauliques ce que la r&#233;sistance est aux syst&#232;mes &#233;lectriques&quot;, ou &quot;Connaissant les lettres A et B trac&#233;es par Mr x et la lettre A trac&#233;e par Mme y,
tracer une lettre B qu'aurait pu &#233;crire Mme y.&quot;&lt;br /&gt;
&lt;p class=&quot;spip&quot;&gt;En particulier, une forme op&#233;rationnelle du raisonnement analogique, le raisonnement &#224; partir de cas, s'est consid&#233;rablement d&#233;velopp&#233;e en IA. Il utilise un r&#233;pertoire de cas connus stock&#233;s sous la forme de paires (probl&#232;me, solution).
Quand un nouveau probl&#232;me B est rencontr&#233; pour lequel on n'a pas de solution, les probl&#232;mes A similaires &#224; B sont retrouv&#233;s, o&#249; A appara&#238;t dans une paire (A, C) = (probl&#232;me, solution) stock&#233;e dans le r&#233;pertoire. En utilisant une technique dite d'adaptation, la solution C du probl&#232;me A est transpos&#233;e en une solution D (potentielle) de B.&lt;br /&gt;
Le mot analogie fait aussi r&#233;f&#233;rence &#224; une technique de g&#233;n&#233;ralisation, le raisonnement par lequel l'esprit humain d&#233;duit d'une similitude observ&#233;e une similitude invariable. L&#224; o&#249; l'induction va
d'une pluralit&#233; de cas particuliers &#224; une r&#232;gle g&#233;n&#233;rale, l'analogie va d'une similitude entre
particuliers &#224; une autre.&lt;br /&gt;
On utilise l'expression &quot;proportion analogique&quot; pour d&#233;signer l'identit&#233; de rapport entre quatre &#233;l&#233;ments, pris deux &#224; deux, comme &quot;27/12=45/20&quot;, ou dit autrement
&quot;27 est &#224; 12 ce que 45 est &#224; 20&quot; (souvent not&#233; 27 : 12 :: 45 : 20). Une proportion analogique v&#233;rifie certains axiomes dont l'&#233;change des moyens : (27 : 45 :: 12 : 20).&lt;br /&gt;
R&#233;cemment, l'&#233;tude alg&#233;brique et algorithmique de la proportion analogique, ainsi que celle d'autres proportions,
a permis d'ouvrir un nouveau point de vue sur le sujet, avec des applications
d&#233;j&#224; int&#233;ressantes. On a en particulier d&#233;fini des proportions approximatives,
utiles en Reconnaissance des Formes, et r&#233;alis&#233; de nouveaux solveurs de probl&#232;mes analogiques.&lt;/p&gt;
&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;strong class=&quot;spip&quot;&gt;Incertitude et Non-Monotonie&lt;/strong&gt; &lt;i class=&quot;spip&quot;&gt;Didier Dubois&lt;/i&gt; &lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt;Ce qu'on appelle raisonnement non-monotone se r&#233;f&#232;re &#224; des
formalismes logiques qui ont en commun la remise en cause de la
propri&#233;t&#233; de monotonie de l'inf&#233;rence en logique classique, laquelle
affirme que, dans un raisonnement le renforcement des hypoth&#232;ses ne
permet pas de rejeter des conclusions d&#233;j&#224; &#233;tablies. Le qualificatif
non-monotone est en fait est vague et s'applique &#224; des approches peu
reli&#233;es entre elles et qui ont des motivations diverses. Une de ces
motivations est le raisonnement plausible tol&#233;rant les exceptions. Ce
type de raisonnement est non-monotone car des conclusions provisoires,
obtenues en pr&#233;supposant que l'&#233;tat du monde est normal, peuvent
s'av&#233;rer fausses, en pr&#233;sence d'informations compl&#233;mentaires. Cette
question a &#233;t&#233; abord&#233;e dans les ann&#233;es 1980 notamment par Gabbay et
Shoham puis des formalismes ont &#233;t&#233; propos&#233;s par Daniel Lehmann, Judea
Pearl et leurs coll&#232;gues, ainsi qu'&#224; l'IRIT (notamment les travaux
men&#233;s avec S. Benferhat et H. Prade) depuis la fin des ann&#233;es 1980. Il
existe des liens forts entre cette probl&#233;matique et les th&#233;ories de
l'incertain, notamment la th&#233;orie des probabilit&#233;s et celle des
possibilit&#233;s. Ces liens reposent sur une notion centrale dans le
raisonnement bay&#233;sien, mais absente en logique classique &#224; savoir le
conditionnement.&lt;br /&gt;
Le but de l'expos&#233; est de survoler les r&#233;sultats existants sur les
liens entre conditionnement probabiliste et formalismes non-monotones
&#224; la Lehmann. Dans ces formalismes la non-monotonie n'est pas d&#233;finie
n&#233;gativement, elle correspond &#224; des versions affaiblies, mais
pr&#233;cises, de la monotonie. En particulier, la propri&#233;t&#233; dite de
monotonie rationnelle permet de capturer le conditionnement en th&#233;orie
des possibilit&#233;s et de coder une forme de raisonnement plausible en
logique possibiliste. Cela permet de d&#233;finir une notion naturelle de
croyance accept&#233;e ferm&#233;e pour la d&#233;duction, en liaison avec la th&#233;orie
classique de la r&#233;vision (AGM), qui contraste avec la notion
probabiliste de croyance accept&#233;e &#233;tudi&#233;e par Kyburg.&lt;br /&gt;
Ce cadre fait aussi des liens entre logique modale et probabilit&#233;s
impr&#233;cises, et sugg&#232;re que le raisonnement plausible tol&#233;rant les
exceptions est en fait l'armature symbolique du raisonnement
probabiliste. Ce dernier respecte les principes de raisonnement non-
monotones (par exemple la cumulativit&#233;) &#233;nonc&#233;s par Gabbay, Lehmann,
etc., mais de fa&#231;on graduelle et d&#233;g&#233;n&#233;r&#233;e.&lt;br /&gt;
Cet expos&#233; peut donc &#234;tre vu comme un plaidoyer pour unifier les
approches symboliques et num&#233;riques du raisonnement dans l'incertain.&lt;br /&gt;
&lt;i class=&quot;spip&quot;&gt;R&#233;f&#233;rence&lt;/i&gt;&lt;br /&gt;
Didier Dubois, Henri Prade. Non-Monotonic Reasoning and Uncertainty
Theories. Dans : Nonmonotonic Reasoning. Essays Celebrating its 30th
Anniversary (Gerhard Brewka, Victor Marek, Miroslaw Truszczynski,
Eds.), College Publications, Studies in Logic, Vol. 31, p. 141-176,
2011.
&lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class=&quot;row_even&quot;&gt;&lt;td&gt;&lt;strong class=&quot;spip&quot;&gt;Intelligence Artificielle et Jeux Vid&#233;os : nouveau champ exp&#233;rimental, nouvelles probl&#233;matiques &lt;/strong&gt;&lt;i class=&quot;spip&quot;&gt;Vincent Corruble&lt;/i&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr class=&quot;row_odd&quot;&gt;&lt;td&gt; Apr&#232;s avoir &#233;t&#233; longtemps avant tout un argument commercial donnant lieu &#224; des techniques parfois performantes mais le plus souvent d&#233;velopp&#233;es par l'industrie de mani&#232;re ad hoc, l'Intelligence Artificielle dans le Jeu Vid&#233;o est depuis quelques ann&#233;es un domaine de recherche &#224; part enti&#232;re. Nous aborderons ce domaine dans cette pr&#233;sentation selon les deux versants qui s'offrent aux chercheurs qui s'y attaquent : il peut &#234;tre vu comme nouveau champ exp&#233;rimental permettant de tester les techniques issues de la recherche en IA (d&#233;cision, apprentissage, syst&#232;mes multi-agents, etc.), sur des environnements interactifs riches, ouverts &#224; l'exp&#233;rimentation, avec de nombreux utilisateurs. Ce domaine est aussi &#224; l'origine de nouveaux d&#233;fis pour l'Intelligence Artificielle, et c'est son deuxi&#232;me versant. Ceux-ci n&#233;cessitent de nouvelles approches pour ce qui est des techniques, voire de nouvelles m&#233;thodologies pour la conception et l'&#233;valuation. Au-del&#224;, ils vont m&#234;me jusqu'&#224; remettre en cause une part importante des motivations commun&#233;ment admises comme fondant l'Intelligence Artificielle. &lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Journ&#233;es IAF'12</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article157</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article157</guid>
		<dc:date>2012-02-23T10:36:51Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Redacteur GDRI3IAF</dc:creator>

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique7">Journ&#233;es Nationales de l'IA Fondamentale</category>


		<description>

-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique7" rel="directory"&gt;Journ&#233;es Nationales de l'IA Fondamentale&lt;/a&gt;


		</description>


 <content:encoded>
		</content:encoded>


		

	</item>



	<item>
		<title>Style pour la soumission aux journ&#233;es IAF'12</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article156</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article156</guid>
		<dc:date>2012-02-09T10:40:16Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Redacteur GDRI3IAF</dc:creator>

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28">Journ&#233;es IAF'12</category>


		<description>Afin d'assurer une homog&#233;n&#233;it&#233; d'ensemble, seuls les articles envoy&#233;s aux formats PDF seront accept&#233;s. Vous trouverez ci-dessous les styles Latex &#224; utiliser, ainsi qu'un exemple document&#233; vous permettant de pr&#233;parer au mieux votre article (si vous utilisez un autre &#233;diteur de texte).

-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28" rel="directory"&gt;Journ&#233;es IAF'12&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;Afin d'assurer une homog&#233;n&#233;it&#233; d'ensemble, seuls les articles envoy&#233;s aux formats PDF seront accept&#233;s. Vous trouverez ci-dessous les styles Latex &#224; utiliser, ainsi qu'un exemple document&#233; vous permettant de pr&#233;parer au mieux votre article (si vous utilisez un autre &#233;diteur de texte).&lt;/div&gt;
		
		</content:encoded>


		
		<enclosure url="http://gdri3iaf.info.univ-angers.fr/IMG/zip/styleIAF2012.zip" length="150057" type="application/zip" />
		

	</item>



	<item>
		<title>Appel &#224; communication</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article155</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article155</guid>
		<dc:date>2012-01-23T10:30:32Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Redacteur GDRI3IAF</dc:creator>

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28">Journ&#233;es IAF'12</category>


		<description>Appel &#224; Contributions &lt;br /&gt;Journ&#233;es d'Intelligence Artificielle Fondamentale &lt;br /&gt;22 au 24 mai 2012, Toulouse &lt;br /&gt;http://conf.laas.fr/jfpc-jiaf2012/jiaf &lt;br /&gt;Les journ&#233;es IAF'12 sont organis&#233;es en commun avec les JFPC'12 (http://conf.laas.fr/jfpc-jiaf2012/jiaf) &lt;hr class=&quot;spip&quot; /&gt;
&lt;br /&gt;Pr&#233;sentation &lt;br /&gt;Ces sixi&#232;mes journ&#233;es &#233;manent d'une volont&#233; d'animation du th&#232;me Intelligence Artificielle Fondamentale du GDR-I3 qui veut ainsi cr&#233;er un rendez-vous r&#233;gulier de la communaut&#233; fran&#231;aise d'Intelligence Artificielle Fondamentale. &lt;br /&gt;Les (...)


-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28" rel="directory"&gt;Journ&#233;es IAF'12&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;p class=&quot;spip&quot;&gt;Appel &#224; Contributions&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Journ&#233;es d'Intelligence Artificielle Fondamentale&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;22 au 24 mai 2012, Toulouse&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;a href=&quot;http://conf.laas.fr/jfpc-jiaf2012/jiaf&quot; class=&quot;spip_out&quot;&gt;http://conf.laas.fr/jfpc-jiaf2012/jiaf&lt;/a&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Les journ&#233;es IAF'12 sont organis&#233;es en commun avec les JFPC'12 (&lt;a href=&quot;http://conf.laas.fr/jfpc-jiaf2012/jiaf&quot; class=&quot;spip_out&quot;&gt;http://conf.laas.fr/jfpc-jiaf2012/jiaf&lt;/a&gt;)&lt;/p&gt; &lt;hr class=&quot;spip&quot; /&gt;
&lt;p class=&quot;spip&quot;&gt;Pr&#233;sentation&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ces sixi&#232;mes journ&#233;es &#233;manent d'une volont&#233; d'animation du th&#232;me Intelligence Artificielle Fondamentale du GDR-I3 qui veut ainsi cr&#233;er un rendez-vous r&#233;gulier de la communaut&#233; fran&#231;aise d'Intelligence Artificielle Fondamentale.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Les th&#233;matiques de recherche de ces journ&#233;es sont relatives aux m&#233;thodes et outils fondamentaux de l'Intelligence Artificielle. Elles portent sur :&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; la d&#233;finition de mod&#232;les de repr&#233;sentation des informations (croyances, connaissances, pr&#233;f&#233;rences, obligations et permissions, actions, incertitude, confiance, r&#233;putation) comme les langages des logiques classiques ou non classiques, les mod&#232;les possibilistes, les ontologies, les langages &#224; base de contraintes, les repr&#233;sentations graphiques, etc.
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; la d&#233;finition et l'automatisation de raisonnements sur ces informations : raisonnement spatiotemporel, dynamique des informations, r&#233;vision de croyances, fusion d'informations symboliques, raisonnement par argumentation, raisonnement causal, raisonnement abductif, raisonnement &#224; partir de cas etc.
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; la mise au point de m&#233;thodes de codage des informations et d'algorithmes de traitement efficaces : compilation de connaissances, SAT, contraintes, ASP, etc.
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; pour des objectifs de d&#233;cision, planification, ordonnancement, diagnostic, apprentissage et dans diff&#233;rents contextes d'application comme par exemple le Web s&#233;mantique.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Ces journ&#233;es seront compos&#233;es &#224; parts &#233;gales :
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; d'expos&#233;s de synth&#232;se
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; de communications s&#233;lectionn&#233;es par le comit&#233; de programme&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Des contributions sont sollicit&#233;es sur l'ensemble des th&#232;mes d&#233;crits pr&#233;c&#233;demment. Une grande place sera laiss&#233;e aux articles de doctorants. Les articles accept&#233;s par le comit&#233; de programme seront mis en ligne sur le site Web du th&#232;me Intelligence Artificielle Fondamentale du GDR-I3.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;La liste des expos&#233;s de synth&#232;se sera communiqu&#233;e tr&#232;s prochainement.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Cette ann&#233;e, les Journ&#233;es seront organis&#233;es en conjonction avec les Journ&#233;es Francophones de Programmation par Contraintes (JFPC'12).
Il sera donc possible d'assister aux expos&#233;s des deux r&#233;unions.&lt;/p&gt; &lt;hr class=&quot;spip&quot; /&gt;
&lt;p class=&quot;spip&quot;&gt;Calendrier&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Date limite de soumission : 29 f&#233;vrier 2012
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Notification aux auteurs : 2 avril 2012
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; R&#233;ception des versions d&#233;finitives : 18 avril 2011
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Journ&#233;es IAF : 22-24 mai 2012&lt;/p&gt; &lt;hr class=&quot;spip&quot; /&gt;
&lt;p class=&quot;spip&quot;&gt;Formats et mode de soumission&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Les auteurs sont invit&#233;s &#224; soumettre des propositions d'articles de 6 &#224; 10 pages maximum. La soumission est exclusivement &#233;lectronique et au format pdf. Les articles devront &#234;tre soumis via easychair : &lt;a href=&quot;https://www.easychair.org/conferences/?conf=iaf2012&quot; class=&quot;spip_out&quot;&gt;https://www.easychair.org/conferences/ ?conf=iaf2012 &lt;/a&gt;.
Les formats pr&#233;cis de soumission sont disponibles pour Word et Latex sur le site du th&#232;me (http://gdri3iaf.info.univ-angers.fr/).&lt;/p&gt; &lt;hr class=&quot;spip&quot; /&gt;
&lt;p class=&quot;spip&quot;&gt;Comit&#233; de programme&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Laurence Cholvy (ONERA, Toulouse)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Marie-Odile Cordier (IRISA, Rennes)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Tiago De Lima (CRIL, Lens)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Laurent Garcia (LERIA, Angers)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Philippe J&#233;gou (LSIS, Marseille)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; S&#233;bastien Konieczny (CRIL, Lens)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; J&#233;r&#244;me Lang (LAMSADE, Paris)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Pierre Marquis (CRIL, Lens)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Nicolas Maudet (LIP6, Paris)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Marie Laure Mugnier (LIRMM, Montpellier)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Amedeo Napoli (LORIA, Nancy)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Odile Papini (LSIS, Marseille)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Henri Prade (IRIT, Toulouse)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Pierre Siegel (LSIS, Marseille)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Laurent Simon (LRI, Paris)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Vincent Vidal (ONERA, Toulouse)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Christelle Vrain (LIFO, Orleans)&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>Journ&#233;es IAF'12</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article154</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article154</guid>
		<dc:date>2012-01-23T10:28:06Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Redacteur GDRI3IAF</dc:creator>

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28">Journ&#233;es IAF'12</category>


		<description>Les journ&#233;es IAF'12 auront lieu du 22 au 24 mai &#224; Toulouse, en conjonction avec les Journ&#233;es Francophones de programmation par contraintes (JFPC'12) : http://conf.laas.fr/jfpc-jiaf2012/

-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique28" rel="directory"&gt;Journ&#233;es IAF'12&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;Les journ&#233;es IAF'12 auront lieu du 22 au 24 mai &#224; Toulouse, en conjonction avec les Journ&#233;es Francophones de programmation par contraintes (JFPC'12) : &lt;a href=&quot;http://conf.laas.fr/jfpc-jiaf2012/&quot; class=&quot;spip_out&quot;&gt;http://conf.laas.fr/jfpc-jiaf2012/&lt;/a&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>M&#233;thodes Permettant la Pr&#233;dominance de Connaissances Subsum&#233;es</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article153</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article153</guid>
		<dc:date>2011-11-24T10:19:32Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique15">Th&#232;ses</category>


		<description>Doctorant : S&#233;bastien RAMON &lt;br /&gt;Co-encadrants : Philippe BESNARD et &#201;ric GR&#201;GOIRE &lt;br /&gt;Laboratoire : CRIL &lt;br /&gt;S&#233;bastien RAMON &lt;br /&gt;CRIL, Universit&#233; d'Artois &lt;br /&gt;M&#233;thodes Permettant la Pr&#233;dominance de Connaissances Subsum&#233;es &lt;br /&gt;Encadrants : Philippe Besnard et &#201;ric Gr&#233;goire &lt;br /&gt;R&#233;sum&#233; : Cette th&#232;se s'inscrit dans le domaine de l'Intelligence Artificielle symbolique. Elle y traite d'une question fondamentale li&#233;e &#224; la repr&#233;sentation des connaissances et des raisonnements &#224; base de logique. Plus pr&#233;cis&#233;ment, elle s'int&#233;resse au probl&#232;me (...)


-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique15" rel="directory"&gt;Th&#232;ses&lt;/a&gt;


		</description>


 <content:encoded>&lt;div class='rss_chapo'&gt;&lt;p class=&quot;spip&quot;&gt;Doctorant : &lt;a class=&quot;spip_out&quot; href=&quot;http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique4&amp;idch=224&quot;&gt; S&#233;bastien RAMON&lt;/a&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Co-encadrants : &lt;a&gt;Philippe BESNARD&lt;/a&gt; et
&lt;a class=&quot;spip_out&quot; href=&quot;http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique4&amp;idch=83&quot;&gt;&#201;ric GR&#201;GOIRE&lt;/a&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;Laboratoire : &lt;a class=&quot;spip_out&quot; href=&quot;http://www.cril.univ-artois.fr/&quot;&gt;CRIL&lt;/a&gt;&lt;/p&gt;&lt;/div&gt;
		&lt;div class='rss_texte'&gt;&lt;hr class=&quot;spip&quot; /&gt;
&lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;S&#233;bastien RAMON&lt;/strong&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;CRIL, Universit&#233; d'Artois&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;i class=&quot;spip&quot;&gt;M&#233;thodes Permettant la Pr&#233;dominance de Connaissances Subsum&#233;es&lt;/i&gt;&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Encadrants&lt;/strong&gt; : Philippe Besnard et &#201;ric Gr&#233;goire&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;R&#233;sum&#233;&lt;/strong&gt; :
Cette th&#232;se s'inscrit dans le domaine de l'Intelligence Artificielle symbolique. Elle y traite d'une question fondamentale li&#233;e &#224; la repr&#233;sentation des connaissances et des raisonnements &#224; base de logique. Plus pr&#233;cis&#233;ment, elle s'int&#233;resse au probl&#232;me pouvant se produire lors de l'insertion dans un ensemble de croyances d'une information qui peut d&#233;j&#224; en &#234;tre d&#233;duite. Comment faire en sorte que cette nouvelle information vienne pr&#233;empter les informations qui permettent son inf&#233;rence ? Supposons par exemple qu'un ensemble de pr&#233;misses contienne l'information &#8220;Si l'interrupteur est enclench&#233; alors la pi&#232;ce est &#233;clair&#233;e&#8221;. Il est naturel d'esp&#233;rer que l'ajout d'une r&#232;gle additionnelle, en un sens plus pr&#233;cise que la premi&#232;re, et qui exprime que &#8220;Si l'interrupteur est enclench&#233; et si l'ampoule n'est pas cass&#233;e alors la pi&#232;ce est &#233;clair&#233;e&#8221;, puisse venir la pr&#233;empter. En effet, il ne doit plus &#234;tre suffisant de savoir que &#8220;L'interrupteur soit enclench&#233;&#8221; pour en conclure que &#8220;La pi&#232;ce est &#233;clair&#233;e&#8221; : il faut aussi que &#8220;L'ampoule ne soit pas cass&#233;e&#8221;. Remarquons que la seconde r&#232;gle est consistante avec la premi&#232;re et que les cadres de logiques non monotones et de r&#233;vision de croyances ou de mise &#224; jour ne traitent pas a priori de ce probl&#232;me. Nous adressons d'abord cette question dans le cadre de la logique classique et ensuite dans un cadre plus g&#233;n&#233;ral de repr&#233;sentation &#224; base de logiques non monotones, et particuli&#232;rement de celles permettant la repr&#233;sentation de r&#232;gles avec exceptions reposant sur des tests de consistance.&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Jury&lt;/strong&gt; :
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Odile Papini, Professeur des Universit&#233;s, Universit&#233; d'Aix-Marseille (rapporteur)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Marie-Christine Rousset, Professeur des Universit&#233;s, Universit&#233; de Grenoble &amp; IUF (rapporteur)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Philippe Besnard, Directeur de Recherche, IRIT CNRS Toulouse (co-directeur de th&#232;se)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; &#201;ric Gr&#233;goire, Professeur des Universit&#233;s, Universit&#233; d'Artois (co-directeur de th&#232;se)
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Sylvain Lagrue, Ma&#238;tre de Conf&#233;rences, Universit&#233; d'Artois
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Pierre Marquis, Professeur des Universit&#233;s, Universit&#233; d'Artois
&lt;br /&gt;&lt;img src=&quot;http://gdri3iaf.info.univ-angers.fr/local/cache-vignettes/L8xH11/puce-68c92.gif&quot; width='8' height='11' alt=&quot;-&quot; style='height:11px;width:8px;' class='' /&gt; Daniel Le Berre, Ma&#238;tre des Conf&#233;rences &amp; HDR, Universit&#233; d'Artois&lt;/p&gt; &lt;p class=&quot;spip&quot;&gt;&lt;strong class=&quot;spip&quot;&gt;Date et lieu de soutenance&lt;/strong&gt; : vendredi 02 d&#233;cembre 2011 &#224; 10h30 &#224; l'IUT de Lens (Amphith&#233;&#226;tre SRC)&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



	<item>
		<title>RFIA'12</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article152</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article152</guid>
		<dc:date>2011-11-13T21:54:24Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Redacteur GDRI3IAF</dc:creator>

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique11">Conf&#233;rences nationales</category>


		<description>

-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique11" rel="directory"&gt;Conf&#233;rences nationales&lt;/a&gt;


		</description>


 <content:encoded>
		</content:encoded>


		

	</item>



	<item>
		<title>MFI'11</title>
		<link>http://gdri3iaf.info.univ-angers.fr/spip.php?article151</link>
		<guid isPermaLink="true">http://gdri3iaf.info.univ-angers.fr/spip.php?article151</guid>
		<dc:date>2011-11-13T21:53:12Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>fr</dc:language>
		<dc:creator>Redacteur GDRI3IAF</dc:creator>

<category domain="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique11">Conf&#233;rences nationales</category>


		<description>

-
&lt;a href="http://gdri3iaf.info.univ-angers.fr/spip.php?rubrique11" rel="directory"&gt;Conf&#233;rences nationales&lt;/a&gt;


		</description>


 <content:encoded>
		</content:encoded>


		

	</item>





</channel>

</rss>

