Differences
This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:dl_intro [2013/01/17 10:21] ikaf [DL and FOPL Compared] |
hekate:dl_intro [2019/06/27 15:49] (current) |
~~SLIDESHOW~~ | ~~SLIDESHOW~~ |
~~ODT~~ | ~~ODT~~ |
| |
* <latex> cat(Tibbs)</latex> Tibbs is a cat | * <latex> cat(Tibbs)</latex> Tibbs is a cat |
* role assertions e.g. | * role assertions e.g. |
* <latex> has\_pet(Fred, Tibbs)</latex> - Fred has a pet which is Tibbs | * <latex> has\_pet(Fred, Tibbs) </latex> - Fred has a pet which is Tibbs |
* statements about concepts | * statements about concepts |
* concept definitions (__necessary and sufficient__ conditions) e.g. | * concept definitions (__necessary and sufficient__ conditions) e.g. |