うそつき娘問題を制約プログラミングで解く | 小屋畑ソフトウェアサービス ブログページ
ネットで以下の問題を見つけたのでSWI-PrologのCLPFDライブラリで解いてみた 問題：水泳大会 水泳大会で、この４人が１位から４位を獲得しました（同順位はありません）。 スタート前の予想は下のとおりで、３人が当たり、１人が外れました。 誰が何位だったのでしょう？ ことり「私は１位」 なる 「私はすずより上位」 すず 「私は１位か２位」 あゆ 「私は１位か２位」 プログラム: :-use_module(library(clpfd)). solve_girl_order:- GirlOrderLst = [KotoriOrder,NaruOrder,SuzuOrder,AyuOrder], GirlOrderLst ins 1..4, all_different(GirlOrderLst), HatugenFlgLst = [KotoriHatugenFlg,NaruHatugenFl
Flix | The Flix Programming Language
The Flix website has moved: https://flix.dev/.
オブジェクト指向の問題点 - ビスケットのあれこれ
オブジェクト指向プログラミングを神格化するような記事が流れてきたので，僕が知っている問題点について書いてみたいと思います．僕がまだ学生だったころは，オブジェクト指向の評価もまだそれほど定まっていなくて，オブジェクト指向の次はどんなパラダイムが出てくるかとか普通に学生レベルで議論していたものですが，ここまで強大になってしまうとそれを打ち負かそうなんて気にはならないのでしょうか．僕にはオブジェクト指向が普遍的な真理という感じは全然しなくて，ここまで使われてる理由は，現実的なテクノロジーで大きなシステムを作らなければならない必要性のほうを優先した結果であると認識しています．オブジェクト指向がその後の25年ほどもずっと安定してその地位を保てるほど素晴らしいものとは思えないのです． 以下で上げる問題点は，個別に解決している研究はあったりしますし，僕も論文を書いたりしましたけど，実際の言語に導入されて
My Picat page
This page is maintained by Hakan Kjellerstrand (hakank@gmail.com) Picat is a general-purpose programming language that incorporates features from logic programming, functional programming, and scripting languages. The letters in the name summarize Picat's features: Pattern-matching: A predicate defines a relation, and can have zero, one, or multiple an- swers. A function is a special kind of a pre
Picat
Version 3.6#8 released (5/27/2024) Picat won a gold medal in XCSP'23 Picat won two silver medals in MiniZinc Challenge 2023 Picat team won the 2021 LP/CP programming contest News group Users' Manual (pdf | html) Tutorial at CP'19 Tutorial at AAAI'17 Editors for Picat: Emacs, VSC, and Geany WebIDE for Picat Picat team won Grand Prize at NYC Media Lab Summit Hakan's Picat Page 99 Problems GCJ in Pic
Prologとか論理プログラミングについて色々 - doitakaの日記
ここ最近、論理プログラミングとか、Prologについて調べてたので現状のまとめ。 発端 VDMとかAlloyとか、形式手法関連を色々調べていた途中でPrologの存在を知る。 論理型言語ということで、いまいちイメージが掴めないところがあった。 最近、本腰入れて調べてみることにした。 Prolog入門系の情報 いくつかサイト見たり、本買ったりした。 Prolog - Wikipedia とりあえずwikipedia。 "Prolog 入門" でググると、チュートリアルサイトがいくつか出たのでそれは見た。 Lisp, Prologネタ: ホットコーナー Lisp, Prologネタその２: ホットコーナー Java版Prologリンク集、Prolog、オントロジーなどのチュートリアル集: ホットコーナー http://iiyu.asablo.jp/blog/2011/02/03/5660275
Natural Language Processing With Prolog in the IBM Watson System – Association for Logic Programming
Abstract On February 14-16, 2011, the IBM Watson question answering system won the JeopardyMan vs. Machine Challenge by defeating two former grand champions, Ken Jennings and Brad Rutter. To compete successfully at Jeopardy!, Watson had to answer complex natural language questions over an extremely broad domain of knowledge. Moreover, it had to compute an accurate confidence in its answers and to
IBM Watson と SoftBank Pepperくん の頭脳に採用された Prolog言語 入門（２）〜 外部ファイル に 記述した「事実」＆「規則」の セット を SWI_Prolog インタプリタ に ロードして、対話的 に 質問 を 問いかけてみた - Qiita
序章：1972年生まれ の Prolog 言語 は、IBM Watson & SoftBank Pepperくん で、再び脚光 を 浴びつつ ある？ Softbank (& Aldebaran Robotics) Pepperくん の会話システム にも 利用されている ShunIchikawaさん Qiita記事（2015/12/22）「Prolog実践入門 - AIに特化した老舗言語」 Prologなんてオワコンじゃない？ Go言語やRustなどから比べると40年近く前に登場した言語であり、AIに特化した言語ということもあり、知名度が低く、利用者も少ないですが、教育機関(大学など)で主として論理学の教材として利用され続けているのです！ 結局オワコンじゃん！？って思った方・・・そんなことないんです。 最近の有名なProlog利用事例は、何と言ってもあのソフトバンクのPepperの開発にPr
IBM Watson 知りたいこと早わかり ～ 何ができる「知能」なのか、従来の 機械学習 や DeepLearning との違い、Watsonアプリ の開発環境、Watsonアプリ 開発事例コード、産業利用の事例 を ワン・ストップ で まとめて おさえる - Qiita
IBM Watson 知りたいこと早わかり ～ 何ができる「知能」なのか、従来の 機械学習 や DeepLearning との違い、Watsonアプリ の開発環境、Watsonアプリ 開発事例コード、産業利用の事例 を ワン・ストップ で まとめて おさえるWatson人工知能PepperPrologCognitive-computing 0. がん患者の病名判断で、日本国内で実績を上げたIBM Watson NHK NEWS WEB 8月4日 19時10分 「人工知能 病名突き止め患者の命救う 国内初か」 東京大学医科学研究所の附属病院は、アメリカの大手ＩＴ企業ＩＢＭなどと協同で、人工知能を備えたコンピューターシステム「ワトソン」に２０００万件に上るがん研究の論文を学習させ、診断が極めて難しく治療法も多岐にわたる白血病などのがん患者の診断に役立てる臨床研究を進めています。 このうち６０代
［脳に挑む人工知能12］なぜロボットに感情が必要なのか、ソフトバンクの熟慮（上）
人工知能（AI）に「感情」は宿るのか――鉄腕アトムからアニメ「イヴの時間」まで、あらゆるSF（サイエンスフィクション）で語られた問題に真っ向から挑んでいるのが、ソフトバンクグループでクラウドAIの開発を担うcocoro SBだ。 ソフトバンクロボティクスが開発するロボット「Pepper（ペッパー）」は、発話者の声や表情から喜怒哀楽の感情を読み取る感情認識機能を備えている（写真1）。さらに、2015年6月に一般販売したPepperは、Pepper自らが感情を持つという「感情生成エンジン」を備える。この感情生成エンジンを開発しているのがcocoro SBである。 Pepperが備える感情生成エンジンとはどのようなものか、なぜ人工知能に感情が必要なのか、cocoro SB取締役の朝長康介氏と、同社の大浦清氏に聞いた（写真2）。 Pepperに、なぜ感情生成エンジンを組み込む必要があったのでしょう
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ
Commemorating the Creator of Prolog, Alain Colmerauer
https://dl.acm.org/citation.cfm?id=1057820
https://web.stanford.edu/class/linguist289/p37-colmerauer.pdf
Amazon.co.jp: Prolog処理系を作ろう: 笹川賢一: Digital Ebook Purchas
9.4.4 冗長な推論と無限ループRedundant inference and infinite loops | 過程
GitHub - shekhargulati/99-problems: This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.
Picat 1.0 - Is Logic Programming Making A Comeback?
Natural language processing: an introduction
Watsonは、こんなふうにかんがえる―日本IBM 武田浩一氏に訊く、旧来AIとコグニティブの違い
