TOP

"Potassco User Guide" 読書会 #02

イベント内容

解集合プログラミングの代表的な処理系であるclingoのユーザーガイド(120ページ)のもくもく読書会です。


  • 3.1.5まで

解集合であるためには、正アトムであることを仮定したならばプログラムから非循環的に導出できなければならない。これが定義。

  • アトムはモデルに含まれる場合にのみ、正とみなされる。
  • 正であることを仮定しないものは導出できなくてもよいので、この場合は空集合が解集合になりうる。
  • あるパスで非循環的でさえあれば、別のところで循環していても構わない。

Example 3.1の説明おかしい。

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。