D-SCRIPT: A Computational Theory of Descriptions
| dc.date.accessioned | 2004-10-01T20:37:42Z | |
| dc.date.accessioned | 2018-11-24T10:10:42Z | |
| dc.date.available | 2004-10-01T20:37:42Z | |
| dc.date.available | 2018-11-24T10:10:42Z | |
| dc.date.issued | 1973-02-01 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/5810 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/5810 | |
| dc.description.abstract | This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque contexts, time contexts, knowledge about knowledge. The design of a theorem prover for this language is also considered. | en_US |
| dc.format.extent | 29 p. | en_US |
| dc.format.extent | 10849773 bytes | |
| dc.format.extent | 829620 bytes | |
| dc.language.iso | en_US | |
| dc.title | D-SCRIPT: A Computational Theory of Descriptions | en_US |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| AIM-278.pdf | 829.6Kb | application/pdf | View/ |
| AIM-278.ps | 10.84Mb | application/postscript | View/ |