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
What is virtual memory? Method that automatically move program and datablocks into the physical main memory when they are needed for execution are known as virtual memory.

The Function code currently active is ascertained by what Variable? The function code at present active in  a Program can be ascertained from the SY-UCOMM  Variable.

The structure of Logical Databases reflects which dependencies of hierarchical tables in the SAP system. Foreign Key dependencies

Hypertext vs Hypermedia     Hypertext is basically the similar as regular text - it can be stored, read, searched, or edited - with a significant exception: hypertext having co

Explain Implementation of the Circuits From the Boolean Expression? If the operation of the circuit is defined by a Boolean expression, a logic-circuit diagram can he implement

Hypothesis ... since the Hebrew language is a Numerical language meaning that each letter in their alphabet has a numerical value. I believe, that the Hebrew-language based on a r

In class SlotCollection, remove the fields slot1, slot2, slot3 and slot4 and replace them by an array of slots. Modify the rest of the program to work using this array. There is

What are the properties of E-cash? Properties: a. Monetary Value: It must be backed through either cash, bank –certified cashier’s cheque and authorized credit cards.

Fuzzy logic is a form of various-valued logic; it deals with reasoning that is approximate rather than fixed & exact. In contrast with traditional logic theory, where binary sets h

Scientific Applications/Image processing Most of parallel processing functions from science and other academic subjects, are mainly have based upon arithmetical simulations whe