ろんり
2022/5/27 21:21:00
論理
2021/10/15 16:32:00
述語論理論理哲学三値論理あれ論理のダッシュパネル論論理モデル論理式論理変数論理和論理積論理データベース論理的論理データモデル論理木論理学論理フィルター形式論理論理のあれ論理のフーリエ変換「1980年代の第2次AIブームのときのAIは演繹的な機能が中心で、論理や数学といった人間には難しい高次なことを得意としていました。その一方で、子どもができるようなことはこなせず、これは「モラヴェックのパラドックス」という名で知られています。」論理プログラム直観主義論理命題論理論理共感覚論理記号論理実証論理プログラミング単調論理論理の空間様相論理クラス論理矛盾許容論理論理体系論理導出論理計算非単調論理論理包含論理が飛躍関係の論理二進論理論理の飛躍論理関数ブール論理四値論理多値論理論理武装ファジー論理論理削除高階論理深層論理微分可能論理