本研究では、制約付き多項式論理ゾノトープを提案しています。これは、論理ゾノトープと多項式論理ゾノトープの限界を克服するものです。
主な内容は以下の通りです:
制約付き多項式論理ゾノトープは、論理システムの到達可能性分析を正確かつ効率的に実行できます。また、集合の正確な交差計算が可能であり、これまでの論理ゾノトープや多項式論理ゾノトープの限界を克服しています。
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Ahmad Hafez,... a las arxiv.org 03-28-2024
https://arxiv.org/pdf/2403.18564.pdfConsultas más profundas