Double negation - artificial intelligence, Computer Engineering

Double Negation - Artificial intelligence:

Always parents are correcting their children for the use of double negatives, but we have to be very alert with them in natural language: "He didn't tell me not to do it" doesn't necessarily mean the same as "He did tell me to do it". The similar of it is true with logical sentences: for example, we cannot change ¬(P  Q) to (¬ P  ¬Q) without risking the meaning of the sentence changing. However, there are firm cases when we can alter expressions with negation. Two options are given by de Morgan's law below, and we can also make simpler the statements by removing double negation.

You can be wondering why on earth anyone would ever write down a sentence in the first place with such a double negation. Of course, you are right. As humans, we would not write a sentence in logic like that. Still, remember that our agent will be doing search by using rewrite rules. It can be that as part of the search, they introduce a double negation, by following a certain rewrite rule to the letter. In this type of case, the agent would probably tidy it up by using this equivalence:

¬¬P ≡ P

Posted Date: 10/2/2012 8:00:02 AM | Location : United States







Related Discussions:- Double negation - artificial intelligence, Assignment Help, Ask Question on Double negation - artificial intelligence, Get Answer, Expert's Help, Double negation - artificial intelligence Discussions

Write discussion on Double negation - artificial intelligence
Your posts are moderated
Related Questions
One of the fault base testing techniques is:- Mutation testing is the fault base testing.

Give brief description about arithmetic processing unit To execute the arithmetic operations there is a separate section known as arithmetic processing unit in CPU. The arithme

What is commitment unit? When out-of-order execution is permitted, a special control unit is required to guarantee in-order commitment. This is known as the commitment unit. It

Differentiate between http and ftp. HTTP and FTP were developed to make Internet transmission better. FTP is utilized to exchange files among computer accounts, to transfer

Companding helps in reducing with respect to signal:  (A) Interference                    (B) Signal overloading (C) Non linearity                 (D) Quantization noise

What are the three data anomalise that are likely to occur as a result of data redundancy?

Explain differences between folded and non-folded network. Folded network: While all the inlets/outlets are connected to the subscriber lines, the logical connection shows as

Which type of web document is run at the client site? Active web document is a type of web document is run at client side.

Overriding tell us only the methods, but shadowing tells us the entire element.

The goal is to simulate a real life product development and familiarize learners with the design process of a system, component, or process to meet desired requires within realisti