Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: 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
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.