Programm zum Lösen von Logikrätseln

Neue Frage »

JavaBar Auf diesen Beitrag antworten »
Programm zum Lösen von Logikrätseln
Hallo!

Ich suche nach eine Software oder geeigneten Sprache, mit der man so Logikrätsel smart lösen kann.

Aufbau eines Logikrätsels:

Es gibt jeweils m verschiedene Objekte, diese haben n Eigenschaften, von denen es jeweils m verschiedene Werte gibt.

z.B.:
Vornamen: Anton, Bert, Klaus, Theo
Nachnamen: Bauer, Hauser, Kienzle, Mayer
Autos: Audi, BMW, Jaguar, Porsche
Parkplätze: 1, 2, 3, 4

Beim Rätsel muss man die richtigen Kombinationen ermitteln, also im Beispiel:
Wie heisst die jeweilige Person mit Vor- und Nachnamen, welches Auto fährt sie und wo parkt dieses?

Bei m verschiedenen Objekten (= Werte je Eigenschaft) und n Eigenschaften ergeben sich


Gesamtkombinationsmöglichkeiten.

Bei 4 Eigenschaften mit jeweils 4 Werten ergeben sich 13824 Kombinationsmöglichkeiten,
bei 4 Eigenschaften mit jeweils 5 Werten ergeben sich 1728000 Kombinationsmöglichkeiten.

Durch konkrete Hinweise werden Zahl dieser Möglichkeiten eingeschränkt, bis sie - durch genügend Hinweise - eindeutig ist.

Es gibt verschiedene Arten von Hinweisen, z.B.

a) Theo parkt seinen Wagen nicht auf Platz 3.

b) Anton fährt einen Porsche.
Durch eine solche Aussage gilt automatisch: Alle Aussagen, die für den Porsche gelten, gelten auch für den "Wagen von Anton",
und alle Aussagen, die auf den "Besitzer des Porsche" treffen, gelten auch für Anton.

c) Berts Wagen parkt weiter links als der BMW (die Parkplätze seien von links nach rechts mit 1 bis 4 durchnummeriert)
Daraus lässt sich direkt folgern:
- Bert fährt keinen BMW
- Berts Wagen steht nicht auf Platz 4
- Der BMW steht nicht auf Platz 1

Es gibt auch Entweder- oder- Aussagen wie:
d) Entweder fährt Klaus einen Audi oder der Jaguar parkt auf Platz 2

Jede Aussage schränkt die Anzahl der Kombinationsmöglichkeiten ein, wenn nicht, ergibt sie sich aus anderen Aussagen.

Gibt es ein Programm/Sprache, bei dem man solche Aussagen formulieren kann, das ausgeben kann, wieviele Lösungsmöglichkeiten es gibt,
ausgeben kann, was z.B. zu dem Porsche, evtl. auch Folgerungen ausgeben kann.
Z.B. wenn bekannt ist, Herrn Hausers Auto steht auf Platz 2 oder 4 und der BMW steht auf Platz 1 oder 3, ergibt sich -> Der BMW gehört nicht Herrn Hauser.

Anmerkung:
Es gibt auch Logikrätsel, wo ein Wert mehrfach vorkommen kann, z.B. es gibt 4 Autos, aber 2 davon sind rot.
Da lässt sich aus dem Satz "Anton parkt links vom roten Ferrari" nicht folgern "Anton fährt kein rotes Auto".

Kennt jemand eine solche Software?

Viele Grüße

Egon
Abakus Auf diesen Beitrag antworten »
RE: Programm zum Lösen von Logikrätseln
Hallo,

sowas lässt sich zB in PROLOG gut machen, das ist eine Programmiersprache.

Abakus smile
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »