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
what are the applications of photochemistry?

A stationary random displacement signal was digitised at 64 samples a second and analysed to obtain an auto-spectral density.  The signal was calibrated in mm units.  The frame siz

what is software interface #Minimum 100 words accepted#

What are RDRAM? RDRAM are Rambus DRAM. Rambus needs specially designed memory chips. These chips use cell arrays based on the standard DRAM technology. Multiple banks of cell a

Q. Show the Process Management for parallel virtual machine? Process Management  int pvm_mytid( void ) Returns the tid of the calling process. Tid values les

What is basic Analog Design? Analog design is rather challenging than digital design as analog circuits are sensitive to noise, operating voltages, loading circumstances and ot

Tool that is used to transfer data/files among computers on the Internet TCP (Transfer control protocol)

What are the features of ADO.Net ?  ADO.NET features: 1. Disconnected Data Architecture 2. Data cached in Datasets 3. Data transfer in XML format 4. Interaction wit


Backward Chaining: In generally given that we are only interested in constructing the path whether we can set our initial state to be the theorem statement and search backward