12 found
Sort by:
  1. Joeri Engelfriet & Jan Treur (2012). Specification of Nonmonotonic Reasoning. Journal of Applied Non-Classical Logics 10 (1):7-26.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Tibor Bosse, Martijn C. Schut & Jan Treur (2009). Formal Analysis of Dynamics Within Philosophy of Mind by Computer Simulation. Minds and Machines 19 (4):543-555.
    Computer simulations can be useful tools to support philosophers in validating their theories, especially when these theories concern phenomena showing nontrivial dynamics. Such theories are usually informal, whilst for computer simulation a formally described model is needed. In this paper, a methodology is proposed to gradually formalise philosophical theories in terms of logically formalised dynamic properties. One outcome of this process is an executable logic-based temporal specification, which within a dedicated software environment can be used as a simulation model to (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  3. Tibor Bosse, Catholijn M. Jonker & Jan Treur (2006). Formalization and Analysis of Reasoning by Assumption. Cognitive Science 30 (1):147-180.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Jan Treur (2005). States of Change: Explaining Dynamics by Anticipatory State Properties. Philosophical Psychology 18 (4):441-471.
    In cognitive science, the dynamical systems theory (DST) has recently been advocated as an approach to cognitive modeling that is better suited to the dynamics of cognitive processes than the symbolic/computational approaches are. Often, the differences between DST and the symbolic/computational approach are emphasized. However, alternatively their commonalities can be analyzed and a unifying framework can be sought. In this paper, the possibility of such a unifying perspective on dynamics is analyzed. The analysis covers dynamics in cognitive disciplines, as well (...)
    Direct download (14 more)  
     
    My bibliography  
     
    Export citation  
  5. Fred Boogerd, Frank Bruggeman, Catholijn Jonker, Huib Looren de Jong, Allard Tamminga, Jan Treur, Hans Westerhoff & Wouter Wijngaards (2002). Inter-Level Relations in Computer Science, Biology, and Psychology. Philosophical Psychology 15 (4):463–471.
    Investigations into inter-level relations in computer science, biology and psychology call for an *empirical* turn in the philosophy of mind. Rather than concentrate on *a priori* discussions of inter-level relations between 'completed' sciences, a case is made for the actual study of the way inter-level relations grow out of the developing sciences. Thus, philosophical inquiries will be made more relevant to the sciences, and, more importantly, philosophical accounts of inter-level relations will be testable by confronting them with what really happens (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Joeri Engelfriet, Catholijn M. Jonker & Jan Treur (2002). 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] Journal of Logic, Language and Information 11:521-522.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Joeri Engelfriet, Catholijn M. Jonker & Jan Treur (2002). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. 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)  
     
    My bibliography  
     
    Export citation  
  8. Joeri Engelfriet & Jan Treur (2002). Linear, Branching Time and Joint Closure Semantics for Temporal Logic. 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)  
     
    My bibliography  
     
    Export citation  
  9. Catholijn M. Jonker, Jan Treur & Wouter C. A. Wijngaards (2002). Reductionist and Anti-Reductionist Perspectives on Dynamics. Philosophical Psychology 15 (4):381 – 409.
    In this paper, reduction and its pragmatics are discussed in light of the development in computer science of languages to describe processes. The design of higher-level description languages within computer science has had the aim of allowing for description of the dynamics of processes in the (physical) world on a higher level avoiding all (physical) details of these processes. The higher description levels developed have dramatically increased the complexity of applications that came within reach. The pragmatic attitude of a (scientific) (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. 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)  
     
    My bibliography  
     
    Export citation  
  11. Wiebe van der Hoek, John-Jules Meyer & Jan Treur (1998). Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information 7 (3):341-367.
    We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the meta-level (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Joeri Engelfriet & Jan Treur (1995). Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics 5 (1):97-119.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation