This article examines one possible approach to the definition of the minimal set of representation means for formal logical knowledge that is required in a natural or an artificial language. The essence of the presented approach is that for the realization of information-control functions any language (natural as well as artificial) must have linguistic means that would enable it to: 1. Describe object's structural characteristics (on objective and subjective levels). 2. Describe current object's state and facts of its changes. 3. Define control signals. In this paper the author tries to show that from the formal logical point of view the set of these functions is absolutely necessary and minimally sufficient for mutual understanding, functioning and cooperation in the group of intelligent agents, who are the speakers of this language. In this article the author takes natural language, examines its grammatical constructions and finds those that form a set, satisfying all the requirements listed above. In other words the author finds the minimal set of formal means of natural language for the formal representation of formal knowledge.
Cite as: Ivanova, E.G. (2004) Representation of formal logical knowledge by the means of natural language. Proc. 9th Conference on Speech and Computer (SPECOM 2004), 433-437
@inproceedings{ivanova04_specom,
author={Elena G. Ivanova},
title={{Representation of formal logical knowledge by the means of natural language}},
year=2004,
booktitle={Proc. 9th Conference on Speech and Computer (SPECOM 2004)},
pages={433--437}
}