First order predicate logic-artificial intelligence, Computer Engineering

Assignment Help:

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.


Related Discussions:- First order predicate logic-artificial intelligence

State about the mainframe computer, Mainframe computer Mainframe comput...

Mainframe computer Mainframe computers are very large, often can fill an entire room. They can store a large amount of information, can execute many tasks at the same time, can

Advantage of doubly linked list over singly linked list, What is the advant...

What is the advantage of doubly linked list over singly linked list?       Ans: Benefits of the doubly linked list over singly linked list 1. A doubly linked list can be pas

State about CSMA/CA, State about CSMA/CA It belongs to a class of proto...

State about CSMA/CA It belongs to a class of protocols known as multiple access methods. CSMA/CA  stands  for:  Carrier  Sense  Multiple  Access  with  Collision Avoidance.  In

Operating system, explain the various types of computer systems

explain the various types of computer systems

Structure of internet servers address, Structure of Internet Servers Addres...

Structure of Internet Servers Address Structure of an Internet server's address keyed into a client's software is as below: http://www.expertsmind.com Where: htt

Explain cgi standard, Explain CGI standard. The CGI Standard: Techno...

Explain CGI standard. The CGI Standard: Technology utilized for building dynamic web documents is termed as Common Gateway Interface (CGI). The CGI standard gives how a serv

How and what data is collected - weather simulation, How and what data is c...

How and what data is collected - Weather simulation -  Sensors measure pressure, relative humidity, temperature and wind speed and wind direction -  Sensors are placed in w

Define buffering, Define buffering.  A buffer is a memory area that kee...

Define buffering.  A buffer is a memory area that keeps data while they are transferred among two devices or among a device and an application. Buffering is done for three reas

How is secure sockets layer relied on the certificates, How is Secure Socke...

How is Secure Sockets Layer relied on the certificates? The Secure Sockets Layer standard is not a single protocol, but quite a set of accepted data transfer routines which a

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd