友人が、「ペトリネットを使用したルールベースの検証」と呼ばれるコンピューターサイエンスの新しい開発について教えてくれました。彼はコンピューターの男ではなくアーティストなので、それは本当に私が見なければならないクールなものなのだろうか? ロシア語で新聞を読んだり翻訳したりしていた彼は、電話で、この素晴らしい新技術は、ルールベースのシステムのコード アーキテクチャを完全に正しく自動的に取得するためのものだと語った。完璧なコーディングを支援する一種の人工知能？わかりません。コンピュータ サイエンスを勉強したことがありません。
私は興味があります: これは一体何なのですか? そして、それはどのように機能しますか？フレームワークに使用できますか?
「ルールベースのシステム」がほとんどすべてだと思います。すべてのコードにはルールがあります。いくつかの有用な答えを願っています。