| authors |
Elcock, E.W. |
| year |
1983 |
| title |
How Complete are Knowledge Representation Systems? |
| source |
IEEE Computer. IEEE computer society, October, 1983. vol. 16: pp. 114-118. includes bibliography |
| summary |
Prolog, the most feasible of the first-order logic systems, has intriguing analogies with Absys, short for Aberdeen System, an assertative programming system developed in 1968. In this article, the issue of incompleteness is explored by comparing aspects of the two systems, and the incompleteness resulting from any serious use of Prolog as a vehicle for a knowledge-based system is addressed |
| keywords |
PROLOG, algorithms, knowledge, systems, languages |
| series |
CADline |
| references |
Content-type: text/plain
|
| last changed |
2003/06/02 13:58 |
|
