Logik erster Ordnung ist ein formales logisches System, das in Mathematik, Philosophie, Linguistik und Informatik verwendet wird.
Es scheint mir, dass das "impliziert" in englischer Sprache nicht dasselbe bedeutet wie der logische Operator "impliziert", auf ähnliche Weise, wie "ODER" in den meisten Fällen "exklusives ODER" in unserem alltäglichen Sprachgebrauch bedeutet. Nehmen wir zwei Beispiele: Wenn heute Montag ist, ist...
Ich habe kürzlich über die Gültigkeit von Beweisen durch Widerspruch nachgedacht. Ich habe in den letzten Tagen Dinge über intuitionistische Logik und Godels Theoreme gelesen, um zu sehen, ob sie mir Antworten auf meine Fragen geben würden. Im Moment habe ich noch Fragen (vielleicht im Zusammenhang...
Ich habe die Frage gelesen. Beständigkeit und Vollständigkeit implizieren Solidität. und die erste Aussage darin lautet: Ich verstehe, dass Solidität Beständigkeit impliziert. Worüber ich ziemlich verwirrt war, weil ich dachte, Solidität sei eine schwächere Aussage als Konsistenz (dh ich dachte,...
Ich habe versucht, die folgende Übung zu lösen, bin aber beim Versuch, alle kritischen Paare zu finden, festgefahren . Ich habe folgende Fragen: Woher weiß ich, welches kritische Paar eine neue Regel hervorgebracht hat? Woher weiß ich, dass ich alle kritischen Paare gefunden habe? Sei...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Let und sein -Vektoren der Booleschen Variablen. Ich habe ein boolesches Prädikat auf . Ich gebe meiner Freundin Priscilla . Als Antwort gibt sie mir , ein boolesches Prädikat für , und sie behauptet
Ich dachte, dass jeder FOT eine Teilmenge von FOL ist, aber das scheint nicht der Fall zu sein, da FOL vollständig ist (jede Formel ist entweder gültig oder ungültig), während einige FOT (wie lineare Ganzzahlarithmetik) nicht vollständig sind. Ist FOL ausdrucksstärker als FOT? Oder unvergleichlich?...
Wenn man durch einige Wissensrepräsentation Tutorials auf Auflösung im Moment, und ich kam in Dia 05.KR, no77 . Dort wird erwähnt, dass "das Verfahren auch abgeschlossen ist". Ich denke, diese Vollständigkeit kann nicht bedeuten, dass ein Satz, der von KB stammt, durch Auflösung abgeleitet wird....
Ich habe das ausgezeichnete Buch Knowledge Representation and Reasoning von Ronald Brachman und Hector Levesque gelesen . Am Anfang von Abschnitt 3.2 "Wortschatz" von Kapitel 3 "Wissen ausdrücken" heißt es: Beim Erstellen einer KB (Knowledge Base) empfiehlt es sich, mit den domänenabhängigen...
Papadimitrious "Computational Complexity" besagt, dass VALIDITY, das Problem der Entscheidung, ob eine logische Formel erster Ordnung (ohne Arithmetik) gültig ist, rekursiv aufzählbar ist. Dies folgt aus den Vollständigkeits- und Soliditätssätzen, die GÜLTIGKEIT und THEOREMHOOD gleichsetzen, wobei...
Ich interessiere mich für die Alpha-Äquivalenzbeziehung in Sprachen mit variablen Bindungen, wie zum Beispiel: t := x:y 'x belong to y' | bot 'False' | t -> t 'implication' | Ax.t 'forall x, t' Oder der reine Lambda-Kalkül: t := x 'variable' | (t t) 'application ' | Lx.t 'abstraction: \x ->...