Propositional logic - artificial intelligence, Computer Engineering

Propositional Logic - artificial intelligence:

This is a limited logic, which permit  us to write sentences about propositions - statements about the world - which can either be false or  true. The symbols in this logic are (i) connectives which are: and (∧), or (∨), not (¬),  and implies (->) (ii) capital letters such as Q,P and R which represent propositions such as: "It is raining" and "I am wet", (iii) brackets and (iv) T which stands for the proposition "true", and F which stands for the proposition "false". The syntax of this logic are the rules specifying where in a sentence the connectives may go, for example ∨ might go between two propositions, or between a bracketed conjunction of propositions and so on .

The semantics of this logic are rules about how to assign truth values to a sentence if we know whether the propositions mentioned in the sentence are true or not.  One rule is that the sentence P ∨ Q is true in the situation only when P and Q both are true. The rules also dictate how to use brackets.  As a very simple example, we may represent the knowledge in English that "I always get wet and annoyed when it rains" as:

I am wet -> It is raining ∧ I am annoyed

If we program our agent with the semantics of propositional logic, then if at some stage, we tell it that it is raining; it can infer that I will get wet and annoyed.

Posted Date: 10/2/2012 3:18:01 AM | Location : United States







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

Write discussion on Propositional logic - artificial intelligence
Your posts are moderated
Related Questions
Explain the uses of Keyboards An alphanumeric keyboard for a graphics system is used primarily as a device for entering text strings. Keyboards can also be provided with featur

What is parallel adder? Draw and explain block diagram for 4 bit parallel adder. Ans: By using full adder circuit, any two bits can be added along with third input like a ca

Explain Biometric Systems Biometrics is the science of measuring physical properties of living beings. Biometric Authentication (1) Biometric authentication is the aut

how many errors will be left after defect amplification and removal method on the following data design=40 analysis=30 maintenance=20 testing 35 coding 25 take 75% removal efficie

System is a word which is derived from the Greek word 'Systema' which means an organized relationship among components. A System can be defined as orderly grouping of interdepen

Define Rules for Reducing Karnaugh Maps? The rules for reducing Karnaugh Maps (k- maps) are as follows: All of the 1's in the Karnaugh Map are called as minterms. The

What are the modes in which any update tasks work? Synchronous and Asynchronous.

As an XML expert you are needed to model a system for an online furniture shop. After an interview with the shop manager you have the certain information: The detail of th

Define the term Grade of Service. Grade of Service: In loss systems, the traffic carried through the network is usually lower than the actual traffic offered to the network t

A interrupt that can be turned off by the programmer is called as Maskable interrupt.