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
What is BSS(Block Started by Symbol)? A data showing at the machine level, that has initial values when a program begins and tells about how much space the kernel assigns for t

Discuss the basic entities of World Wide Web in brief. World Wide Web: This is a complicated client/server system in that a web client communicates along with the web ser

Binary number system is most common for computer due to two stable states of its components. However unfortunately this isn't a very natural system for us as we deal with decimal n

SGML is very large, influential, and difficult. It has been in important industrial and commercial use for nearly two decades, and there is a important body of expertise and softwa

A global variable is a variable A global variable is declared outside the body of each function.

Explain the DAA DAA instruction follows the ADC or ADD instruction to adjust the result into a BCD result. DAA instruction functions only with the AL register, this addition sh

Q. Fundamental building block of main memory? The fundamental building block of main memory remains DRAM chip as it has for decades. Till recently there had been no important c

Ground substitution: Here the act of performing an instantiation is a function like there is only one possible outcome means we can write it as a function. And the notation Su

What is critical section problem? A race condition at data item occurs when many processes simultaneously update its value data consistency, needs that only one process should

Arbitrary categorisation - learning decision trees: Through visualising  a set of boxes with some balls in. There if all the balls were in a single box so this would be nicely