Higher order predicate logic - artificial intelligence, Computer Engineering

Higher Order Predicate Logic:

In first order predicate logic, we are allowed to quantify over objects only. If we let  ourselves  to  quantify  over  predicate  or  function  symbols,  afterthat  we  have moved up to the more expressive higher order predicate logic. This means that we are representing meta-level information regarding our knowledge, such as "For all the functions we havespecified, they return the number 10 if the number 7 is the input given":

2397_Higher Order Predicate Logic.pngf, (f(7) = 10).

Multiple valued logics, where different truth value such as "unknown" is allowed. These have some o advantages of fuzzy logics, without essential worrying about probability.

Modal logics,  which cater for particular agents' beliefs regarding the world. For intended, one agent could trust that a certain statement is true, but another cannot. Modal logics help deal with statements that can be believed to be true to some, but not all agents.

Temporal logics, which make us able  to write sentences involving considerations of time, for an  example that a statement may become true sometime in the future.

Posted Date: 10/2/2012 3:27:17 AM | Location : United States

Related Discussions:- Higher order predicate logic - artificial intelligence, Assignment Help, Ask Question on Higher order predicate logic - artificial intelligence, Get Answer, Expert's Help, Higher order predicate logic - artificial intelligence Discussions

Write discussion on Higher order predicate logic - artificial intelligence
Your posts are moderated
Related Questions
Illustrate about 8259 8259A adds 8 vectored priority encoded interrupts to the microprocessor. We can expand it to 64 interrupt requests by using one master 8259A and 8 slave

program in c for scanline seed fill

Poor Richard's cache as explained in Conference Topic 2. Suppose that a 7th word (gggg gggg) from main memory location 011110 is read and stored in cache. a) Determine the cach

CISC Approach - CISC architecture: The main goal of CISC architecture is to finish a task in as few lines of assembly as possible as. This is gain by building processor hardwa

How to detect overflow condition An overflow condition can be notice by observing the carry into the sign bit position and the carry out of sign bit position. If this carries a

Common channel signalling              ? Common channel signalling requires no additional transmission help or facilities.

Q. What is Computer communications networks? Computer communications networks are the outcome of a combination of computers and telecommunication products. An interconnected gr

Q. How steps of instruction execution can be broken down? Let's explain how these steps of instruction execution can be broken down to micro-operations. To make easier this dis

Q. Define Decision Support System? Ans. The decision support system is an information system application which help decision making. DSS tends to be used in planning or analy

Side tone is the speech heard by (A)  the receiving subscriber (B)  both the receiving and calling subscriber (C) by on looker (D) by calling subscriber Ans