ISSN 2071-8594

Russian academy of sciences

Editor-in-Chief

Gennady Osipov

M.M. Vinkov, I.B. Fominykh. Reasonings on knowledge and the omniscience problem. A part 2: introduction temporal parameter in a meta language

Abstract.

In the second part of article the review of the logic systems formalizing reasonings on knowledge in which the approach to the decision of a omniscience problem in which basis introduction, temporal parameter in a meta language lays is realized is carried out. As against the modal approach considered in the first part of article, the given approach to the decision of a omniscience problem is not connected to any restrictions of deductive abilities of the intellectual agent, whose behaviour is described by logic systems, this approach realizing. Besides such agent during the reasonings is capable to estimate a time resource available at it that is especially important for rigid real times intellectual systems.

Keywords:

epistemic logic, omniscience problem, temporal parameter, resource bounded reasoning, time resource.

PP. 3-10.

Full version of the article in pdf.

REFERENCES

1. V.N. Vagin, Ye.Yu. Golovina, A.A. Zagoryanskaya, M.V. Fomina. Dostovernyy i pravdopodobnyy vyvod v intellektualnykh sistemakh. Monografiya. Pod red. V.N. Vagina i D.A. Pospelova. M.: Fizmatlit, 2004, 704 s.
2. M.M. Vinkov, I.B. Fominykh. Rassuzhdeniya o znaniyakh i problema logicheskogo vsevedeniya. Chast I: Modalnyy podkhod. // Iskusstvennyy intellekt i prinyatie resheniy. M.: URSS, №4, 2011, - S. 3-13.
3. Vinkov M.M. Aktivnaya logika s tochki zreniya fundirovannoy semantiki logicheskikh programm s prioritetami. // Trudy IX-y natsionalnoy konferentsii po iskusstvennomu intellektu s mezhdunarodnym uchastiem konferentsii KII’2004. T1, M.: Fizmatlit, 2004.
4. Vinkov M.M. Vremya, kak vneshnyaya sushchnost pri mo-delirovanii rassuzhdeniy ratsionalnogo agenta s ogranichennymi resursami //Trudy XI-y natsionalnoy konferentsii po iskusstvennomu intellektu s mezhdunarodnym uchastiem KII-2008. — M.: Fizmatlit, 2008.
5. Vinkov M.M., Fominykh I.B. Povyshenie ustoychivosti k anomaliyam intellektualnogo agenta s ogranichennym vremennym resursom: metakognitivnyy podkhod. //Trudy XII-y natsionalnoy konferentsii po iskusstvennomu intellektu s mezhdunarodnym uchastiem KII-2010. — M.: Fizmatlit, 2010.
6. Yemelyanov V.V. Mnogoagentnaya model detsentralizovannogo upravleniya potokom proizvodstvennykh resursov// Trudy Mezhdunarodnoy konferentsii (ICIT'99, Pereslavl-Zalesskiy, 6-9 dekabrya, 1999). - M.: Nauka. Fizmatlit, 1999. - S. 121-126.
7. Alechina N., Logan B., and Whitsey M. A complete and decidable logic for resource-bounded agents. In Proc. Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004),
8. Elgot-Drapkin J. Step Logic: Reasoning situated in time. PhD thesis. Department of computer science, University of Maryland, Colledge-Park, Maryland, 1988.
9. Konolige K. A Deduction Model of Belief. Morgan Kaufman, San Francisco, Calif., 1986.
10. Perlis D., Purang K., Purushothaman D., Andersen C., Traum D. Modeling time and meta-reasoning in dialog via active logic //Working Notes of AAAI Fall Symposium on Psychological Models of Communication. — 2005.
11. Purang K., Systems that detect and repair their own mistakes. PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 2001.