Examples of BinarySentence

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

49
50
51
52
53
54
55
56
57
58
59
60
61
  private Sentence step(Sentence s) {
    return (Sentence) s.accept(this, null);
  }

  private Sentence transformBiConditionalSentence(BinarySentence bs) {
    Sentence first = new BinarySentence("=>", (Sentence) bs.getFirst()
        .accept(this, null), (Sentence) bs.getSecond().accept(this,
        null));
    Sentence second = new BinarySentence("=>", (Sentence) bs.getSecond()
        .accept(this, null), (Sentence) bs.getFirst()
        .accept(this, null));
    return new BinarySentence("AND", first, second);
  }
View Full Code Here

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

61
62
63
64
65
66
67
68
  }

  private Sentence transformImpliedSentence(BinarySentence bs) {
    Sentence first = new UnarySentence((Sentence) bs.getFirst().accept(
        this, null));
    return new BinarySentence("OR", first, (Sentence) bs.getSecond()
        .accept(this, null));
  }
View Full Code Here

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
  private Sentence transformNotSentence(UnarySentence us) {
    if (us.getNegated() instanceof UnarySentence) {
      return (Sentence) ((UnarySentence) us.getNegated()).getNegated()
          .accept(this, null);
    } else if (us.getNegated() instanceof BinarySentence) {
      BinarySentence bs = (BinarySentence) us.getNegated();
      if (bs.isAndSentence()) {
        Sentence first = new UnarySentence((Sentence) bs.getFirst()
            .accept(this, null));
        Sentence second = new UnarySentence((Sentence) bs.getSecond()
            .accept(this, null));
        return new BinarySentence("OR", first, second);
      } else if (bs.isOrSentence()) {
        Sentence first = new UnarySentence((Sentence) bs.getFirst()
            .accept(this, null));
        Sentence second = new UnarySentence((Sentence) bs.getSecond()
            .accept(this, null));
        return new BinarySentence("AND", first, second);
      } else {
        return (Sentence) super.visitNotSentence(us, null);
      }
    } else {
      return (Sentence) super.visitNotSentence(us, null);
View Full Code Here

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

73
74
75
76
77
78
79
80
81
82
83
   *            the query, a sentence in propositional logic
   *
   * @return the answer to the specified question using PL-Resolution.
   */
  public boolean plResolution(KnowledgeBase kb, Sentence alpha) {
    Sentence kBAndNotAlpha = new BinarySentence("AND", kb.asSentence(),
        new UnarySentence(alpha));
    Set<Sentence> clauses = new CNFClauseGatherer()
        .getClausesFrom(new CNFTransformer().transform(kBAndNotAlpha));
    clauses = filterOutClausesWithTwoComplementaryLiterals(clauses);
    Set<Sentence> newClauses = new HashSet<Sentence>();
View Full Code Here

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
      return (Sentence) super.visitNotSentence(us, null);
    }
  }

  private Sentence distributeOrOverAnd(BinarySentence bs) {
    BinarySentence andTerm = bs.firstTermIsAndSentence() ? (BinarySentence) bs
        .getFirst() : (BinarySentence) bs.getSecond();
    Sentence otherterm = bs.firstTermIsAndSentence() ? bs.getSecond() : bs
        .getFirst();
    // (alpha or (beta and gamma) = ((alpha or beta) and (alpha or gamma))
    Sentence alpha = (Sentence) otherterm.accept(this, null);
    Sentence beta = (Sentence) andTerm.getFirst().accept(this, null);
    Sentence gamma = (Sentence) andTerm.getSecond().accept(this, null);
    Sentence distributed = new BinarySentence("AND", new BinarySentence(
        "OR", alpha, beta), new BinarySentence("OR", alpha, gamma));
    return distributed;
  }
View Full Code Here

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
      } else if (!isImpliedSentence(sentence)) {
        throw new RuntimeException("Sentence " + sentence
            + " is not a horn clause");

      } else {
        BinarySentence bs = (BinarySentence) sentence;
        head = (Symbol) bs.getSecond();
        inferred.put(head, Boolean.FALSE);
        Set<Symbol> symbolsInPremise = new SymbolCollector()
            .getSymbolsIn(bs.getFirst());
        Iterator<Symbol> iter = symbolsInPremise.iterator();
        while (iter.hasNext()) {
          inferred.put(iter.next(), Boolean.FALSE);
        }
        premiseSymbols = new Converter<Symbol>()
View Full Code Here

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

18
19
20
21
22
23
24
25
26
27
      return sentences.get(0);
    } else {
      Sentence soFar = sentences.get(0);
      for (int i = 1; i < sentences.size(); i++) {
        Sentence next = sentences.get(i);
        soFar = new BinarySentence(connector, soFar, next);
      }
      return soFar;
    }
  }
View Full Code Here

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

73
74
75
76
77
78
79
80
81
82
83
   *            the query, a sentence in propositional logic
   *
   * @return the answer to the specified question using PL-Resolution.
   */
  public boolean plResolution(KnowledgeBase kb, Sentence alpha) {
    Sentence kBAndNotAlpha = new BinarySentence("AND", kb.asSentence(),
        new UnarySentence(alpha));
    Set<Sentence> clauses = new CNFClauseGatherer()
        .getClausesFrom(new CNFTransformer().transform(kBAndNotAlpha));
    clauses = filterOutClausesWithTwoComplementaryLiterals(clauses);
    Set<Sentence> newClauses = new HashSet<Sentence>();
View Full Code Here

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

41
42
43
44
45
46
47
48
49
50
51
52
53
  private Sentence step(Sentence s) {
    return (Sentence) s.accept(this, null);
  }

  private Sentence transformBiConditionalSentence(BinarySentence bs) {
    Sentence first = new BinarySentence("=>", (Sentence) bs.getFirst()
        .accept(this, null), (Sentence) bs.getSecond().accept(this,
        null));
    Sentence second = new BinarySentence("=>", (Sentence) bs.getSecond()
        .accept(this, null), (Sentence) bs.getFirst()
        .accept(this, null));
    return new BinarySentence("AND", first, second);
  }
View Full Code Here

Examples of aima.core.logic.propositional.parsing.ast.BinarySentence

53
54
55
56
57
58
59
60
  }

  private Sentence transformImpliedSentence(BinarySentence bs) {
    Sentence first = new UnarySentence((Sentence) bs.getFirst().accept(
        this, null));
    return new BinarySentence("OR", first, (Sentence) bs.getSecond()
        .accept(this, null));
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.