102,807
edits
Changes
From Nordan Symposia
Jump to navigationJump to search→An example: inference using Prolog
Let us return to our [[Socrates]] [[syllogism]]. We enter into our Knowledge Base the following piece of code:
Let us return to our [[Socrates]] [[syllogism]]. We enter into our Knowledge Base the following piece of code:
mortal(X) :- man(X).
man(socrates). </code>
This states that all men are mortal and that Socrates is a man. Now we can ask [[Prolog]] about Socrates.
This states that all men are mortal and that Socrates is a man. Now we can ask [[Prolog]] about Socrates.
?- mortal(socrates).
Yes
On the other hand :
On the other hand :
?- mortal(plato).
No
This is because [[Prolog]] does not know anything about [[Plato]], and hence defaults to any property about Plato being false (the so-called [[closed world assumption]]). [[Prolog]] can be used for vastly more complicated inference tasks. See the corresponding article for further examples.
This is because [[Prolog]] does not know anything about [[Plato]], and hence defaults to any property about Plato being false (the so-called [[closed world assumption]]). [[Prolog]] can be used for vastly more complicated inference tasks. See the corresponding article for further examples.
[[Category: General Reference]]
===Automatic inference and the semantic web===
===Automatic inference and the semantic web===
