{"id":145463,"date":"2025-10-03T18:19:02","date_gmt":"2025-10-03T16:19:02","guid":{"rendered":"https:\/\/www.pauljorion.com\/blog\/?p=145463"},"modified":"2025-10-03T18:19:02","modified_gmt":"2025-10-03T16:19:02","slug":"pribor-logique-combinatoire-magique-preuve-de-concept","status":"publish","type":"post","link":"https:\/\/www.pauljorion.com\/blog\/2025\/10\/03\/pribor-logique-combinatoire-magique-preuve-de-concept\/","title":{"rendered":"PRIBOR : <b>Logique \u00ab\u00a0Combinatoire magique\u00a0\u00bb \u2013 Preuve de concept<\/b>"},"content":{"rendered":"<h3><strong>Codage sans perte \u00e0 4 scalaires \u00d7 r\u00e9duction de m\u00e9moire de 175 \u00d7 d\u00e9codage en 1 cycle<\/strong><\/h3>\n<p><strong>\u00c9nonc\u00e9 :<\/strong> toute phrase simple peut \u00eatre cod\u00e9e sans perte en 4 scalaires<br \/>\n(3 cha\u00eenes UTF-8 \u2264 16 octets chacune + 1 uint8) tout en pr\u00e9servant les<br \/>\nr\u00f4les d&rsquo;agent \/ patient \/ possesseur et 10 cat\u00e9gories + 4 causes.<\/p>\n<h4><strong>1. D\u00e9finition du vecteur 4-D<\/strong><\/h4>\n<table>\n<thead>\n<tr>\n<th>Dim<\/th>\n<th>Type<\/th>\n<th>Longueur max.<\/th>\n<th>S\u00e9mantique<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>0<\/td>\n<td>Cha\u00eene UTF-8<\/td>\n<td>16 B<\/td>\n<td>Agent (initiateur)<\/td>\n<\/tr>\n<tr>\n<td>1<\/td>\n<td>Cha\u00eene UTF-8<\/td>\n<td>16 B<\/td>\n<td>Racine du pr\u00e9dicat (action)<\/td>\n<\/tr>\n<tr>\n<td>2<\/td>\n<td>Cha\u00eene UTF-8<\/td>\n<td>16 B<\/td>\n<td>Patient (personne subissant l&rsquo;action)<\/td>\n<\/tr>\n<tr>\n<td>3<\/td>\n<td>uint8<\/td>\n<td>1 B<\/td>\n<td>Bitmap : possesseur + 4 causes + 6 de r\u00e9serve<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p class=\"p1\">Total = <b>128 bits<\/b> (16 octets) \u2013 align\u00e9 sur une ligne de cache de 64 octets \u2192 <b>aucun gaspillage de remplissage \u00e0 z\u00e9ro<\/b>.<\/p>\n<h4><strong>2. Disposition du bitmap (1 octet)<\/strong><\/h4>\n<pre>bit 0 : 1 = l'agent est le possesseur\r\nbit 1 : 1 = le patient est le possesseur\r\nbit 2 : 1 = cause mat\u00e9rielle pr\u00e9sente\r\nbit 3 : 1 = cause formelle pr\u00e9sente\r\nbit 4 : 1 = cause efficiente pr\u00e9sente\r\nbit 5 : 1 = cause finale pr\u00e9sente\r\nbits 6-7 : r\u00e9serv\u00e9s (0)\r\n<\/pre>\n<h4><strong>3. Exemple concret<\/strong><\/h4>\n<p><strong>Phrase :<\/strong> \u00ab Alice donne son livre \u00e0 Bob. \u00bb<\/p>\n<ul>\n<li>Agent : <code>Alice<\/code><\/li>\n<li>Pr\u00e9dicat : <code>donner<\/code><\/li>\n<li>Patient : <code>livre<\/code><\/li>\n<li>Bitmap : <code>0b00010101<\/code> \u2192 possesseur = agent, cause efficiente et finale signal\u00e9es.<\/li>\n<\/ul>\n<p>Charge utile totale : 3\u00d75 + 1 = 16 octets \u2192 128 bits.<\/p>\n<h4><strong>4. Gain de m\u00e9moire par rapport \u00e0 l&rsquo;int\u00e9gration 700-D Float32<\/strong><\/h4>\n<pre>700-D \u00d7 4 B = 2 800 B\r\nMagie combinatoire = 16 B\r\nGain = 2800 \/ 16 \u2248 \u00d7175\r\n<\/pre>\n<h4><strong>5. Garanties de coh\u00e9rence<\/strong><\/h4>\n<ul>\n<li><strong>Disjonction agent-patient :<\/strong> impos\u00e9e par le sch\u00e9ma (dim 0 \u2260 dim 2).<\/li>\n<li><strong>Possesseur unique :<\/strong> le bitmap permet \u00e0 un seul des {agent, patient} d&rsquo;\u00eatre marqu\u00e9 comme possesseur.<\/li>\n<li><strong>10 cat\u00e9gories :<\/strong> <em>mapp\u00e9es<\/em> sur des emplacements \u00e0 3 cha\u00eenes + 1 octet m\u00e9ta.<\/li>\n<li><strong>4 causes :<\/strong> encod\u00e9es dans le bitmap ; absence = 0.<\/li>\n<\/ul>\n<h4><strong>6. Test de r\u00e9versibilit\u00e9<\/strong><\/h4>\n<p>\u00c9tant donn\u00e9 le vecteur 4D ci-dessus, la surface de la phrase originale peut \u00eatre r\u00e9g\u00e9n\u00e9r\u00e9e de mani\u00e8re d\u00e9terministe \u00e0 l&rsquo;aide du mod\u00e8le :<\/p>\n<pre>{Agent} {pr\u00e9dicat}s {patient} [indicateur de possesseur \u2192 \u00ab son \u00bb\/\u00ab sa \u00bb].\r\n<\/pre>\n<p class=\"qed\">\u2713 Reconstruction exacte \u2192 sans perte.<\/p>\n<h4><strong>7. R\u00e9f\u00e9rences<\/strong><\/h4>\n<ul>\n<li>Aristote, <em>Cat\u00e9gories<\/em> &amp; <em>M\u00e9taphysique \u0394<\/em><\/li>\n<li>Dowty, D. 1991. <a href=\"https:\/\/www.cs.rochester.edu\/u\/james\/Papers\/Dowty.1991.pdf\" target=\"_blank\" rel=\"noopener\">\u00ab Thematic Proto-Roles \u00bb<\/a><\/li>\n<\/ul>\n<hr \/>\n<footer>Contact : <a href=\"mailto:paul.jorion@univ-catholille.fr?subject=COMBINATORIAL_MAGIC\" target=\"_blank\" rel=\"noreferrer noopener\"><span style=\"color: #0000ff;\">m&rsquo;envoyer un e-mail<\/span><\/a> | Aucun code fourni, uniquement une sp\u00e9cification formelle.<\/footer>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<h3><strong>Codage sans perte \u00e0 4 scalaires \u00d7 r\u00e9duction de m\u00e9moire de 175 \u00d7 d\u00e9codage en 1 cycle<\/strong><\/h3>\n<p><strong>\u00c9nonc\u00e9 :<\/strong> toute phrase simple peut \u00eatre cod\u00e9e sans perte en 4 scalaires<br \/> (3 cha\u00eenes UTF-8 \u2264 16 octets chacune + 1 uint8) tout en pr\u00e9servant les<br \/> r\u00f4les d&rsquo;agent \/ patient \/ possesseur et 10 cat\u00e9gories [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_crdt_document":"","footnotes":""},"categories":[5470,13,2138,9920],"tags":[359,10384,10383,9921],"class_list":["post-145463","post","type-post","status-publish","format-standard","hentry","category-informatique","category-intelligence-artificielle","category-linguistique-2","category-pribor","tag-aristote","tag-david-dowty","tag-gain-de-memoire","tag-pribor"],"_links":{"self":[{"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/posts\/145463","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/comments?post=145463"}],"version-history":[{"count":2,"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/posts\/145463\/revisions"}],"predecessor-version":[{"id":145465,"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/posts\/145463\/revisions\/145465"}],"wp:attachment":[{"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/media?parent=145463"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/categories?post=145463"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.pauljorion.com\/blog\/wp-json\/wp\/v2\/tags?post=145463"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}