Thread: Logik Frage
Eröffnet am: 20.06.2009 13:34 Letzte Reaktion: 19.07.2009 19:38 Beiträge: 13 Status: Offen |
Unterforen: - Ausbildung |
|
Verfasser | Betreff | Datum | |||
---|---|---|---|---|---|
| |||||
Studl | Logik Frage | 20.06.2009, 13:34 | |||
Logik Frage | 20.06.2009, 13:57 | ||||
Studl | Logik Frage | 22.06.2009, 15:14 | |||
Zerberuz | Logik Frage | 25.06.2009, 18:03 | |||
Studl | Logik Frage | 26.06.2009, 11:13 | |||
Logik Frage | 26.06.2009, 11:26 | ||||
Galileo | Logik Frage | 26.06.2009, 12:10 | |||
Studl | Logik Frage | 26.06.2009, 13:17 | |||
Hauskater | Logik Frage | 15.07.2009, 10:13 | |||
Studl | Logik Frage | 17.07.2009, 11:22 | |||
phoenixfeder | Logik Frage | 17.07.2009, 21:36 | |||
Studl | Logik Frage | 18.07.2009, 10:55 | |||
FreitagMorgen | Logik Frage | 19.07.2009, 19:38 | |||
|
|
|||||||
Gibt es ein Programm, welches mit logischen Ausdrücken operieren kann? Also, ich gebe ihm ein paar Axiome vor (etwa: <<Wenn a, dann b> oder <Wenn b, dann nicht c>> ) und frage dann, ob irgendeine Aussage ein ableitbarer Satz des Systems ist? Mir ist klar, dass die Ergebnisse nicht ganz streng gesucht werden können - unter Umständen ist die Antwort gar nicht erzeugbar, oder es dauert unendlich lange, sie zu erzeugen - aber für einfache Fälle müssten doch Lösungen (mit analytischen Mitteln oder durch irgendeine Heuristik) erzeugbar sein? Kennt da wer was? --- Wer einmal etwas wirklich gutes und hochstehendes lesen möchte (^_^): Allvaters Wege http://animexx.onlinewelten.com/fanfic/?doc_modus=autor_liste&autor=14916 |
|
|||||||
http://www.wolfram.com/ Ich weiß ich bin gemein. |
|
|||||||
Ich gestehe, dass ich deine Antwort etwas unbefriedigend finde... --- Wer einmal etwas wirklich gutes und hochstehendes lesen möchte (^_^): Allvaters Wege http://animexx.onlinewelten.com/fanfic/?doc_modus=autor_liste&autor=14916 |
|
||||||
und ich gestehe das ich nichtmal die Frage verstanden habe War doch ne Frage, oder? |
|
|||||||
Dann nochmal... Angenommen, ich habe ein paar logische Axiome, zum Beispiel (1) WENN a, dann NICHT b ODER (c UND d) (2) (ENTWEDER a ODER b) UND (c ODER NICHT d) gibt es dann ein Programm, in welchem ich diese formulieren kann und dann - und jetzt wirds schwierig - dieses Programm prüfen kann, ob ein von mir getesteter Satz (z.B. WENN a, dann NICHT d) aus den Annahmen ableitbar ist. Das Problem ist, dass es schwer (unmöglich?) sein könnte, zu beweisen, dass ein Satz NICHT ableitbar ist (natürlich nach den Schlußregeln der Aussagenlogik), bzw. es könnte potentiell unendlich lange dauern, ihn abzuleiten - trotzdem könnten ja (theoretisch) gerade einfache Aussagen heuristisch schnell getestet werden, oder? Und ein Programm, welches das kann, suche ich - mit Matlab kann ich mir etwas zusammenmurksen, was ungefähr das ist, was ich will - aber nur kompliziert und unhandlich. Entweder ein MatLab-Paket, welches direkt darauf zugeschnitten ist, oder aber ein eigenes Programm wären eben sehr fein... (Konkret gehts darum, dass ich ein Logikrätsel aus Der Zeit zu lösen versuchte - allerdings nicht durch probieren oder knobeln, sondern nur durch aussagenlogischen Schluß. Das Rätsel ist schon gelöst, nur noch nicht so, wie ich das eben versuchen wollte. Das Rätsel sind 9 Aussagen vom Typus "Wenn Gerda Quadrate liebt, mag Volkmar kein blau.".) --- Wer einmal etwas wirklich gutes und hochstehendes lesen möchte (^_^): Allvaters Wege http://animexx.onlinewelten.com/fanfic/?doc_modus=autor_liste&autor=14916 |
|
|||||||
Ich poste es nochmal: http://www.wolframalpha.com/ Ich weiß ich bin gemein. |
|
|||||||
Ich glaub das ist besser: http://www09.wolframalpha.com/examples/BooleanAlgebra.html Ja mata, Tobias/Galileo |
|
|||||||
Ich finde nur nicht, was ich suche... Damit kann ich zwar die Wahrheitstafel eines Satzes anzeigen, aber nicht, ob ein Satz aus einer ganzen Menge von Annahmen ableitbar ist... Trotzdem danke vorerst... --- Wer einmal etwas wirklich gutes und hochstehendes lesen möchte (^_^): Allvaters Wege http://animexx.onlinewelten.com/fanfic/?doc_modus=autor_liste&autor=14916 |
|
|||||||
> Ich finde nur nicht, was ich suche... > > Damit kann ich zwar die Wahrheitstafel > eines Satzes anzeigen, aber nicht, ob > ein Satz aus einer ganzen Menge von Annahmen > ableitbar ist... > > Trotzdem danke vorerst... Musst du wohl selbst arbeiten per natürlichem Schließen... Gott habe ich das gehasst... -- Gefallen euch meine Beiträge, Umfragen oder sontiges? Dann votet doch bitte für mich: ASDS Show 6 Du bist Hobbyfotograph und suchst Gleichgesinnte? Dann bist du hier genau richtig!^^ |
|
|||||||
Das ist in dem Fall aber (von Hand) praktisch unmöglich... --- Wer einmal etwas wirklich gutes und hochstehendes lesen möchte (^_^): Allvaters Wege http://animexx.onlinewelten.com/fanfic/?doc_modus=autor_liste&autor=14916 |
|
||||||
Ich kenne da jetzt nicht direkt ein Programm, das das kann, aber eine Programiersprache. Da programierst du das System und dann kannst du nach dem Compilieren fragen ob etwas im System drin ist oder nicht. Die Sprache heißt übrigens Prolog. Da gibt es auch im Internet frei verfügbare Compiler. |
|
|||||||
Danke, ich werd mir mal gleich anschauen, ob es das ist, was ich suche... --- Wer einmal etwas wirklich gutes und hochstehendes lesen möchte (^_^): Allvaters Wege http://animexx.onlinewelten.com/fanfic/?doc_modus=autor_liste&autor=14916 |
|
||||||
Gibt schon Programme, die sowas durchaus können, nur muss man sich erstmal in die einarbeiten und vorallem sind die meisten nicht gerade kostenlos. Die 3 bekanntesten dürften Maple, Mathematica und Mathcad sein. Letzteres ist aber eher für Techniker interessant. Dein Problem würde sich damit sicher auch lösen lassen, greifen würd ich dann aber doch eher zu Mathematica oder Maple. |