Сибирский федеральный университет

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: International Conference on Knowledge-Based and Intelligent Information and Engineering Systems; Cardiff, WALES; Cardiff, WALES

Год издания: 2010

Ключевые слова: Common knowledge, Computational framework, Human reasoning, Inference rules, Knowledge based systems, Temporal logic, Inference engines

Аннотация: Our paper(1) suggests a computational framework for verification valid inference in agents' temporal logics. As a tool, describing human reasoning procedure, we suggest valid inference rules (valid semantically - in Kripke-like frames generating logic). We investigate valid inference rules in agents' temporal logics with linear and branching intransitive time. Main results of our paper are suggested algorithms which allow to compute valid inference rules in agents' liner time logics LTCK and LTCK(Z), agents' logic with branching intransitive time L-TAi and the logic with branching transitive time L-TAt,.

Журнал: KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I

Выпуск журнала: Vol. 6276

Номера страниц: 230-

ISSN журнала: 03029743

Место издания: BERLIN

Издатель: SPRINGER-VERLAG BERLIN

• Babenyshev Sergey (Manchester Metropolitan Univ, Dept Comp & Math, Manchester M15 6BH, Lancs, England; Siberian Fed Univ, Krasnoyarsk, Russia)
• Rybakov Vladimir

• Web of Science Core Collection
• Scopus
• Ядро РИНЦ (eLIBRARY.RU)