8 found
Order:
  1.  30
    Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
    Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a system, is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  28
    Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.
    In the study of nonmonotonic reasoning the main emphasis has been on static (declarative) aspects. Only recently has there been interest in the dynamic aspects of reasoning processes, particularly in artificial intelligence. We study the dynamics of reasoning processes by using a temporal logic to specify them and to reason about their properties, just as is common in theoretical computer science. This logic is composed of a base temporal epistemic logic with a preference relation on models, and an associated nonmonotonic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  76
    An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
    When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980). A characteristic of this formalism is that the applicability of default (inference) rules can only be verified in the future of the reasoning process. We describe an interpretation of default logic in temporal epistemic logic which makes this characteristic explicit. It is shown that this interpretation yields a semantics (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  18
    Temporal Theories of Reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (1):97-119.
  5.  21
    Antonio Moreno-Sandoval and José Miguel Goñi-Menoyo/Spanish Inflectional Morphology in Datr 79–105 Albert Visser/the Donkey and the Monoid. Dynamic Semantics with Control Elements 107–131 Instructions for Authors 133–139. [REVIEW]Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11:521-522.
  6.  35
    Linear, Branching Time and Joint Closure Semantics for Temporal Logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
    Temporal logic can be used to describe processes: their behaviour ischaracterized by a set of temporal models axiomatized by a temporaltheory. Two types of models are most often used for this purpose: linearand branching time models. In this paper a third approach, based onsocalled joint closure models, is studied using models which incorporateall possible behaviour in one model. Relations between this approach andthe other two are studied. In order to define constructions needed torelate branching time models, appropriate algebraic notions are (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    Specification of Nonmonotonic Reasoning.Joeri Engelfriet & Jan Treur - 2000 - Journal of Applied Non-Classical Logics 10 (1):7-26.
    ABSTRACT Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: a specification language for level 1, with formal semantics based on belief state frames, a fragment of infinitary temporal logic as a general specification language for level 2, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Temporal Theories of Reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (2):239-261.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark