Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question

closed as not constructive by Hagen von Eitzen, rschwieb, Thomas, Norbert, J. M. 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
up vote 1 down vote accepted

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$.

share|cite|improve this answer

There doesn't exist any uncertainty in classical propositional logic. There also doesn't exist any room for error. When you look at real-world intelligence you can find both uncertainty and room for error in many places. If you know that a person stands 6 feet high, and you assume the background of classical propositional logic, that such a person stands at 6 feet tall, ends up as false. To say that a person stands 6 feet high means that they stand 6.000000... feet high, which almost surely almost never, if ever, holds in reality. So, it comes as a false statement and thus classical propositional logic always ends up failing to represent knowledge.

Artifical intelligence use a bunch of different techniques. The wikipedia probably will help you.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.