Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection

w. Hoek; J.J. Ch. Meyer; J. Treur

doi:10.1002/int.10139

Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection

w. Hoek, J.J. Ch. Meyer, J. Treur

Research output: Contribution to Journal › Article › Academic › peer-review

Abstract

In this article we show how formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and effects changes may have on them. Especially, attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these. © 2003 Wiley Periodicals, Inc.

Original language	English
Pages (from-to)	1293-1318
Journal	International journal of intelligent systems
Volume	18
DOIs	https://doi.org/10.1002/int.10139
Publication status	Published - 2003

Bibliographical note

IJIS

Access to Document

10.1002/int.10139

Persistent URL (handle)

Copy link address

Cite this

@article{a87b36c242e649fc89df1b8739ba5133,

title = "Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection",

abstract = "In this article we show how formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and effects changes may have on them. Especially, attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these. {\textcopyright} 2003 Wiley Periodicals, Inc.",

author = "w. Hoek and Meyer, {J.J. Ch.} and J. Treur",

note = "IJIS ",

year = "2003",

doi = "10.1002/int.10139",

language = "English",

volume = "18",

pages = "1293--1318",

journal = "International journal of intelligent systems",

issn = "0884-8173",

publisher = "John Wiley and Sons Ltd",

}

TY - JOUR

T1 - Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection

AU - Hoek, w.

AU - Meyer, J.J. Ch.

AU - Treur, J.

N1 - IJIS

PY - 2003

Y1 - 2003

N2 - In this article we show how formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and effects changes may have on them. Especially, attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these. © 2003 Wiley Periodicals, Inc.

AB - In this article we show how formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and effects changes may have on them. Especially, attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these. © 2003 Wiley Periodicals, Inc.

U2 - 10.1002/int.10139

DO - 10.1002/int.10139

M3 - Article

SN - 0884-8173

VL - 18

SP - 1293

EP - 1318

JO - International journal of intelligent systems

JF - International journal of intelligent systems

ER -

Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection

Abstract

Bibliographical note

Access to Document

Persistent URL (handle)

Fingerprint

Cite this