public void TestCollectSymbolsFromComplexSentence()
{
Sentence sentence = (Sentence)parser.Parse("(~B11 | P12 | P21) & (B11 | ~P12) & (B11 | ~P21)");
ISet <Sentence> s = new HashSet <Sentence>(SymbolCollector.GetSymbolsFrom(sentence)); // En C# si usas ISet<PropositionSymbol> no te va a dejar mirar si Contains algo que son Sentences :-(
Assert.AreEqual(3, s.Count);
Sentence b11 = parser.Parse("B11");
Sentence p21 = parser.Parse("P21");
Sentence p12 = parser.Parse("P12");
Assert.IsTrue(s.Contains(b11));
Assert.IsTrue(s.Contains(p21));
Assert.IsTrue(s.Contains(p12));
}
public void TestComplexSentence()
{
string p = "P";
string q = "Q";
m = m.Union(new PropositionSymbol(p), true);
m = m.Union(new PropositionSymbol(q), false);
Sentence sent = (Sentence)parser.Parse("((P | Q) & (P => Q))");
Assert.IsFalse(m.IsTrue(sent));
Assert.IsTrue(m.IsFalse(sent));
Sentence sent2 = (Sentence)parser.Parse("((P | Q) & (Q))");
Assert.IsFalse(m.IsTrue(sent2));
Assert.IsTrue(m.IsFalse(sent2));
}
/**
* Devuelve la respuesta a la consulta específica usando el algoritmo TT-Entails.
*
* @param queryString
* una consulta para CONSULTAR a la BC
*
* @return la respuesta a la consulta específica usando el algoritmo TT-Entails.
*/
public bool AskWithTTEntails(string queryString)
{
PLParser parser = new PLParser();
Sentence alpha = parser.Parse(queryString);
return(new TT_Entails().TTEntails(this, alpha));
}
[SetUp] // El @Before de Java
public void SetUp()
{
parser = new PLParser();
trueSentence = (Sentence)parser.Parse("true");
falseSentence = (Sentence)parser.Parse("false");
andSentence = (Sentence)parser.Parse("(P & Q)");
simpleOrSentence = (Sentence)parser.Parse("A | B");
orSentence = (Sentence)parser.Parse("(P | Q)");
impliedSentence = (Sentence)parser.Parse("(P => Q)");
biConditionalSentence = (Sentence)parser.Parse("(P <=> Q)");
m = new Model();
}
public void TestSymbolTransform()
{
Sentence symbol = parser.Parse("A");
ConjunctionOfClauses transformed = ConvertToConjunctionOfClauses.Convert(symbol);
Assert.AreEqual("{{A}}", transformed.ToString());
}
/**
* Añade la sentencia específica a la BC.
*
* @param aSentence
* hecho para ser añadido a la BC.
*/
public void Tell(string aSentence)
{
Tell((Sentence)parser.Parse(aSentence));
}
public void TestSymbolTransform()
{
Sentence symbol = parser.Parse("A");
Sentence transformed = ConvertToCNF.Convert(symbol);
Assert.AreEqual("A", transformed.ToString());
}