> Sorry I don't understand. What do you mean by "input". Could you give me
> an example?
I meant, instead of giving "input" like the following, which involves the
variable " X"
(ImplicationScope (stv 1.0 1.0) (TypedVariable (Variable "$X") (Type
"ConceptNode")) (And (Evaluation (Predicate "croaks") (Variable "$X"))
(Evaluation (Predicate "eats_flies") (Variable "$X"))) (Inheritance
(Variable "$X") (Concept "Frog"))) (ImplicationScope (stv 1.0 1.0)
(TypedVariable (Variable "$X") (Type "ConceptNode")) (Inheritance (Variable
"$X") (Concept "Frog")) (Inheritance (Variable "$X") (Concept
"green")))........... ....
Can i simply give the following KB without variables, and apply
conditional-instantiation-meta-rule
and fuzzy-conjunction-introduction-rule to get the inferences?
(EvaluationLink (PredicateNode "croaks") (ConceptNode "frog"))
(EvaluationLink (PredicateNode "eats_flies") (ConceptNode "frog"))
(InheritanceLink (ConceptNode "frog") (ConceptNode "green"))
(EvaluationLink (PredicateNode "croaks") (ConceptNode "fritz"))
(EvaluationLink (PredicateNode "eats_flies") (ConceptNode "fritz"))
--
You received this message because you are subscribed to the Google Groups
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/278f39e4-8b07-4d13-99d4-40df38a71e4b%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
