C# (CSharp) DomainFactory.knowsDomain示例

示例#1

        private static void unifierDemo()
        {
            FOLParser             parser  = new FOLParser(DomainFactory.knowsDomain());
            Unifier               unifier = new Unifier();
            IMap <Variable, Term> theta   = CollectionFactory.CreateInsertionOrderedMap <Variable, Term>();

            Sentence query         = parser.parse("Knows(John,x)");
            Sentence johnKnowsJane = parser.parse("Knows(y,Mother(y))");

            System.Console.WriteLine("------------");
            System.Console.WriteLine("Unifier Demo");
            System.Console.WriteLine("------------");
            IMap <Variable, Term> subst = unifier.unify(query, johnKnowsJane, theta);

            System.Console.WriteLine("Unify '" + query + "' with '" + johnKnowsJane + "' to get the substitution " + subst + ".");
            System.Console.WriteLine("");
        }

示例#2

        private static void unifierDemo()
        {
            FOLParser parser  = new FOLParser(DomainFactory.knowsDomain());
            Unifier   unifier = new Unifier();
            var       theta   = new Dictionary <Variable, Term>();

            Sentence query         = parser.parse("Knows(John,x)");
            Sentence johnKnowsJane = parser.parse("Knows(y,Mother(y))");

            System.Console.WriteLine("------------");
            System.Console.WriteLine("Unifier Demo");
            System.Console.WriteLine("------------");
            var subst = unifier.unify(query, johnKnowsJane, theta);

            System.Console.WriteLine("Unify '" + query + "' with '" + johnKnowsJane
                                     + "' to get the substitution " + DictToString(subst) + ".");
            System.Console.WriteLine("");
        }

示例#3

文件： UnifierTest.cs 项目： bclgenki/tvn-cosine

 public void setUp()
 {
     parser  = new FOLParser(DomainFactory.knowsDomain());
     unifier = new Unifier();
     theta   = CollectionFactory.CreateInsertionOrderedMap <Variable, Term>();
 }

示例#4

文件： UnifierTest.cs 项目： claudiu04/AIMA.Net

 public void setUp()
 {
     parser  = new FOLParser(DomainFactory.knowsDomain());
     unifier = new Unifier();
     theta   = new Dictionary <Variable, Term>();
 }