Formal Theories Expert Systems Logical Inference Argumentation Systems
Issue Date:
2007
Publisher:
Institute of Mathematics and Informatics Bulgarian Academy of Sciences
Citation:
Serdica Journal of Computing, Vol. 1, No 1, (2007), 101p-114p
Abstract:
In the present paper we investigate the life cycles of formalized
theories that appear in decision making instruments and science. In few
words mixed theories are build in the following steps: Initially a small
collection of facts is the kernel of the theory. To express these facts we
make a special formalized language. When the collection grows we add
some inference rules and thus some axioms to compress the knowledge. The
next step is to generalize these rules to all expressions in the formalized
language. For these rules we introduce some conclusion procedure. In such
a way we make small theories for restricted fields of the knowledge. The most
important procedure is the mixing of these partial knowledge systems. In
that step we glue the theories together and eliminate the contradictions. The
last operation is the most complicated one and some simplifying procedures
are proposed.
