# Why artificial intelligence people didn't use propositional logic to represent knowledge? [closed]

Why artificial intelligence people didn't use propositional natural programming language to represent knowledge?and is there's a relation between propositional logic and first order or predicate calculus?and if not what language the artificial intelligence people use in order to represent knowledge?

-

## closed as not constructive by Hagen von Eitzen, rschwieb, Thomas, Norbert, Ｊ. Ｍ.Oct 21 '12 at 6:09

As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references, or expertise, but this question will likely solicit debate, arguments, polling, or extended discussion. If you feel that this question can be improved and possibly reopened, visit the help center for guidance. If this question can be reworded to fit the rules in the help center, please edit the question.

Since you ask, why they don't use propositional natural programming language, it seems you know that they don't use that language. So how can you know that without also knowing the answer to your last question? –  Hagen von Eitzen Oct 20 '12 at 13:00
@Hagen: Show me a text in some Australian language, and I can tell you a lot of languages that it’s not, but I almost certainly can’t tell you what language it is. –  Brian M. Scott Oct 20 '12 at 13:05
actually i don't know ,but i read that in one of the lecture notes in AI,so i want to have a clear perception. –  thomson Oct 20 '12 at 13:17
You should look into the CYC project, which is attempting to represent all common knowledge explicitly. Their website is here. –  MJD Oct 20 '12 at 15:38

Because, in a way, propositional logic only represents facts about finitely many objects, not knowledge. In other words, it doesn't allow you to deduce facts about objects you haven't seen before. If you want to represent knowledge, you'll want to be able to represent information such as: Objects always either have property $A$ or $B$, i.e. a sentence such as $$\forall x\: (A(x) \lor B(x))$$
In propositional logic, the best you can do is add all statements of the form $$A_x \lor B_x$$ for all known objects $x$. But that doesn't allow you to deduce anything about a previously unknown $x$.