| 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 15:08 |
|
