Lifted inference rules require finding substitutions that make different logical
Home | Discussion Forum
Lifted inference rules require finding substitutions that make different logical expressions looks identical.
Existential Instantiation
Universal Instantiation
Unification
Modus Ponen
Answer : C
View More Related Question
1) A Horn clause is a clause with _______ positive literal.
2) Graph used to represent semantic network is,
3) Antonymy relation means,
A is part of B
B has A as a part of itself
A denotes opposite of B
A is superordinate of B
View Answer
4) Holonymy relation means,
5) Instead of representing knowledge in a relatively declarative, static way (as a bunch of things that are true), rule-based system represent knowledge in terms of___________ that tell you what you should do or what you could conclude in different situations.
