Atlas home || Conferences | Abstracts | about Atlas

6th International Conference on Discrete Mathematics and Applications
August 31 - September 2, 2001
South-West University
Blagoevgrad, Bulgaria

Organizers
K. Denecke, Sl. Shtrakov

View Abstracts
Conference Homepage

Representing of Dynamic Knowledge by Means of Predicate Sillogistic Logic
by
Hristo Shoilev
Technical University Sofia
Coauthors: Vasil Marinov

In this work is described the representing of dynamic knowledge by means of predicate sillogistic logic. The language for describing is predicate sillogistic. The thesises with which the elementary records were created are the axioms, and the rules for the building of new thesises are the rules for conclusion. Modus Ponens and Substitution of values.

Date received: August 13, 2001

Copyright © 2001 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cahn-35.