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
Op code mnemonics: Instructions  (statements)  in  assembly  language  are  usually  very  simple,  unlike  those that in  high-level languages. Usually, an opcode is a symbol

BCD to gray converter using 2:1 multiplexer

What is control store? The microroutines for all the instructions in the instruction set of a computer are kept in a special memory known as the control store.

The decimal equivalent of Binary number 11010 is ? Ans. 11010 = 1 X 2 4 + 1 X 2 3 + 0 X 2 2 + 1 X 2 1 = 26.

And-Introduction: In generally English says that "if we know that a lot of things are true, so we know that the conjunction of all of them is true", then we can introduce conj

DVD-ROM employs same principle as a CD-ROM for reading and writing. However a smaller wavelength laser beam is used. Total capacity of DVD-ROM is 8.5GB. In double-sided DVD-ROM two

Differentiate between AT and XT computer system? Ans    XT -> Extended and AT->Advanced Technology Some differences between PC and XT include the type of power supply initia

The Transmission-Gate input is linked to the D_LATCH data input (D), the control input to the Transmission-Gate is linked to the D_LATCH enable input (EN) and the Transmission-Gate

Reflexes - artificial intelligence: If an agent decides upon and executes an action in response to a sensor input without consultation of its world, then this can be considere

contributes to violence in our society. Others point out that television contributes to the high level of obesity among children. Now, we may have to add financial problems to the