Formal semantics of meta‐level architectures: Dynamic control of reasoning | Zendy

Treur Jan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

Formal semantics of meta‐level architectures: Dynamic control of reasoning

Author(s) -

Treur Jan

Publication year - 2002

Publication title -

international journal of intelligent systems

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 1.291

H-Index - 87

eISSN - 1098-111X

pISSN - 0884-8173

DOI - 10.1002/int.10037

Subject(s) - computer science , semantics (computer science) , model based reasoning , reasoning system , automated reasoning , set (abstract data type) , artificial intelligence , deductive reasoning , programming language , knowledge representation and reasoning

Meta‐level architectures for dynamic control of reasoning processes are quite powerful. In theliterature, many applications in reasoning systems modeling complex tasks are described, usually in a proceduralmanner. In this article we present a semantic framework based on temporal partial logic to describe the dynamicsof reasoning behavior. Using these models, the semantics of the behavior of the whole(meta‐level) reasoning system can be described by a set of (intended) temporalmodels. © 2002 Wiley Periodicals, Inc.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research