public void TarskiWorld_FreeVariable()
{
List <string> sentences = new List <string>
{
$"∀x (Cube(x) ∧ Cube(y))",
$"∀y (Cube(x) ∧ Cube(y))"
};
List <WorldObject> worldObjects = new List <WorldObject>()
{
new WorldObject(new List <string>()
{
"a", "c"
}, new List <string>()
{
"Tet", "Large"
}, new List <object> {
3, 2
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.ContainsFreeVariable);
Assert.IsTrue(result.Result.Value[0].ErrorMessage.Length > 0);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.ContainsFreeVariable);
Assert.IsTrue(result.Result.Value[1].ErrorMessage.Length > 0);
}
public void Game_AllQuantum_TemporaryConstants()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"\u2200 x Cube(x)"
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
},
new List <object> {
1, 3
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Game game = new Game(sentences[0], world, true);
var move = game.Play();
move = game.Play();
move = game.Play();
Assert.IsTrue(game.TemporaryWorldObjects.Count == 1);
}
public void Game_Predicate_False_GuessTrue()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"Tet(a)",
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
}, new List <object> {
3, 3
}),
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Game game = new Game(sentences[0], world, true);
var move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is EndMessage);
var end = move as EndMessage;
Assert.IsFalse(end.GuessWasRight);
}
public void TarskiWorld_IntegrationRound02()
{
List <string> sentences = new List <string>
{
"\u2200 x (Tet(x) \u2192 Large(x))"
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
},
new List <object> {
3, 3
}),
new WorldObject(new List <string>(), new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
}, new List <object> {
3, 3
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.True);
}
public void TarskiWorld_ConstantNotInWorld()
{
List <string> sentences = new List <string>
{
$"(Cube(a) ∧ Cube(b))",
$"(Cube(e) ∧ Cube(d))"
};
List <WorldObject> worldObjects = new List <WorldObject>()
{
new WorldObject(new List <string>()
{
"a", "c"
}, new List <string>()
{
"Tet", "Large"
}, new List <object> {
3, 2
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.ConstantNotUsed);
Assert.IsTrue(result.Result.Value[0].ErrorMessage.Length > 0);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.ConstantNotUsed);
Assert.IsTrue(result.Result.Value[1].ErrorMessage.Length > 0);
}
public void TarskiWorld_Function_InPredicates()
{
List <string> sentences = new List <string>
{
$"Larger(a,rm(a))",
$"Larger(rm(a),rm(a))",
"Larger(rm(a),a)"
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
},
new List <object> {
3, 3
}),
new WorldObject(new List <string> {
"b"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.MEDIUM
},
new List <object> {
5, 3
}),
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.False);
Assert.IsTrue(result.Result.Value[2].Value == EValidationResult.False);
}
public void TarskiWorld_CanNotBeValidated()
{
List <string> sentences = new List <string>
{
"Tet(b)",
"Tes(a)",
"Tet(rds(a))",
$"∀x (Cube(x) ∧ Cube(y))"
};
List <WorldObject> worldObjects = new List <WorldObject>()
{
new WorldObject(new List <string>()
{
"a", "c"
}, new List <string>()
{
"Tet", "Large"
}, new List <object> {
3, 2
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.ConstantNotUsed);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.UnknownSymbol);
Assert.IsTrue(result.Result.Value[2].Value == EValidationResult.UnknownSymbol);
Assert.IsTrue(result.Result.Value[3].Value == EValidationResult.ContainsFreeVariable);
}
public void TarskiWorld_FunctionUnknown()
{
List <string> sentences = new List <string>
{
$"(Cub(func(a)) ∧ Cube(c))",
$"(Tes(a) ∧ Tat(taz(c)))"
};
List <WorldObject> worldObjects = new List <WorldObject>()
{
new WorldObject(new List <string>()
{
"a", "c"
}, new List <string>()
{
"Tet", "Large"
}, new List <object> {
3, 2
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.UnknownSymbol);
Assert.IsTrue(result.Result.Value[0].ErrorMessage.Length > 0);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.UnknownSymbol);
Assert.IsTrue(result.Result.Value[1].ErrorMessage.Length > 0);
}
public void Game_AllQuantum_False_GuessFalse_RightSelection()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"\u2200 x Cube(x)"
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
},
new List <object> {
1, 3
}),
new WorldObject(new List <string> {
"c"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
},
new List <object> {
3, 3
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Game game = new Game(sentences[0], world, false);
var move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is Question);
var question = move as Question;
question.SetAnswers(question.PossibleAnswers[1]);
move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is EndMessage);
var end = move as EndMessage;
Assert.IsTrue(end.GuessWasRight);
}
public void Game_Predicate_Parantheses_Function_True_GuessTrue()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"Dodec(bm(lm(a)))",
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
},
new List <object> {
3, 3
}),
new WorldObject(new List <string> {
"b"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
},
new List <object> {
1, 3
}),
new WorldObject(new List <string> {
"d"
}, new List <string> {
BivalenceWorldDataFields.DODEC, BivalenceWorldDataFields.LARGE
},
new List <object> {
1, 5
}),
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Game game = new Game(sentences[0], world, true);
var move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is EndMessage);
var end = move as EndMessage;
Assert.IsTrue(end.GuessWasRight);
}
public void TarskiWorld_Atomar_Valid()
{
BivalenceWorld world = new BivalenceWorld();
WorldParameter parameter = new WorldParameter(CreateWorldObject(), Sentences_Atomar());
var result = world.Check(parameter);
Assert.AreEqual(result.Result.Value.Count, 3);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.True);
Assert.IsFalse(result.Result.Value[2].Value == EValidationResult.True);
}
public void TarskiWorld_InvalidOperator()
{
BivalenceWorld world = new BivalenceWorld();
WorldParameter parameter = new WorldParameter(CreateWorldObject(), Sentences_InvalidOperator());
var result = world.Check(parameter);
Assert.AreEqual(result.Result.Value.Count, 2);
foreach (var obj in result.Result.Value)
{
Assert.IsFalse(obj.IsValid);
}
}
// Start is called before the first frame update
public void Start()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"Tet(a) ∧ Tet(b) ∧ Tet(c)",
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
"Tet", "Large"
}, new List <object> {
1, 3
}),
new WorldObject(new List <string> {
"b"
}, new List <string> {
"Tet", "Large"
}, new List <object> {
2, 3
}),
new WorldObject(new List <string> {
"c"
}, new List <string> {
"Tet", "Large"
}, new List <object> {
3, 3
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Game game = new Game(sentences[0], world, false);
var move = game.Play();
move = game.Play(); //Information prefab
move = game.Play();
var question = move as Question; //andere Prefab spawnen bei Question
question.SetAnswers(question.PossibleAnswers[0]); //anpassen an auswahlten an Prefab 2 - n
move = game.Play();
move = game.Play();
var end = move as EndMessage;
}
private void SetPresentationLayout(BivalenceWorld world, bool showGenericConstants = false)
{
var presentationWorldTxt = world.GetPl1Structure().GetModelRepresentation(Validation.CalculateResultSentences(GameManager.Instance, GameManager.Instance.GetTextInputField().GetGuiTextElementsWithText()), showGenericConstants);
var presentation = GameManager.Instance.GetModelPresentation();
if (presentation != null && presentation.Count > 0)
{
foreach (var item in presentation)
{
item.SetText(presentationWorldTxt);
}
}
}
public void PL1_Setup()
{
BivalenceWorld world = new BivalenceWorld();
WorldParameter parameter = CreateBiggerParameter();
world.Check(parameter);
PL1Structure structure = world.GetPl1Structure();
_predDictionary = structure.GetPredicates();
_constDictionary = structure.GetConsts();
_funcDictionary = structure.GetFunctions();
}
public void TarskiWorld_ComplexSentences()
{
List <string> sentences = new List <string>
{
"(\u2203x Dodec(x)) \u2192 ((\u2200y (Tet(y) \u2192 Medium(y))) \u2227 Dodec(f))",
"(\u2203x Dodec(x)) \u2192 ((\u2200y (Tet(y) \u2192 Medium(y))) \u2227 Dodec(e))"
};
WorldParameter parameter = new WorldParameter(CreateWorld(), sentences);
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.True);
Assert.IsFalse(result.Result.Value[1].Value == EValidationResult.True);
}
public void Game_ExistQuantum_True_GuessFalse()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"\u2203 x Cube(x)"
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
}, new List <object> {
1, 3
}),
new WorldObject(new List <string> {
"c"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
}, new List <object> {
3, 3
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Game game = new Game(sentences[0], world, false);
var move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is EndMessage);
var end = move as EndMessage;
Assert.IsFalse(end.GuessWasRight);
}
public void TarskiWorld_EmptyConstant()
{
BivalenceWorld world = new BivalenceWorld();
List <string> stentences = new List <string>()
{
"Tet()"
};
WorldParameter parameter = new WorldParameter(CreateWorldObject(), stentences);
var result = world.Check(parameter);
Assert.AreEqual(result.Result.Value.Count, 1);
foreach (var obj in result.Result.Value)
{
Assert.AreEqual(obj.Value, EValidationResult.ParserFailed);
}
}
public void TarskiWorld_UknownSymbol_MaxConstantName()
{
List <string> sentences = new List <string>
{
$"Larger(father(jill),father(max))"
};
List <WorldObject> worldObjects = new List <WorldObject>()
{
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.UnknownSymbol);
Assert.IsTrue(result.Result.Value[0].ErrorMessage.Length > 0);
}
public void TarskiWorld_ConstantInFunctionNotInterpreted_EqualsPredicate()
{
List <string> sentences = new List <string>
{
$"a = d"
};
List <WorldObject> worldObjects = new List <WorldObject>()
{
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.ConstantNotUsed);
Assert.IsTrue(result.Result.Value[0].ErrorMessage.Length > 0);
}
public void TarskiWorld_Implication()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"(Tet(a) \u2228 Tet(b)) \u2192 (Tet(a) \u2227 Tet(d) \u2227 (Cube(d) \u2228 Cube(a)))",
"(Tet(a) \u2228 Tet(b)) \u2192 (Tet(a) \u2227 (Cube(d) \u2228 Cube(a)))"
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
}, new List <object> {
3, 3
}),
new WorldObject(new List <string> {
"b"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
4, 4
}),
new WorldObject(new List <string> {
"c"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
2, 2
}),
new WorldObject(new List <string> {
"d"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
2, 2
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Assert.AreEqual(result.Result.Value.Count, 2);
Assert.IsFalse(result.Result.Value[0].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.True);
}
public void PL1_Constants_True()
{
BivalenceWorld world = new BivalenceWorld();
WorldParameter parameter = CreateTestParmeter();
world.Check(parameter);
PL1Structure structure = world.GetPl1Structure();
ConstDictionary consts = structure.GetConsts();
PredicateDictionary preds = structure.GetPredicates();
Assert.AreEqual(consts["a"], "u0");
Assert.AreEqual(consts["c"], "u0");
Assert.AreEqual(consts["b"], "u1");
Assert.AreEqual(consts["d"], "u2");
}
private void ButtonClickedListener()
{
_world = new BivalenceWorld();
var manager = GameManager.Instance;
if (manager == null)
{
return;
}
string sentence = "";
if (manager.GetTextInputField().CurrentTextInputElement != null)
{
sentence = manager.GetTextInputField().CurrentTextInputElement.GetInputText();
}
//List<string> sentences = Validation.CalculateResultSentences(manager, list);
List <WorldObject> worldObjects = Validation.CalculateWorldObjects();
WorldParameter parameter = new WorldParameter(worldObjects, new List <string> {
sentence
});
var result = _world.Check(parameter);
CleanUpHistory();
ClearTemporaryConstants();
var startInstance = Instantiate(_startPrefab, _anchor);
startInstance.StartButtonClickedEvent.AddEventListener(StartGame);
_history.Add(startInstance.gameObject);
if (result.Result.Value[0].IsValid)
{
_currentSentence = sentence;
startInstance.Init(_currentSentence, true);
//_button.gameObject.SetActive(false);
}
else
{
startInstance.Init(result.Result.Value[0].ErrorMessage, false);
}
}
public void Game_Equals_Functions_False_GuessFalse()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"a = lm(c)",
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
}, new List <object> {
1, 3
}),
new WorldObject(new List <string> {
"c"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
}, new List <object> {
1, 5
}),
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Game game = new Game(sentences[0], world, false);
var move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is InfoMessage);
move = game.Play();
Assert.IsTrue(move is EndMessage);
var end = move as EndMessage;
Assert.IsTrue(end.GuessWasRight);
}
public void Test_Functions()
{
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
}, new List <object> {
1, 1
}),
new WorldObject(new List <string> {
"b"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
2, 1
}),
new WorldObject(new List <string> {
"c"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.SMALL
}, new List <object> {
2, 4
}),
};
List <string> sentences = new List <string>()
{
"Cube(lm(b))",
"Medium(rm(b))",
"fm(c) = b",
"bm(c) = c",
"Cube(fm(c))"
};
BivalenceWorld world = new BivalenceWorld();
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[2].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[3].Value == EValidationResult.True);
Assert.IsFalse(result.Result.Value[4].Value == EValidationResult.True);
}
public void BivalenceWorld_Biconditional()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"Tet(a) \u2194 Tet(b)",
"(Tet(b) \u2227 Tet(c)) \u2194 (Tet(a) \u2227 Tet(c))",
"Tet(c) \u2194 Cube(a)",
"Tet(c) \u2194 Tet(a)"
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
}, new List <object> {
3, 3
}),
new WorldObject(new List <string> {
"b"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
4, 4
}),
new WorldObject(new List <string> {
"c"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
2, 2
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Assert.AreEqual(result.Result.Value.Count, 4);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[2].Value == EValidationResult.True);
Assert.IsFalse(result.Result.Value[3].Value == EValidationResult.True);
}
public void TarskiWorld_ExistQuantum()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"\u2203x Tet(x)",
"\u2203 x Cube(x)",
"\u2203x (Tet(x) \u2227 Small(x))",
"\u2203x(Cube(x) \u2227 Medium(x))"
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
}, new List <object> {
3, 3
}),
new WorldObject(new List <string> {
"b"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
4, 4
}),
new WorldObject(new List <string> {
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
2, 2
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Assert.AreEqual(result.Result.Value.Count, 4);
Assert.IsTrue(result.Result.Value[0].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.True);
Assert.IsFalse(result.Result.Value[2].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[3].Value == EValidationResult.True);
}
private void RestartGame()
{
_world = new BivalenceWorld();
List <WorldObject> worldObjects = Validation.CalculateWorldObjects();
WorldParameter parameter = new WorldParameter(worldObjects, new List <string> {
_currentSentence
});
_world.Check(parameter);
_game = new Game(_currentSentence, _world, _startValue);
for (int i = 1; i < _history.Count; i++)
{
var gameElement = _history[i].GetComponent <GUI_AGameElement>();
var move = _game.Play();
gameElement.ResetStep(move);
}
}
public void TarskiWorld_Negation()
{
BivalenceWorld world = new BivalenceWorld();
List <string> sentences = new List <string>
{
"\u00ac Tet(a)",
"\u00ac ( Cube(b) \u2227 Medium(a))",
"Tet(c) \u2228 \u00ac Tet(c)",
};
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.LARGE
}, new List <object> {
3, 3
}),
new WorldObject(new List <string> {
"b"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
4, 4
}),
new WorldObject(new List <string> {
"c"
}, new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
2, 2
})
};
WorldParameter parameter = new WorldParameter(worldObjects, sentences);
var result = world.Check(parameter);
Assert.AreEqual(result.Result.Value.Count, 3);
Assert.IsFalse(result.Result.Value[0].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[1].Value == EValidationResult.True);
Assert.IsTrue(result.Result.Value[2].Value == EValidationResult.True);
}
public void TarskiWorld_ModelRepresentation()
{
List <WorldObject> worldObjects = new List <WorldObject>
{
new WorldObject(new List <string> {
"a"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
},
new List <object> {
3, 3
}),
new WorldObject(new List <string> {
"b"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
},
new List <object> {
5, 3
}),
new WorldObject(new List <string> {
"c"
}, new List <string> {
BivalenceWorldDataFields.CUBE, BivalenceWorldDataFields.LARGE
},
new List <object> {
4, 3
}),
new WorldObject(new List <string>(), new List <string> {
BivalenceWorldDataFields.TET, BivalenceWorldDataFields.MEDIUM
}, new List <object> {
3, 5
})
};
WorldParameter parameter = new WorldParameter(worldObjects, new List <string>());
BivalenceWorld world = new BivalenceWorld();
var result = world.Check(parameter);
var representation = world.GetPl1Structure().GetModelRepresentation(new List <string> {
"Tet(a)"
});
}
