public void testSentenceStatusWhenPFalseAndQFalse() { String p = "P"; String q = "Q"; m = m.extend(new Symbol(p), false); m = m.extend(new Symbol(q), false); Assert.AreEqual(true, m.isFalse(andSentence)); Assert.AreEqual(true, m.isFalse(orSentence)); Assert.AreEqual(true, m.isTrue(impliedSentence)); Assert.AreEqual(true, m.isTrue(biConditionalSentence)); }
private bool isEvenOneClauseFalse(Model model, List <Sentence> clauseList) { for (int i = 0; i < clauseList.Count; i++) { Sentence clause = (Sentence)clauseList[i]; if (model.isFalse(clause)) { // System.Console.WriteLine(clause.ToString() + " is false"); return(true); } } return(false); }
private bool isClauseTrueInModel(Sentence clause, Model model) { List <Symbol> positiveSymbols = new SymbolClassifier().getPositiveSymbolsIn(clause); List <Symbol> negativeSymbols = new SymbolClassifier().getNegativeSymbolsIn(clause); foreach (Symbol symbol in positiveSymbols) { if ((model.isTrue(symbol))) { return(true); } } foreach (Symbol symbol in negativeSymbols) { if ((model.isFalse(symbol))) { return(true); } } return(false); }
private bool isClauseTrueInModel(Sentence clause, Model model) { List<Symbol> positiveSymbols = new SymbolClassifier().getPositiveSymbolsIn(clause); List<Symbol> negativeSymbols = new SymbolClassifier().getNegativeSymbolsIn(clause); foreach (Symbol symbol in positiveSymbols) { if ((model.isTrue(symbol))) { return true; } } foreach (Symbol symbol in negativeSymbols) { if ((model.isFalse(symbol))) { return true; } } return false; }
private bool isEvenOneClauseFalse(Model model, List<Sentence> clauseList) { for (int i = 0; i < clauseList.Count; i++) { Sentence clause = (Sentence)clauseList[i]; if (model.isFalse(clause)) { // System.Console.WriteLine(clause.ToString() + " is false"); return true; } } return false; }
public void testComplexSentence() { String p = "P"; String q = "Q"; m = m.extend(new Symbol(p), true); m = m.extend(new Symbol(q), false); Sentence sent = (Sentence)parser.parse("((P OR Q) AND (P => Q))"); Assert.IsFalse(m.isTrue(sent)); Assert.IsTrue(m.isFalse(sent)); Sentence sent2 = (Sentence)parser.parse("((P OR Q) AND (Q))"); Assert.IsFalse(m.isTrue(sent2)); Assert.IsTrue(m.isFalse(sent2)); }