Procedural Attachment.

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. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 30, 1979
Accession Number
ADA084637

Entities

People

  • Luc Steels

Organizations

  • Massachusetts Institute of Technology

Tags

DTIC Thesaurus Topics

  • Arithmetic
  • Artificial Intelligence
  • Attachment
  • Cognitive Science
  • Computer Programming
  • Computer Science
  • Electrical Engineering
  • Electronic Circuits
  • Expert Systems
  • Information Systems
  • Language
  • Mathematics
  • Natural Languages
  • Programming Languages
  • Reasoning
  • Resistance
  • Sequences

Readers

  • Artificial Intelligence
  • Control Systems Engineering.