Question

Represent the above sentences into FOL(first Order Logic) formulas with defining your ontology.
-> Every man does not hit a woman whom he marries. Jason and Kale are men and Mary is a woman. Mary marries either Jason or Kale. Kale hit Mary. Does Mary marries Jason?

Answer 1

First order logic is also known as predicate logic or first order predicate calculus. It is an extension of propoaproposi logic and is used for knowledge representation.

There are three components of FOL:

1) objects: people, theories, etc

2) relatives: black, red,etc

3) functions: father of, right to, etc

There are two parts of FOL:

1) syntax: this is a collection of symbols

a) constant: 1,2,3, Jason, Mary, etc

b) variable: X,y, a,b,etc

c) predicate: brother, mither, etc

d) function: right hand of, hit, etc

e) connectives: _{​^,=>, etc}

_{f) equality: ==}

_{g) quantifiers: universal, specific}

_{2) semantics: collection of sentences in words}

_{There are two types of statements in FOL:}

_{1) atomic: it is a basic statement, written in a sentential formula.}

_{If B and C are sentential formulas, then:}

_{-| B means not B}

_{B^C means B and C}

_{BvC means B or C}

_{B =>C means B implies C}

_{2) Complex: this is a combination of atomic sentences and connectives.}

_{Now, let's examine the given set of sentences to represent as FOL. This use of intuition and logic to represent knowledge and derive at a decision is known as ontology.}

_{The given solution is attached as an image format.}