Deductive inferences - artificial intelligence, Computer Engineering

Deductive Inferences - Artificial intelligence:

We have described how knowledge can be represented in first-order logic, and how in logic rule-based expert systems expressed can be used and constructed. Now, we look at how to take home known facts regarding a domain and deduce new facts from them. In turn, this will enable agents to prove things, for example, to begin with a set of statements we believe to be true (axioms) and deduce whether another statement (theorem) is true or false. We will first look at how to tell whether a sentence in propositional logic is true or false. This will advise some equivalences among propositional sentences, which let us to rewrite sentences to other sentences which mean the similar thing, regardless of the truth or meaning of the specific propositions they contains. These are reversible inferencesthat  can be applied in deduction either way. In general, we then look at propositional and first-order inference rules, which enable us deduce new sentences if we know that certain things are true, and which cannot be reversible.

 

 

Posted Date: 10/2/2012 7:26:38 AM | Location : United States







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

Write discussion on Deductive inferences - artificial intelligence
Your posts are moderated
Related Questions
Question 1: (a) How would you explain human reasoning? (b) Explain the different types of human reasoning? Question 2: (a) What are the computational factors affec

Hyper cube or multidimensional cube forms the core of OLAP system. This having of measures which are arranged according to dimensions. Hyper cube Meta data is formed by star or sno

The grade of service is measured in (A) Percentage                                  (B)  Number (C)  Fractional Number                    (D)  Logarithmic Number  Ans

Question: a) Evary cell in a cellular network is assigned a band of frequencies. The allocated frequencies are divided into two types of channels. Indentify and describe each t

If various load generators need to access the similar physical files, rather than having to remember to copy the files every time they change, each load generator can reference a c

Explain Circular Dependencies. Circular Dependencies: To know the problem of circular dependencies consider a file server which uses a timeserver to acquire the current

Downcasting concept is the casting from a general to a more particular type, i.e. casting down the hierarchy in programming

what is interference of light explain the nessicity of coharent source for obtaining sustain interference pattern

Association and classes betwnn student and university Association and classes are alike in the sense that classes describe objects, and association describe links. Figure shows

Define Process Process is a program in execution; process execution should progress in sequential fashion. A process involves: a) Program counter  b) Stack c) Data se