--- tags: PLT --- # Functional Thursday #58 * [19:30 ~ 19:45] 摩茲工寮介紹 * [19:45 ~ ] Probabilistic Logic Programming by Hank Hwang (黃煜翔) 現代符號邏輯在電腦科學的發展扮演著至關重要的角色；在此次的演講中，我將會簡介現代電腦科學的邏輯基礎，與其在電腦科學個領域的應用。此外，我將會介紹傳統邏輯式程式設計的變種:機率邏輯式程式設計 (probabilistic logic programming)，並介紹此領域在機器學習、人工智慧與業界的相關應用。 講者介紹： Hank Hwang(黃煜翔) is the founder of 杏雅各生醫科技股份有限公司籌備處, a startup company focusing on developing medical AI. He received his bachelor's degree in computer science and mathematics from National Taiwan University. Formerly a member of the Software Validation and Verification Research Laboratory at National Taiwan University, he and colleagues designed the Graphical Tool for Omega-Automata and Logics and applied formal methods to improve the security of control system of nuclear power plants. He won First Prize at National Taiwan University Cloud Application and Startup Competition in 2012. ## 筆記 * reasoning * deductive: 三段論那個 * inductive: 整理很多例子 * abductive: 1, 2, 3 變 1, 3, 2 的三段論（欸？） * 目前還滿喜歡講者的演講風格的 * 講者開始幫大家上 FOL(First-order Logic) 課了 XD * 原來可以用 FOL 定義數字，只是很麻煩 XD * 講者說後面還是會講到 Peano numbers * statement 的狀態 * valid: 對所有值都為真 * satisfiable: 存在一些值讓它為真 * unsatisfiable: 沒有值讓它為真 * skolemization * drinker paradox * 重點是前提非真時，整句都是真的...，但當不是所有人都在喝酒時，總是可以找到讓前提非真的那位，沒喝酒的人 XD * 存在用 FOL 寫不出來的東西嗎？ * Closed-World Assumption (CWA) in PROLOG * 沒有告訴你的，就是錯的，沒有發生 * 終於講到 probabilistic programming 了，用的是 ProbLog * counterfactual reasoning 反事實推理 * LCamel: 人類已經寫出來的證明，可以用機器證嗎？ * 然後講者提到 cog ，還有無法用一般歸納法證的 Goodstein's theorem * bayesian network 的缺點是 DAG ，但優點是人類找出很多很快的近似演算法 * 然後講者提到 markov network 是無向圖... ## 其他 * 工寮的二氧化碳濃度升高了？氧氣機太貴了，便宜的解法是種植物 = = ###### tags: note