本研究では、制約付き多項式論理ゾノトープを提案しています。これは、論理ゾノトープと多項式論理ゾノトープの限界を克服するものです。
主な内容は以下の通りです:
制約付き多項式論理ゾノトープは、論理システムの到達可能性分析を正確かつ効率的に実行できます。また、集合の正確な交差計算が可能であり、これまでの論理ゾノトープや多項式論理ゾノトープの限界を克服しています。
In un'altra lingua
dal contenuto originale
arxiv.org
Approfondimenti chiave tratti da
by Ahmad Hafez,... alle arxiv.org 03-28-2024
https://arxiv.org/pdf/2403.18564.pdfDomande più approfondite