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

Авторы

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