2006 | OriginalPaper | Chapter
Basic Notions
Authors : Patrick Doherty, Professor, Witold Łukaszewicz, Professor, Andrzej Skowron, Professor, Andrzej Szałas, Professor
Published in: Knowledge Representation Techniques
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We define the syntax of various logical languages using Bnf notation with some commonly used additions. Elements (words) of the defined language are called
terminal symbols
.
Syntactic categories
, i.e., sets of well-formed expressions are represented by
non-terminal symbols
and denoted by
<Name>
, where
Name
is the name of a category. Syntactic categories are defined over non-terminal and terminal symbols using rules of the form: