本文整理匯總了Java中aima.core.logic.propositional.parsing.ast.Sentence類的典型用法代碼示例。如果您正苦於以下問題：Java Sentence類的具體用法？Java Sentence怎麽用？Java Sentence使用的例子？那麽恭喜您, 這裏精選的類代碼示例或許可以為您提供幫助。

Sentence類屬於aima.core.logic.propositional.parsing.ast包，在下文中一共展示了Sentence類的16個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於我們的係統推薦出更棒的Java代碼示例。

示例1: mapAsComplexSentence

​點讚 3

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

private static Sentence mapAsComplexSentence(Clause clause) {

ArrayList subSentences = new ArrayList();

for (ClauseNode clauseNode : clause.getSubClauses()) {

subSentences.add(map(clauseNode));

}

Connective connective;

switch (clause.getType()) {

case AND:

connective = Connective.AND;

break;

case OR:

connective = Connective.OR;

break;

case NOT:

connective = Connective.NOT;

break;

default:

connective = Connective.AND;

}

return bracketIfNecessary(connective, subSentences);

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:24，

示例2: testFlattenOr

​點讚 3

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

public void testFlattenOr() {

List conditionsA = new ArrayList();

conditionsA.add(new Condition("price", new Token(100, MatchCondition.GREATER_THAN_EQUALS)));

conditionsA.add(new Condition("floor", new Token(4, MatchCondition.LESS_THAN)));

Clause clauseA = new Clause(Clause.ClauseType.OR, conditionsA);

List conditionsB = new ArrayList();

conditionsB.add(new Condition("category", new Token("foo", MatchCondition.EQUALS)));

conditionsB.add(new Condition("category", new Token("bar", MatchCondition.EQUALS)));

Clause clauseB = new Clause(Clause.ClauseType.OR, conditionsB);

List clauses = new ArrayList();

clauses.add(clauseA);

clauses.add(clauseB);

Clause root = new Clause(Clause.ClauseType.OR, clauses);

Sentence sentence = PropositionalSentenceMapper.map(root);

assertEquals(Connective.OR, sentence.getConnective());

assertEquals(2, sentence.getNumberSimplerSentences());

Sentence cnf = Query.getCNF(sentence);

Conjunction conjunction = new Conjunction();

Query.flatten(conjunction, cnf);

assertEquals(1, conjunction.getNumberSimplerSentences());

assertEquals(4, conjunction.getSimplerSentence(0).getNumberSimplerSentences());

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:27，

示例3: test

​點讚 3

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

public void test() {

List conditionsA = new ArrayList();

conditionsA.add(new Condition("price", new Token(100, MatchCondition.GREATER_THAN_EQUALS)));

conditionsA.add(new Condition("floor", new Token(4, MatchCondition.LESS_THAN)));

Clause clauseA = new Clause(Clause.ClauseType.AND, conditionsA);

List conditionsB = new ArrayList();

conditionsB.add(new Condition("category", new Token("foo", MatchCondition.EQUALS)));

conditionsB.add(new Condition("category", new Token("bar", MatchCondition.EQUALS)));

Clause clauseB = new Clause(Clause.ClauseType.AND, conditionsB);

List clauses = new ArrayList();

clauses.add(clauseA);

clauses.add(clauseB);

Clause root = new Clause(Clause.ClauseType.OR, clauses);

Sentence sentence = PropositionalSentenceMapper.map(root);

assertEquals(Connective.OR, sentence.getConnective());

assertEquals(2, sentence.getNumberSimplerSentences());

Sentence cnf = Query.getCNF(sentence);

Conjunction conjunction = new Conjunction();

Query.flatten(conjunction, cnf);

assertEquals(4, conjunction.getNumberSimplerSentences());

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:26，

示例4: myTest

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

@Test

public void myTest(){

Sentence nested = parser.parse("(A1 | A2 | A3) => (A1 & A4)");

Sentence transformed = ConvertToCNF.convert(nested);

System.out.println(transformed);

}

開發者ID:Vapsel，項目名稱:social-media-analytic-system，代碼行數:8，

示例5: main

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

public static void main(String args[]) {

PLParser parser = new PLParser();

Sentence symbol = parser.parse("(((A & ((((B)))))) | (C & D)) & E");

Sentence transformed = ConvertToDNF.convert(symbol);

System.out.println(transformed.toString());

//Assert.assertEquals("A", transformed.toString());

}

開發者ID:iluoyi，項目名稱:teo-library，代碼行數:8，

示例6: Query

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

public Query(int queryId, ClauseNode clauseNode) {

this.clauseNode = clauseNode;

this.queryId = queryId;

Sentence cnf = getCNF(clauseNode);

int tmpBits = 0;

for (int bit = 0; bit < cnf.getNumberSimplerSentences(); bit++) {

tmpBits++;

Sentence disjunction = cnf.getSimplerSentence(bit);

for (int p = 0; p < disjunction.getNumberSimplerSentences(); p++) {

Sentence sentence = disjunction.getSimplerSentence(p);

boolean isNegativeCondition = false;

if (sentence.isNotSentence()) {

sentence = sentence.getSimplerSentence(0);

isNegativeCondition = true;

}

Condition condition = ((PropositionSymbol) sentence).getCondition();

if (condition.getToken().getCondition() == MatchCondition.IN) {

//If this is an IN query we're dealing with a Token containing a List

Object t = condition.getToken().getToken();

if (t instanceof List) {

for (Token token : (List) t) {

Condition tmpCondition = new Condition(condition.getFieldName(), token, isNegativeCondition);

postings.put(tmpCondition, QueryPosting.pack(queryId, bit, isNegativeCondition));

}

}

} else {

condition.setNot(isNegativeCondition);

long posting = QueryPosting.pack(queryId, bit, isNegativeCondition);

if (isNegativeCondition) {

negativeMask.add(bit);

}

postings.put(condition, posting);

}

}

}

bits = tmpBits;

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:40，

示例7: flatten

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

public static void flatten(Conjunction conjunctionCollector, Sentence sentence) {

if (sentence.getNumberSimplerSentences() > 0 && sentence.getConnective() == Connective.AND) {

for (int i = 0; i < sentence.getNumberSimplerSentences(); i++) {

flatten(conjunctionCollector, sentence.getSimplerSentence(i));

}

} else {

Disjunction disjunctionCollector = new Disjunction();

flatten(disjunctionCollector, sentence);

conjunctionCollector.add(disjunctionCollector);

}

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:12，

示例8: map

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

public static Sentence map(ClauseNode clause) {

if (!clause.isLeaf()) {

return mapAsComplexSentence((Clause) clause);

} else {

return mapAsAtomicSentence((Condition) clause);

}

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:8，

示例9: bracketIfNecessary

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

private static Sentence bracketIfNecessary(Connective connective, List sentences) {

if (connective == Connective.NOT && sentences.size() == 1) {

return new ComplexSentence(connective, sentences.get(0));

}

while (sentences.size() > 1) {

ComplexSentence newComplex = new ComplexSentence(

connective,

sentences.remove(sentences.size() - 1),

sentences.remove(sentences.size() - 1)

);

sentences.add(newComplex);

}

return sentences.get(0);

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:15，

示例10: toCNF

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

/**

* Converts the formula into CNF.

*

* @param in the owner of the formula

* @param formula the formula to convert

* @return formula in CNF form

* @throws ContextClassifierException ContextClassifierException

*/

public static String toCNF(INode in, String formula) throws ContextClassifierException {

PEParser parser = new PEParser();

CNFTransformer transformer = new CNFTransformer();

String result = formula;

if ((formula.contains("&") && formula.contains("|")) || formula.contains("~")) {

String tmpFormula = formula;

tmpFormula = tmpFormula.trim();

tmpFormula = tmpFormula.replace("&", "AND");

tmpFormula = tmpFormula.replace("|", "OR");

tmpFormula = tmpFormula.replace("~", "NOT");

tmpFormula = "(" + tmpFormula + ")";

if (!tmpFormula.isEmpty()) {

tmpFormula = tmpFormula.replace('.', 'P');

Sentence f = (Sentence) parser.parse(tmpFormula);

Sentence cnf = transformer.transform(f);

tmpFormula = cnf.toString();

tmpFormula = tmpFormula.replace("AND", "&");

tmpFormula = tmpFormula.replace("OR", "|");

tmpFormula = tmpFormula.replace("NOT", "~");

result = tmpFormula.replace('P', '.');

} else {

result = tmpFormula;

}

}

return result;

}

開發者ID:opendatatrentino，項目名稱:s-match，代碼行數:41，

示例11: getSpecialDateInstances

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

/**

* This method outputs a list of dates for a given special date class (e.g. holiday) from the TEO and an extra constraint (e.g. the year).

*

* @param classIRIStr

* @param extraConstraint

* @return

* @throws TEOException

*/

public ArrayList getSpecialDateInstances(String classIRIStr, DateConstraint extraConstraint) throws TEOException{

OntClass testClass = model.getOntClass(classIRIStr);

if (testClass == null) throw new TEOException("Exception: Cannot find class \"" + classIRIStr + "\" in the ontology.");

ExtendedIterator eqClassItor = testClass.listEquivalentClasses(); // constraints

ArrayList dateClsConstraints = new ArrayList();

ArrayList results = new ArrayList();

String logicExpression = null;

OntClass eqClass = null;

while (eqClassItor.hasNext()) {

eqClass = eqClassItor.next();

logicExpression = getLogicAlgebra(eqClass);

System.out.println("Original:\t" + logicExpression);

PLParser parser = new PLParser();

Sentence symbol = parser.parse(logicExpression);

Sentence transformed = ConvertToDNF.convert(symbol);

System.out.println("Transformed:\t" + transformed.toString());

// parse all constraints

String[] disjSentences = transformed.toString().split("\\|");

for (int i = 0; i < disjSentences.length; i ++) {

dateClsConstraints.add(translateSimpleSentenceIntoRules(disjSentences[i].trim()));

//System.out.println(dateClsConstraints.get(dateClsConstraints.size() - 1));

}

}

if (!dateClsConstraints.isEmpty()) {

DateConstraint mergedConstraint = null;

for (DateConstraint eachConstraint : dateClsConstraints) {

mergedConstraint = DateConstraint.intersectionDateConstraint(eachConstraint, extraConstraint);

System.out.println(mergedConstraint);

results.addAll(DateConstraint.enumerateDates(mergedConstraint));

}

}

return results;

}

開發者ID:iluoyi，項目名稱:teo-library，代碼行數:49，

示例12: getCNF

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

public static Sentence getCNF(Sentence sentence) {

Conjunction conjunction = new Conjunction();

flatten(conjunction, ConvertToCNF.convert(sentence));

return conjunction;

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:6，

示例13: getSimplerSentence

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

@Override

public Sentence getSimplerSentence(int i) {

return subSentences.get(i);

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:5，

示例14: bracketSentenceIfNecessary

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

@Override

public String bracketSentenceIfNecessary(Connective connective, Sentence sentence) {

return null;

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:5，

示例15: add

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

public void add(Sentence sentence) {

subSentences.add(sentence);

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:4，

示例16: mapAsAtomicSentence

​點讚 2

​

import aima.core.logic.propositional.parsing.ast.Sentence; //導入依賴的package包/類

private static Sentence mapAsAtomicSentence(Condition clause) {

return new PropositionSymbol(clause);

}

開發者ID:dbasedow，項目名稱:prospecter，代碼行數:4，

注：本文中的aima.core.logic.propositional.parsing.ast.Sentence類示例整理自Github/MSDocs等源碼及文檔管理平台，相關代碼片段篩選自各路編程大神貢獻的開源項目，源碼版權歸原作者所有，傳播和使用請參考對應項目的License；未經允許，請勿轉載。