Predicates in first-order logic sentences , Computer Engineering

Predicates in first-order logic sentences - artificial intelligence

There are predicates first and foremost in first-order logic sentences. These are indications that some things are related in some way. We call the things that are related to predicate the arguments of the predicate, and the number of arguments which are related is called the arty of the predicate. The following are examples of predicates are given:

lectures_ai(simon)       ("simon lectures AI")         arity is 1 here

 

father(bob,bill)             ("bob is bill's father")         arity is 2 here

 

lives_at                    (bryan, house_of(jack)) ("bryan lives at jack's house")        arity is 2 here

 

Posted Date: 10/2/2012 3:58:31 AM | Location : United States







Related Discussions:- Predicates in first-order logic sentences , Assignment Help, Ask Question on Predicates in first-order logic sentences , Get Answer, Expert's Help, Predicates in first-order logic sentences Discussions

Write discussion on Predicates in first-order logic sentences
Your posts are moderated
Related Questions
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.

How does TCP/IP decide the size of an IP fragment? Explain. TCP/IP protocol utilizes the name IP datagram to refer to an Internet packet. The amount of data carried into a data

Define peripheral. Devices that are under the direct control of computer are said to be linked online. These devices are intended to read information into or out of the memory

Q. Explain FORM and INPUT Tag? A good way to learn about forms is to make use your notepad editor and make a new HTML document. Save it as form1.htm in some folder somewhere. Y

When should I use server session pools and connection consumers? Ans) WebLogic JMS executes an optional JMS facility for defining a server-managed pool of server sessions. This

i need help with an octave program

Explain the term - Computer Aided Software Engineering Production of software became much commercial. Software development tools were devised. Concept of Computer Aided Softwar

State about the Object oriented analysis Object oriented analysis (OOA) is concerned with developing software engineering specifications and requirements that expressed as a s

A component has the time to failure distribution that is modelled as the Weibull distribution with shape parameter 3 and scale parameter of 36 months. This component is planned to

Q. What is Metropolitan Area Network? Metropolitan Area Network (MAN):  It is privately or public owned communication system that naturally covers a complete city. Speed is abo