answersLogoWhite

0


Best Answer

Inference Rules:

assertion: LION(leo)

implication: Vx LION(x)->FEROCIOUS(x)

conclusion: FEROCIOUS(leo)

In concluding a substitution of leo for x was necessary. Substitutions are an essential part of the inferenceprocess. Any substitution that makes two or more expressions equal is called a unifier for the expressions. Given two expressions that are unifiable, such as expressions C1 and C2 with a unifier B with C1B=C2, we say that b is a mgu(most general unifier). This is unification.

The resolution principle is similar to the process of obtaining a proof by contradiction, a syntactic inference procedure which, when applied to a set of clauses, determines if the set is unsatisfiable. Using resolution together with factoring, we can show that the set is unsatisfiable by deducing a contradiction.

User Avatar

Wiki User

10y ago
This answer is:
User Avatar

Add your answer:

Earn +20 pts
Q: What is the relation between resolution and unification in AI?
Write your answer...
Submit
Still have questions?
magnify glass
imp
Continue Learning about Engineering

Why is AI being put into robots?

The vast majority of robots use no AI. In general AI in robots is still limited to mostly robotics research.


What is the use of arrays over pointers?

Arrays can be regarded as constant pointers. Example: int *pi, ai[5]; pi= ai; /* okay */ pi[0]= ai[0]; /* okay */ ai[0]= pi[0]; /* okay */ pi= (int *)malloc (10*sizeof (int)); /* okay */ ai= pi; /* NOT okay */ ai= (int *)malloc (10*sizeof (int)); /* NOT okay */


What is the difference between weak ai and strong ai?

weak AI is AI that cannont 'think', i.e. a computer chess playing AI does not think about its next move, it is based on the programming it was given, and its moves depend on the moves of the human opponent.strong AI is the idea/concept that we will one day create AI that can 'think' i.e. be able to play a chess game that is not based on the moves of the human opponent or programming, but based on the AI's own 'thoughts' and feelings and such, which are all supposed to be exactly like a real humans thoughts and emotions and stuff.In the realm of the Artificial Intelligence field of Computer Science (and Cognitive Science, where it overlaps), a "Strong AI" is one which displays "human-level thought capability". Weak AI is anything that cannot pass this test.In this context, a Strong AI does not have to be indistinguishable from a human in a blind test (i.e. it does NOT have to pass a Turing Test). Strong AI does not take into account human emotions or cultural bias (or cultural knowledge), though most concepts of a Strong AI presume at least some level of "humanity" being part of the system. Rather, Strong AI presumes that a machine is capable of sophisticated responses to questions or problems which are not intrinsically related to its programming. In essence, the key characteristics of a Strong AI is something that can engage in abstract analysis, solution synthesis, and some level of creativity at the same level as a human being. In addition, a Strong AI does not have to display this ability across all the possible ranges of human thought, any more than a human being can be expected to be equally talented in all areas of human thought.There does not currently exist any Strong AI implementations anywhere. Weak AI is generally used to refer to implementations that are more flexible (and less fragile) than Expert Systems (which tend to be very narrowly-defined scope systems with no creativity or adaptability at all).


What are Advantages of cognitive science on AI?

You can add it on a CV


What are the programming languages of expert system?

It depends on the sub-field in AI. Lisp, was used from the very binning of AI. Python, C++ and Java are used mostly now.

Related questions

What is the pattern of the Fibonacci sequence?

Let's mark ai as an i-th element of sequence. You can calculate ai using following recurrence relation. a0 = 0, a1 = 1, an+2 = an + an+1.


What are conflict resolution strategies in AI?

It is the job of a search method to decide on the order in which the rules to be applied.bus sometimes it is useful to incorporate some of decision making into the matching process. this phase of matching process is called conflict resolution strategy.


What is the distance between Ai Khanum and the Greek mainland?

2.5 km


What are similarity and difference between conventional programming and AI programming?

Conventional is done by hand and is much slower AI is done by machine and is 100times


What is the rap song that goes like ai ai ai?

Say I Yi Yi by the Ying Yang Twins "Fearless" By Jay Chou is also kind of a rap song that goes "ai ai ai"


What nicknames does Ai Hanzawa go by?

Ai Hanzawa goes by Ai-chan.


What is the maximum product of n positive numbers if their sum is given?

Let the sum of series a1,.., an = A. Since ai >0. Then the maximum possible product of a1,..,an is = (A/n)n. This result basically comes the relation between the arithmetic mean and geometric mean of n positive numbers. A/n >= (a1...an)(1/n). The equality case of the above relation gives the maximum product (by raising the power by n on both sides).


What is the difference between strong AI and weak AI?

Weak AI and Strong AI are two types of AI, classified based on the goals that the corresponding sets of researchers are focused on achieving. Weak AI is focused towards the technology which is capable of carrying out pre-planned moves based on some rules and applying these to achieve a certain goal but, Strong AI is based on coming up with a technology that can think and function very similar to humans. So, the applications of Weak AI make the humans feel as that the machines are acting intelligently (but they are not). Contrastingly, the applications of Strong AI will (someday) actually act and think just as a human, as opposed to just making the humans feel that the machines are intelligent.


When was Ai-Ai de las Alas born?

Ai-Ai de las Alas was born on 1964-11-11.


How to Create character ai in Avtar Ai?

imagine


How fast does astatine react with hydrogen?

ai sechu pego ai ai sechu pago


How tall is Ai Hiyoshi?

Ai Hiyoshi is 153 cm.