辛すぎてマジでほんとに死にそうだ(TMS)
辛すぎてマジでほんとに死にそうだ(TMS)
今日したこと
講義
- OS
- 人工知能
- フレーム問題
例:時限爆弾の乗ったカートを洞窟から持ってくる- R1: 普通に持ってくるが、「時限爆弾も一緒に持ってきてしまう」という判断ができない
- R2: リスクを考えることができるが、「壁が崩れてくる」「急に地球が爆発する」などなど、無限にリスクを想定してしまうので、有限時間内の判断ができない
- R1-C1: リスクを評価するが、それも同様に無限の時間がかかってしまう
- →つまり、人工知能は考慮すべき範囲の限定(枠の策定=フレーミング)ができない
- 論理的推論
- TMS
- Truth Maintenance System
- 非単調推論システム の一つ
- ├-> 与えられる記述が全て真とは限らない
- └-> 制約充足問題などで有用
- 真夏の夜の夢問題についてはhttp://www.az-prolog.com/wp-content/themes/display/files/pdf/ai_002.pdf の方が詳しい
- 大事なことは、仮定のノード同士の関係を保存しておき、矛盾が生じたら矛盾を解消するように動く ということ
- ATMS
- Assumption based TMS
- まだよく分かってない
- TMS
- フレーム問題
- 実験(大規模ソフトウェア)
- 実験(大規模ソフトウェア)
git commit --amend
が、1以上aheadのcommitに対してしか適用できなくした- git statusの動きを追ったら出来た
- とりあえずメーリスの返信次第で
git rebase
の修正もできたらする?
obenkyo
その他
- 人工知能についての議論@控室
- スライドが、具体例に対して説明が少なすぎる
- そもそも教科書にも載ってない
- 虫食い算の課題はTMSで解けるのか……?
- 2値じゃないから簡単には行かなそう
明日すること
- 無線の課題を終わらせて提出する
- 全然わからないので、ヘタしたら学校に行く必要すらある
- ctf続き?
n
- 無駄に勉強に時間がとられる
- やりたいことの優先順位を気をつける
p
- 髪が短くて楽