Procedural Attachment
dc.date.accessioned | 2004-10-04T14:50:50Z | |
dc.date.accessioned | 2018-11-24T10:12:54Z | |
dc.date.available | 2004-10-04T14:50:50Z | |
dc.date.available | 2018-11-24T10:12:54Z | |
dc.date.issued | 1979-08-01 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/6321 | |
dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/6321 | |
dc.description.abstract | A frame-based reasoning system is extended to deal with procedural attachment. Arguments are given why procedural attachment is needed in a symbolic reasoner. The notion of an infinitary concept is introduced. Conventions for representing procedures and a control structure regulating their execution is discussed. Examples from electrical engineering and music illustrate arithmetic constraints and constraints over properties of strings and sequences. | en_US |
dc.format.extent | 7875492 bytes | |
dc.format.extent | 5786836 bytes | |
dc.language.iso | en_US | |
dc.title | Procedural Attachment | en_US |
Files in this item
Files | Size | Format | View |
---|---|---|---|
AIM-543.pdf | 5.786Mb | application/pdf | View/ |
AIM-543.ps | 7.875Mb | application/postscript | View/ |