Files: | Description | Format |
Fulltext Original | PDF (requires Acrobat Reader) | |
Fulltext 1 st Revised | PDF (requires Acrobat Reader) | |
Fulltext Original | PostScript (requires a PostScript Reader) | |
Fulltext 1st Revised | PostScript (requires a PostScript Reader) | |
Author: | Erik Sandewall | |
Article title: | Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited | |
Publ. type: | Article | |
Volume: | 3 | |
Article No: | 17 | |
Language: | English | |
Abstract [en]: | Cognitive Robotics Logic (CRL) is an extensible logic language
for characterizing actions and change, in particular for use in cognitive
robotics. Its development emphasizes the issues of syntax, expressivity,
underlying semantics and entailment methods (defined in terms of the semantics).
Development of proof methods is de-emphasized. The salient results from
this approach refer to the range of applicability and other related properties
of the entailment methods. These results constitute a metatheory of actions
and change.
CRL is syntactically defined as a base language and a surface language. The base language is characterized by the following aspects:
The surface language provides additional notational convenience, and
is defined by translation to the base language.
|
|
Publisher: | Linköping University Electronic Press | |
Year: | 1998 | |
Available: | Original 1998-10-15 and 1st Revised 1999-07-15 | |
No. of pages: | Original 21, 1st Revised 21 | |
Series: | Linköping Electronic Articles in Computer and Information Science | |
ISSN: | 1401-9841 |