Semiotic labelled deductive systems
We review the class of Semiotic Models put forward by Pospelov, as well as the Labelled Deductive Systems developed by Gabbay, and construct an embedding of Semiotic Models into Labelled Deductive Systems.
- Publication Date:
- OSTI Identifier:
- Report Number(s):
- Resource Type:
- Resource Relation:
- Conference: International multi-disciplinary conference on intelligent systems: a semiotic perspective, Gaithersburg, MD (United States), 21-23 Oct 1996; Other Information: PBD: 1996; Related Information: Is Part Of Intelligent systems: A semiotic perspective. Volume I: Theoretical semiotics; Albus, J.; Meystel, A.; Quintero, R.; PB: 303 p.
- National Institute of Science and Technology, Gaithersburg, MD (United States)
- Country of Publication:
- United States
- 99 MATHEMATICS, COMPUTERS, INFORMATION SCIENCE, MANAGEMENT, LAW, MISCELLANEOUS; ARTIFICIAL INTELLIGENCE; DECISION MAKING; MATHEMATICAL LOGIC; PROGRAMMING LANGUAGES