Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
prolog_prologue #TechLunch
Search
Livesense Inc.
PRO
April 23, 2014
Technology
0
49
prolog_prologue #TechLunch
20110824(水) @ Livesense TechLunch
発表者:福田 絵里
Livesense Inc.
PRO
April 23, 2014
Tweet
Share
More Decks by Livesense Inc.
See All by Livesense Inc.
コロナで失われたノベルティ作成ノウハウを復活させた話
livesense
PRO
0
67
株式会社リブセンス 会社説明資料(報道関係者様向け)
livesense
PRO
0
330
転職会議でGPT-3を活用した企業口コミ要約機能をリリースした話
livesense
PRO
0
1k
株式会社リブセンス マッハバイト_プレイブック
livesense
PRO
0
390
Tech Award 2021 選出方法
livesense
PRO
0
980
株式会社リブセンス エンジニアリング組織を支える風土と制度
livesense
PRO
0
510
株式会社リブセンス・マッハバイト 採用候補者様向け資料
livesense
PRO
0
210
株式会社リブセンス・転職会議 採用候補者様向け資料
livesense
PRO
0
2k
brain.optimizerのレコメンド取得API
livesense
PRO
0
2.1k
Other Decks in Technology
See All in Technology
継続的テストモデルを実現するためにスリーアミーゴスを用いた10Xでのシフトレフトの事例
nihonbuson
3
240
統計的学習理論読み Chapter 1
kmatsui
3
930
技術広報経験0のEMがエンジニアブランディングをはじめてみた
coconala_engineer
1
140
バッチ処理のSLOをどう設計するか
rynsuke
7
580
Cloud Friendly(?) Jenkins. How we failed to make Jenkins cloud native and what we learned?
onenashev
PRO
0
110
あらゆる商品を扱う商品データベースを再設計した話 / product db re-architecture
rince
8
3.8k
今さら聞けない!? AWSの生成AIサービス Amazon Bedrock入門!
minorun365
PRO
11
2.6k
Challenges - Open Farming Hackdays 2024
loleg
0
570
暗黙知を集積するプラットフォーム : 「健常者エミュレータ事例集」の取り組み
sora32127
1
160
Azureコストは水道代/The_47th_Tokyo_Jazug
aeonpeople
3
380
SREsのためのSRE定着ガイド
netmarkjp
10
1.6k
こんなに簡単!AWSマルチアカウント
takuya_terada
0
120
Featured
See All Featured
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
24
2.2k
Happy Clients
brianwarren
91
6.3k
Designing Experiences People Love
moore
135
23k
Designing on Purpose - Digital PM Summit 2013
jponch
109
6.4k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
34
8.8k
How GitHub (no longer) Works
holman
301
140k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
1
3.3k
Clear Off the Table
cherdarchuk
82
310k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
240
1.2M
YesSQL, Process and Tooling at Scale
rocio
160
13k
A Philosophy of Restraint
colly
195
15k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
242
20k
Transcript
Prolog
(Programming in Logic) by Colmerauer in 1972 programmation en logique
from Q-SYSTEM, Planner 非手続き型 AI Prolog Prologue ISOが 標準規格制定 (1995) 第5世代コンピュータ プロジェクト
論理型計算モデル 命題を証明する、 ということを基本的な動作とする 計算モデル 「三段論法を使って命題を証明する、ということを 基本的な動作とする計算モデル」を提供 Prolog
三段論法を使って命題を証明する 何らかの方法によって、 正しいか正しくないかということを 判定することのできる言明 疑問文、 命令文、 感動文ではない文 例)「Room Bは広い。」
「Room Cはいつも空いていない。」 「みんなが幸せだと私も幸せだ。」
三段論法を使って命題を証明する 大前提 AならばB (規則) 小前提 A (事実) 結論 B
規則:一方が真のときはかならず他方も真になる、 という関係が成り立っている、という事実 事実:真だということがすでにわかっている命題
Prologのプログラムは公理系を記述する。 命題を証明するための 前提として使われる、 規則または事実の集合
Prologのプログラムを実行する = 質問の証明を試みる 証明することが要請される命題 プログラムが記述する公理系に基づいて、 三段論法を使って、 質問の証明を試みる。
Prologのプログラムが公理系を記述する。 → 述語を定義する。 「Joe Hewitt氏はFirebugを生み出した。」 例 ものの性質、 またはものとものとの あいだの関係 「Joe
Hewitt氏は偉大である。」 = 規則または事実を定義する。
事実 「Joe Hewitt氏は偉大である。」 事実 「Joe Hewitt氏はFirebugを生み出した。」 idai(hewitt). umidashita(firebug, hewitt).
事実 「いい天気である。」 iitenki. 規則 「増雄が働き者ならば恵子は幸せである。」 shiawase(keiko) :- hatarakimono(masuo). 頭部 本体
?- shiawase(keiko). shiawase(keiko) :- hatarakimono(masuo). hatarakimono(masuo). ゴールを実行する = ゴールの証明を試みる インタプリタ:SWI-Prolog
ゴールが成功する = ゴールが証明される 証明することが 要請される命題を あらわしている項
Easter egg in SWI-Prolog ?- X. % ... 1,000,000 ............
10,000,000 years later % % >> 42 << (last release gives the question) Google search 「answer to life the universe and everything」
次回テーマ AIプログラミング + Prolog