Syntax and semantics for first-order logic , Computer Engineering

Syntax and Semanticsx and Semantics for First-order logic - artificial intelligence:

Propositional logic is limited  in its expressiveness: it may just represent true and false facts regarding  the world. By extending propositional logic to first order logic that also known as predicate logic and first order predicate logic that we enable ourselves to represent much more information regarding the world. Moreover, first-order logic enables us to reason about the world using rules of deduction.

We will think regarding first-order logic as easily a different language just like German or French. In order to give our agent information regarding the world we will need to be able to translate sentences from English to first order logic. We will also need to be able to translate sentences from first order logic into English so that we understand what our agent has deduced from the facts that we gave it. For doing this we will look at the combinations of symbols we are allowed to use in first -order logic (the syntax of the language). We will also determine how we assign meaning to the sentences in the language (the semantics), and how we translate from one to another, for example, English to Logic and vice-versa.

 

Posted Date: 10/2/2012 3:54:12 AM | Location : United States







Related Discussions:- Syntax and semantics for first-order logic , Assignment Help, Ask Question on Syntax and semantics for first-order logic , Get Answer, Expert's Help, Syntax and semantics for first-order logic Discussions

Write discussion on Syntax and semantics for first-order logic
Your posts are moderated
Related Questions
SMLI firewalls are different from the conventional The SMLI firewalls are different from the conventional "stand in" proxies in a way that the stand-in proxies are used for th

What are the steps involved in authentication? Steps in Authentication The control over the access of the resources in the repository is exercised in two steps namely Auth

Explain Message switching. Recourse computer sends data to switching office that stores the data into buffer and seems for a free link. Sends link to other switching office, if

What are the different between hypertext hypermedia? Hypertext is fundamentally the same like regular text; this can be stored, read or searched and edited along with a signifi

Draw the circuit diagram of Asynchronous decade counter and explain its working. Ans: To  design  a  circuit diagram of decade  asynchronous  counter  initially  we  dr

Determine the importance of computer Hardware Hardware forms the greatest asset of the company, but it reaches obsolescence very quickly. Normally, it is said that every six mo


Q. What is control function? If transfer is to take place only under a predetermined control condition then this condition can be specified as a control function. For illustrat

Common Tasks to Accomplish: Once you've worried about what and why you're doing "AI", what has inspired you and how you're going to approach the job, then you just start to th

Q. What do you mean by Software Poll? In this scheme on occurrence of an interrupt, processor jumps to an interrupt service program or routine whose job is to poll (roll call