2004 | OriginalPaper | Buchkapitel
Logic Actions of Adaptive Agents
verfasst von : Professor Germano Resconi, Professor Lakhmi C. Jain
Erschienen in: Intelligent Agents
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
There is a general acceptance that Kripke models (Chellas, 1980) [1] present the fundamental semantics for modal logic. There are several generalisations of Kripke models. Among these generalisations there are the so-called Scott-Montague models (Chellas, 1980). These have the most general characteristics of such models. In this section we present a brief description of Kripke and Scott-Montague models.