t_wの輪郭

verb
メソッドは述語?表を述語に変換するあれあれ型述語述語の量化「判断は主語と述語で構成される」「始まる」「始まらない」という述語は「世界」自体にはそぐわないT字の右辺には述語を書く述語的述語論理編集工学は述語を重視する

あれ

2024/6/2 5:26:00
  • 課題感
    • Prologだと個体と述語に名前をつけないといけない
    • 「名前」は異なる個体を指示したいにも関わらず衝突する
  • 解決策
    • 単語ベクトルや、文章ベクトルを個体や述語の名前として扱う
  • 余談
    • Prologの演算で得られたベクトルをLLMにぶち込めたら面白そう
    • Prologプログラムの実行で得られたベクトルをNNで自然言語に翻訳できると面白そう

あれ

2024/5/24 13:42:00

RDBのテーブルって、述語論理の述語なのではないかというよくわからん思いつきが降ってきた