First order predicate logic-artificial intelligence, Computer Engineering

First Order Predicate Logic

This is a more expressive logic because it builds on propositional logic by allowing us to use constants, predicates, variables, quantifiers and functions in addition to the connectives we've already seen. For in case the sentence: "Every Monday and Wednesday I go to John's house for dinner" can be written in first order predicate logic as:

2361_First Order Predicate Logic.png

Here, the symbols quantifiers Monday, Wednesday, me, dinner and john are all constants: base-level objects in the world about which we want to talk. The symbols, go_to, day_of_week and eat_meal are predicates that represent relationships among  the  arguments  which  appear  inside  the  brackets.  For an example in eat_meal, the relationship specifies that a person (first argument) eats a specific  meal (second argument). In this situation, we have represented the fact that me eats dinner. The symbol X is a variable, which may take on a range of values. This make us able  to be more expressive, and we can quantify X with the, in particular 'forall' symbol   , so that our sentence of predicate logic talks about all possible X's. Finally, the symbol house_of is a function, and - if we can - we are expected to replace house_of(john) with the output of the function (john's house) given the input to the function (john).

The semantics and syntax of predicate logic are covered in more detail as part of the lectures on automated reasoning.

Posted Date: 10/2/2012 3:22:35 AM | Location : United States







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

Write discussion on First order predicate logic-artificial intelligence
Your posts are moderated
Related Questions
Explain Deadlock in operating system ? Deadlock: all process in a set of processes is waiting for an event which only a process in the set can cause.


Problem (a) Using a labelled diagram of an Instruction-Execution cycle, describe how a CPU executes single machine instructions by referring to the five main operations.

In a raw Itanium, a "Processor Abstraction Layer" (PAL) is integrated into the system. When it is booted the PAL is loaded into the CPU and gives a low-level interface that abstrac

Cache coherence refers to the integrity of data stored in local caches of a shared resource. Cache coherence is a special case of memory coherence. When clients in a system, mainly

Define the Operating Characteristics for master-slave S-R flip-flop? 1. Propagation Delay Time - is the interval of time required subsequent to an input signal has been applied

Objectives After going through this unit, you will be able to : Tell historical facts of parallel computing; Can explain the essential concepts of the discipline, e.g.

what are the fundamental data structures

What is parsing? The target of parsing is to find out the syntactic validity of a source string. A tree is built for use through subsequent phase of compiler, if the string is

What is known as multiphase clocking? When edge-triggered flip flops are not used, two or more clock signals may be required to guarantee proper transfer of data. This is calle