Mixed Theories


  • Slavian Radev




Formal Theories, Expert Systems, Logical Inference, Argumentation Systems


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.


Allen J. Natural Language Understanding. Benjamin and Cummings, Menlo Park, CA, 1987.

Barwise J., J. Perry. Situations and Attitudes. MIT Press, Cambridge, Mass., 1983.

Benoit W., D. Hample, P. Benoit, eds. Readings in Argumentation. Foris Publications, Berlin, 1992.

Brusilovskii B. System theory and system of theories. Vyshcha Shkola, Kyiv, 1977 (in Russian).

Da vidson D. Essays on Actions and Events. Oxford University Press, 1990.

Dewey J. How we think. A restatement of the relation of reflective thinking to the education process (Revised edn), Boston: D. C. Heath, 1933.

Gargov G., S. Radev. Expert logics. In: Artificial Intelligence: Methodology , Systems, Applications (Eds P . Jorrand, V. Sgurev), AIMSA'86, North Holland, 1986, 181-188.

Hintikka J. Eseje logiczno-filozoczne. PWN, Warszawa, 1992.

Iv anov V. Even and Odd: Asymmetry of the Brain and Symbol Systems. Sovetskoe Radio, Moskva, 1978 (in Russian).

Muskens R. Anaphora and the logic of change. In: Logics in AI|JELIA'90 (Ed. J. v an Eijck) Springer, 1991, 413-427.

Popper K. Philosophy of Science: a Personal Report, 1957.

Rich E., K. Knight. Articial Intelligence. McGraw-Hill, Inc., New ork, 1991.

Radev S. Extensions of PDL and consequence relations. In: Computation Theory (Ed. Andrzej Skowron) Fifth Symposium, Zaborow, Polska, vol. 108 of LNCS, Springer, 1985, 251-264.

Radev S. Some Logics for Argumentation Systems. XV Warsztaty Informatyki Teoretycznej, 08-09 grudnia, 2001, Bialystok.

Radev S. Argumentation Systems. Bialystok, 2006 (in print).

Vreeswijk G. Studies in Defeasible Argumentation. PhD, Vrije Universiteit te Amsterdam, Amsterdam, 1993.

Winston P. Artificial Intelligence. Addison-Wesley, Reading, Massachusetts, 1992.

Witteveen C. A sceptical semantics for truth maintenance. In: Truth

maintenance systems. Springer, 1991, 136-154.

Zytkow J. Intertheory relations on the formal and semantical level. In:

Formal Methods in the Methodology of Empirical Science. (Eds M. Przecki,

K. Szaniawski, R. Wocicki, G. Malinowski) Wroclaw, Ossolineum, 1976, 450-457.