New Logics for Intelligent Control
Evgeny Alexandrovich Cherkashin, A. Postoenko, S. N. Vassilyev, A.K. Zherlov · The Florida AI Research Society · 1999
New automatic theorem proving (ATP) techniques for application in control syst~nR and artificial intelligence is proposed. We consider new logical languages in descrip~ive and constructive semantics. These languages censist of 1-st c~der fc~muins with type quantifie~s. We de’he logical calculi of classical and intuitionistic types as well as strategies of automated reasoning. In. formation on results of these logicsJ tools usage in some control problem is given.