CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

PDF papers
authors Doyle, Jon
year 1983
title Admissible State Semantics for Representational Systems
source IEEE Computer. IEEE computer society, October, 1983. vol. 16: pp. 119-122. includes bibliography
summary A clear semantic is one of the most important requirements in designing representational systems. This article indicates how many kinds of informal semantics can be transformed directly into formal semantics of no greater complexity. The author focuses on the meaning rather than on the expression within a particular logical language. The distinction of the meaning of mental components from general ecological meaning is done by the name admissible state semantics, leaving the specification of external meaning to the standard tools of model theory. The method of admissible state semantic is simple, resembling the usual explanations of intended meanings given by system designers. The designer explains the meaning of one representation in terms of its relations to other representation in the system. Examples are given
keywords logic, languages, representation, systems, semantics
series CADline
references Content-type: text/plain
last changed 1999/02/12 14:08
pick and add to favorite papersHOMELOGIN (you are user _anon_647108 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002