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
Common problem with Hill climbing: An alternative way of justifying the problem is that the states are boards with 8 queens already on them, so an action is a movement of one

Explain E-mail gateways. Email using SMTP works better while both the sender and the receiver are on the Internet and can support TCP connections among sender and receiver. Tho

Q. Execute a reduce operation over members of specified group? int info = pvm_reduce( void (*func)(), void *data, int count, int datatype, int msgtag, char    *group, int root

Subtract -27 from 68 using 2's complements. Ans. By using 2's complement 68-(-27)= 68-(-27) 2's complement representation of 68 = 01000100(64+4) 2's complement representatio

Representation in Prolog - Logic Programs : Artificial intelligence If we impose some more constraints on first order logic, then we get to a representation language known as l

Explain the Main characteristics of semiconductor memory Memory, with regard to computers, most commonly signifies to semiconductor devices whose contents can be accessed (whic

Classify Process, differentiate program, process A process maybe concerned to be a program being run. A program isn't a process of itself; it's a passive Entity while the proce


In a multicomputer system the computational load amid different processors should be balanced.  To pass information between different nodes message passing technique is used. The p

Software Estimation The statement of scope helps the planner to established estimates using one or more method which fail into two wide categories: empirical modeling and decom