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
Q. A. Which gates are called Universal Gates? Why? B. State and prove any one of the DeMorgen's Laws. Show that these theorems can be extended up to any number of variables.

Analysis which determines the meaning of a statement once its grammatical structure becomes known is termed as? Ans. The meaning of a statement when its grammatical structure b

What is MMX Technology MMX Technology: MMX (Multimedia extensions) technology adds 57 new instructions to instruction set of Pentium - 4 microprocessors. MMX technology also

What are Attributes?  Attributes are declarative tags in code that insert additional metadata into an assembly. There exist two types of attributes in the .NET Framework: Pred

Why object oriented development not only allows reuse In a wider way we can say that object oriented development not only allows reuse and information sharing within an applica

Illustrate how 74147 series TTL can be used as a decimal-to-BCD encoder. Ans. Available IC in 74 series is 74147 that is a priority encoder. Such IC has active low inp

What is PCI bus? The Peripheral component interconnect(PCI) bus is a standard that handles the functions found on a processor bus but in a standardized format that is independe

Explain the Input Stage of an ADC. Ans. Input Stage- In ADC at the input stage, analog voltage can contain any value in a range although the digital output can contain

Q. What is External Procedures? These procedures are written as well as assembled in separate assembly modules and afterwards linked together with the main program to form a bi

The PHP Hypertext Pre processor is a programming language that permits web developers to make dynamic content that interacts with databases. PHP is basically used for developing we