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
What is the difference between, page directive include, action tag include? Ans) One difference is whereas using the include page directive, in translation time it is making t

The fields specified by select-options and parameters statement cannot be grouped together in the selection screen. No, the fields specified by select-options and parameters s

Q. What is microcomputer system? The microcomputer has a single microprocessor and a number of RAM and ROM chips as well as an interface unit which communicates with several ex

A Master group consists of? A master group have 300 voice channels.

Discuss about Translation table encryption technique to ensure secured transactions onto the net? Translation table: In this process each chunk of data is used like an of

Q. Interconnection network in the form of a Linear Array? The sorting problem particularly selected is bubble sort and interconnection network may be represented as n processor

Discuss in detail the features, benefits and implementation of JIT inventory system. JIT - Just in Time inventory systems - meaning, origin, need for JIT, benefits, Use of JIT

Obstacles to IS implementation While information systems are now becoming the norm in most organisations the journey to this point has been a difficult one. Even in the 21st c

Define a register. Ans:  Register:   A register contain a group of flip-flops and gates which effect their transition. The flip flops hold the binary information and the g

Determine the benefits of mainframe computers Government agencies, large businesses, and universities usually use this type of computer. So: This computer is common t