Daily Arxiv

Cette page résume et organise les publications en intelligence artificielle du monde entier.
Les contenus sont synthétisés grâce à Google Gemini et le service est proposé à but non lucratif.
Les droits d'auteur des articles appartiennent à leurs auteurs ou institutions respectives ; en cas de partage, il suffit d'en mentionner la source.

Transfert de structure : un calcul basé sur l'inférence pour la transformation des représentations

Created by
  • Haebom

Auteur

Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia, Peter CH. Cheng

Contour

Cet article présente une technique indépendante des systèmes de représentation (SR) pour la transformation et la sélection de représentations entre divers systèmes de représentation (SR). Nous présentons une nouvelle méthode de calcul, le « transfert de structure », qui génère une représentation cible d'un SR cible à partir d'une représentation source d'un SR source. Le transfert de structure est conçu pour satisfaire des relations spécifiques (par exemple, l'équivalence sémantique) entre les représentations et y parvient grâce à un schéma codant les connaissances sur les SR. Ce schéma exprime la préservation de l'information grâce aux relations entre paires de SR et, à partir de ces connaissances, le transfert de structure dérive une structure pour la représentation cible qui satisfait les relations souhaitées. Formulé à partir de la théorie des systèmes de représentation et du concept d'espace de construction, la nature abstraite de cet espace permet de modéliser divers types de SR, notamment les langages formels, les figures et diagrammes géométriques, et les notations informelles. Par conséquent, le transfert de structure est une méthode de calcul indépendante des systèmes, qui peut être utilisée pour identifier des représentations alternatives dans divers contextes réels.

Takeaways, Limitations_

Takeaways:
Fournit un cadre général pour la conversion de représentation entre différents systèmes de représentation.
Il est possible de transformer des expressions qui maintiennent certaines relations, comme l’équivalence sémantique.
Généralités applicables aux systèmes de représentation formels et informels.
Contribuer à la découverte de représentations alternatives pour divers problèmes du monde réel.
Limitations:
Complexité de la conception et de la configuration du schéma. Difficulté à générer un schéma complet pour toutes les paires RS.
Manque d'analyse de la complexité et de l'efficacité des calculs. Une évaluation des performances est nécessaire dans les applications pratiques.
Des recherches supplémentaires sont nécessaires sur la transparence et l’explicabilité du processus de transition structurelle.
Manque de méthodologies spécifiques pour la génération et la validation de schémas pour divers RS.
👍