Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: 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