![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
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で質問しましょう!
似たような質問が見つかりました
- 英語 描写述語の条件(本来の性質、一時的な属性、又は両方)について 2 2022/07/25 13:41
- 英語 English can be very challenging at times 1 2023/05/28 11:15
- 英語 英文 「Certain things could not be totched, certain s 2 2022/11/26 09:20
- C言語・C++・C# C言語初心者 構造体 課題について 2 2023/03/10 19:48
- 哲学 日本語は 言語類型として あたかも始原のごとくである 3 2022/05/29 04:41
- 哲学 説得力を修辞の巧みさまたは論理の強さの2つに分析するにはどうすると良いでしょうか? 0 2022/07/20 05:46
- 英語 長い一文の構造(主語や動詞などがどれか)を教えてください。 1 2023/03/12 16:13
- 日本語 ChatGPT 6 2023/02/23 09:42
- 哲学 ヨリ・イリ・ヨセなる知性の区分からインタムライズム 1 2023/05/03 01:05
- 英語 再帰代名詞の使用及び不使用条件について 2 2022/10/17 11:28
関連するカテゴリからQ&Aを探す
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
プログラム脳の作り方
-
一から独学で商用ホームページ作成
-
万年カレンダーのプログラムの...
-
工業高校へ向けて
-
就活に備えてゲームを作りたい!
-
プログラムを作れる様になるに...
-
ソフトウェアの作り方
-
C言語の使い方
-
超初心者で・・php?Java?Perl?
-
C の知識を前提としない C++ と...
-
C&C++を教えてくれるところって...
-
Excelでゲームを作るメリットは?
-
ソフトウェア作成への勉強方法
-
C++ API 全般 APIの概要は
-
プログラマーについて教えて下...
-
Androidアプリ作成について
-
基礎からC・C++を学習し、Direc...
-
プログラムの在宅請負業務がで...
-
プログラミング不要論とプログ...
-
visual studioに必要な知識
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
Linux Cプログラミングを学ぶた...
-
自作でプレステ対応ゲームは作...
-
プログラマーになったきっかけ...
-
独学でプログラミングの知識を...
-
情報工学科にはパソコン知識が...
-
中卒がプログラマーとして生き...
-
オリジナルの占いサイトを作る...
-
組込技術者を目指しています
-
H8マイコン 学習キットと参考...
-
VC++ と C++Builder
-
プログラミングでものを作れる...
-
何かプログラムを作りたいので...
-
プログラミング
-
397時間動画パソコン教室でスキ...
-
C言語でタイピングゲームを作り...
-
27歳からプログラミングを始め...
-
ゲームプログラミング本
-
医者がゲームプログラミングっ...
-
excelの関数がアルゴリズムはど...
-
Win32APIは覚えて損する?
おすすめ情報