Пример #1
0
        private static StatementAnswer createAnswer(ComparisonStatement statement, IQuestionProcessingContext <ComparisonQuestion> context, ICollection <IStatement> transitiveStatements = null)
        {
            var resultStatement = statement.SwapOperandsToMatchOrder(context.Question);

            var text = new UnstructuredContainer();

            text.Append(resultStatement.DescribeTrue());

            var explanation = transitiveStatements == null
                                ? new Explanation(statement)
                                : new Explanation(transitiveStatements);

            return(new StatementAnswer(resultStatement, text, explanation));
        }
Пример #2
0
        public void ExplainPreconditions()
        {
            // arrange
            var language        = Language.Default;
            var semanticNetwork = new SemanticNetwork(language);

            var concept1 = ConceptCreationHelper.CreateConcept();

            concept1.WithAttribute(IsValueAttribute.Value);
            var concept2 = ConceptCreationHelper.CreateConcept();

            concept2.WithAttribute(IsValueAttribute.Value);
            var concept3 = ConceptCreationHelper.CreateConcept();

            concept3.WithAttribute(IsValueAttribute.Value);
            semanticNetwork.Concepts.Add(concept1);
            semanticNetwork.Concepts.Add(concept2);
            semanticNetwork.Concepts.Add(concept3);

            var initialComparison = semanticNetwork.DeclareThat(concept1).IsEqualTo(concept2);

            var preconditionComparison = new ComparisonStatement(null, concept2, concept3, ComparisonSigns.IsEqualTo);
            // ... and do not add it to semantic network

            // act
            var answerWithoutPreconditions = semanticNetwork.Ask().HowCompared(concept1, concept3);
            var answerWithPreconditions    = semanticNetwork.Supposing(new IStatement[] { preconditionComparison }).Ask().HowCompared(concept1, concept3);

            // assert
            Assert.IsTrue(answerWithoutPreconditions.IsEmpty);
            Assert.AreEqual(0, answerWithoutPreconditions.Explanation.Statements.Count);

            Assert.IsFalse(answerWithPreconditions.IsEmpty);
            var resultComparison = (ComparisonStatement)((StatementAnswer)answerWithPreconditions).Result;

            Assert.AreSame(concept1, resultComparison.LeftValue);
            Assert.AreSame(concept3, resultComparison.RightValue);
            Assert.AreSame(ComparisonSigns.IsEqualTo, resultComparison.ComparisonSign);
            Assert.AreEqual(2, answerWithPreconditions.Explanation.Statements.Count);
            Assert.IsTrue(answerWithPreconditions.Explanation.Statements.Contains(initialComparison));
            Assert.IsTrue(answerWithPreconditions.Explanation.Statements.Contains(preconditionComparison));

            Assert.AreSame(initialComparison, semanticNetwork.Statements.Single());
        }
Пример #3
0
        public void TestBuildingPreconditions()
        {
            // arrange
            var language        = Language.Default;
            var semanticNetwork = new TestSemanticNetwork(language);

            var numberMinus1 = ConceptCreationHelper.CreateConcept();

            numberMinus1.WithAttribute(IsValueAttribute.Value);

            var precondition  = new ComparisonStatement(null, numberMinus1, semanticNetwork.Number0, ComparisonSigns.IsLessThan);
            var preconditions = new IStatement[] { precondition };

            // act
            var questionRegular = new ComparisonQuestion(numberMinus1, semanticNetwork.Number1, preconditions);
            var answerRegular   = (StatementAnswer)questionRegular.Ask(semanticNetwork.SemanticNetwork.Context);

            var answerBuilder = (StatementAnswer)semanticNetwork.SemanticNetwork.Supposing(preconditions).Ask().HowCompared(numberMinus1, semanticNetwork.Number1);

            // assert
            Assert.AreEqual(answerRegular.Result, answerBuilder.Result);
            Assert.IsTrue(answerRegular.Explanation.Statements.SequenceEqual(answerBuilder.Explanation.Statements));
        }