No.1ベストアンサー
- 回答日時:
「1階述語」というのは, 「値に対して真偽値を返す関数」です. そして, (大雑把にいうと) 「述語に対する操作」も許すのが「高階述語論理」となります. 例えば, 任意の述語 P(x) が与えられたときに「P(x) と真偽値が反転した結果を返す述語」 (つまり, 「任意の x に対して Q(x) = not(P(x)) であるような述語 Q(x)」) を答える操作は (1階) 述語に対する操作であり, 従ってそのような操作を含む論理は「高階 (今の場合には 1階述語に対する操作のみなので 2階の) 述語論理」となります.
「高階述語論理」とか「2階述語論理」とかも調べてみて, その上で「1階述語論理」と比較するとよいかも... あんまり深入りするのもどうかとは思いますが.
ありがとうございます。
>「1階述語」というのは, 「値に対して真偽値を返す関数」です
つまり、値に対してyesかnoを返すやつと考えてよいでしょうか?
それだけのものを「1階述語」ということであると思ってよいのですね。ありがとうございました。
No.2
- 回答日時:
Prologは確かに一階述語論理に基づくプログラミング言語ですが、述語論理を詳しく知らなくてもプログラミングは可能です (もちろん、知っていて悪いことはありません)。
一方で、純粋な述語論理とはかけ離れたカット (!) のような要素はPrologからLiLFeSに取り込まれていて詳しい説明はなかったりするので、LiLFeSのプログラムを読み書きするにはPrologの知識は半ば前提となっているようです。
最近ではあまり選択肢もありませんが、Prologの本を1冊勉強してみてはいかがでしょうか。述語論理について、Prologの理解に必要な範囲の解説は書かれているのではないかと思います。
以下、前の質問 (番号:5124070) が締め切られてしまったのでこちらに書きます。
assoc_newはLiLFeSの組み込み述語 http://www-tsujii.is.s.u-tokyo.ac.jp/lilfes/manu … ではないようです。
にもかかわらずsem_variable.lilの中で定義することなくいきなりこの述語を使っているということは、おそらくsem_variable.lilの前提として読み込まなければいけないファイルがあって、そこでassoc_newが定義されているのではないかという推測ができます。
ありがとうございます。
あれから私なりに調べまして、lillibのファイルの中身をよく見たのですが、確かにassoc_newの記述はありませんでした。ただ、assocやassoc_iなどがあり、これに何か関連しているのでしょうか?
http://www-tsujii.is.s.u-tokyo.ac.jp/lilfes/manu …
もしくはフリーソフトの中で独自に定義されているのでしょうか・・・。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
関連するカテゴリからQ&Aを探す
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
プログラミングの勉強法
-
現在専門学校に通っているんで...
-
SE、プログラマでの生涯。
-
WEBプログラマ
-
オークション・ポイントサイト...
-
基礎からC・C++を学習し、Direc...
-
C言語、C+、C++、C#の違い
-
Visual Studio Codeについて
-
任天堂で使うプログラミング言...
-
VBSでDim、Private、Publicの違い
-
Excel VBAで文字化けする (英語...
-
UWSCはどのプログラミング言語?
-
作業工程 SDとMD
-
C言語でメモ帳のようなソフト...
-
ソフトウェア開発の着手金について
-
VBSとWSHは読み方が違うだけで...
-
VCとVC++
-
フリーゲームを解析したい
-
リピート再生が出来ません
-
ゲーム開発の入門書を探しています
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
PGに慣れず適応障害と診断され...
-
オリジナルの占いサイトを作る...
-
「やさしいC」の次に読む本を探...
-
自作でプレステ対応ゲームは作...
-
組込技術者を目指しています
-
Webデザイナーになる為、独学で...
-
VBAの勉強の仕方
-
C++ API 全般 APIの概要は
-
Linux Cプログラミングを学ぶた...
-
OpenGLで質問があります。
-
『ゼロから作るディープラーニ...
-
C言語を1から始めるのですが・...
-
プログラマーになったきっかけ...
-
VisualC++ 6.0 と2005の違い
-
ExcelでのVisual Basicのプログ...
-
ActionScriptのステップアップ...
-
プログラマって儲かるのですか?
-
アマグラマーについて
-
シーケンサープログラマを効率...
-
工業高校生ですが、将来ゲーム...
おすすめ情報