Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40151
Titel: Iconic-Declarative Programming and Adaptation Rules
VerfasserIn: Boley, Harold
Sprache: Englisch
Erscheinungsjahr: 1988
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Functional and logical languages permit declarative programming, i.e. executable high-level problem specifications. However, to obtain optimum intelligibility, programs should also be iconic, i.e. directly model their domain, as illustrated imperatively by object-oriented languages. After a discussion of iconic aspects in pure LISP (call nestings) and pure PROLOG (invocation patterns), an advanced iconic-declarative technique in the functional/logical AI language FIT is presented: adaptation rules join left-hand side invocation patterns and right-hand side call nestings of transformation rules into single pictorial contexts that process data by global tests and direct local transformations. Their utility is exemplified in three domains (list processing, set normalization, and graph searching). The conclusions criticize the predominance of transformation rules and contrast iconic-imperative with iconic-declarative developments.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-401518
hdl:20.500.11880/36228
http://dx.doi.org/10.22028/D291-40151
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 88,4
Datum des Eintrags: 11-Aug-2023
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-88-04_Boley_Iconic=Declarative-Programming-and-Adaptation-Rules.pdf2,88 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.