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
#how to write c program for all types of beam reactions

Write Relational algebra expressions for the given queries. (i) List the employee numbers, employee names and their manager numbers working in several branches who earn more than

Jobs which are admitted to the system for processing is called ? Ans. Long-term scheduling is admitted to the system for processing.

What are the types of consumer oriented applications of E-commerce? Four types of Consumer Oriented applications within E-Commerce are as given below: 1. B2C (business-to-c

A class that has no functionality of its own is an Adaptor class in C++. Its member functions hide the use of a third party software component or an object with the non-compatible

Realized mean that the component has been painted on screen or that is prepared to be painted. Realization can take place by invoking any of these methods. setVisible(true), show()

Classification according to pipeline configuration: According to the configuration of a pipeline, the following parts are recognized under this classification: Unifunct

In AI the process of perception is studied as a set operations. A visual scene may be encoded by sensors and represented as matrix of intensity values. These are processed b

Find the Boolean expression for logic circuit shown in Figure below and reduce it using Boolean algebra. Ans. Y = (AB)' + (A' + B)' = A' + B' + AB' by using Demorgan's Theorem. =

Explain a standard set of procedure for completing a local telephone call or call processing. Completing a local telephone call among two subscribers connected to the similar