A Framework to Compute Inference Rules Valid in Agents' Temporal Logics

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

Конференция: 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

Авторы

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.