First-Order Logic is the knowledge representation used in artificial intelligence. It extends the power of Propositional logic.
It represents the natural language statements more precisely.
It is also known as Predicate logic or First-order predicate logic. It is considered to be a powerful language system that develops information more easily and expressively.
Unlike Propositional logic, it works on the assumption that the world is without facts but there are certain assumptions that it follows like:
Objects: A, B, theories, practicals, colors, numbers, things, etc.
Relations: It can be unary relation such as: red, round, is adjacent, or n-any relation such as the sister of, brother of, has colour, comes between
FOPL consists of
a) A set of constant symbols
b) A set of variables
c) A set of predicate symbols
d) A set of function symbols
e) The logical connective
f) The Universal Quantifier and Existential Qualifier
Q2. Describe different Approaches To knowledge representation.
ANSWER:
There are 4 main approaches to knowledge representation in artificial intelligence, viz. simple relational knowledge, inheritable knowledge, inferential knowledge, and procedural knowledge.
Simple Relational Knowledge
This is a relational method of storing facts which is among the simplest of the method. This method helps in storing facts where each fact regarding an object is providing in columns. This approach is prevalent in DBMS (database management systems).
Inheritable Knowledge
Knowledge here is stored hierarchically. A well-structured hierarchy of classes is formed where data is stored, which provides the opportunity for inference. Here we can apply inheritance property, allowing us to have inheritable knowledge. This way, the relations between instance and class (aka instance relation) can be identified. Unlike Simple Relations, here, the objects are represented as nodes.
Inferential Knowledge
In this method, logics are used. Being a very formal approach, facts can be retrieved with a high level of accuracy.
Procedural Knowledge
This method uses programs and codes that use simple if-then rules. This is the way many programming languages such as LIST, Prolog save information. We may not use this method to represent all forms of knowledge, but domain-specific knowledge can very efficiently be stored in this manner.
Q1. What is FOPL? What does FOPL consist of?
ANSWER:
FOPL consists of
a) A set of constant symbols
b) A set of variables
c) A set of predicate symbols
d) A set of function symbols
e) The logical connective
f) The Universal Quantifier and Existential Qualifier
g) A special binary relation of equality
Q2. Describe different Approaches To knowledge representation.
ANSWER:
There are 4 main approaches to knowledge representation in artificial intelligence, viz. simple relational knowledge, inheritable knowledge, inferential knowledge, and procedural knowledge.
This is a relational method of storing facts which is among the simplest of the method. This method helps in storing facts where each fact regarding an object is providing in columns. This approach is prevalent in DBMS (database management systems).
Knowledge here is stored hierarchically. A well-structured hierarchy of classes is formed where data is stored, which provides the opportunity for inference. Here we can apply inheritance property, allowing us to have inheritable knowledge. This way, the relations between instance and class (aka instance relation) can be identified. Unlike Simple Relations, here, the objects are represented as nodes.
In this method, logics are used. Being a very formal approach, facts can be retrieved with a high level of accuracy.
This method uses programs and codes that use simple if-then rules. This is the way many programming languages such as LIST, Prolog save information. We may not use this method to represent all forms of knowledge, but domain-specific knowledge can very efficiently be stored in this manner.