Size and Logic

in Review of Symbolic Logic (2009), 2(2), 396404

Proof theory for Fuzzy logics

Book published by Springer (2009)

Modal Logics of Reactive Frames

in Studia Logica (2009)

A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was fi rst applied to Kripke semantics ... [more ▼]

A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was fi rst applied to Kripke semantics of modal logic in [2]. In this paper we strengthen that unimodal language by adding a second operator. One op- erator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by axiomatizing some natural subclasses of reactive frames. The main objective of this paper is to present a methodology to study reactive logics using the existent classic techniques. [less ▲]

Logical Tools for Handling Change in Agent-based Systems

Book published by Springer (2009)

Logical Modes of Attack in Argumentation Networks

in Studia Logica (2009)

This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of ... [more ▼]

This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of the nodes in a network. General properties of logics are refined both in the object level and in the meta level to suit the needs of the application. The network-based system improves upon some of the attempts in the literature to define attacks in terms of defeasible proofs, the so-called rule- based systems. We also provide a number of examples and consider a rigorous case study, which indicate that our system does not suffer from anomalies. We define consequence relations based on a notion of defeat, consider rationality postulates, and prove that one such consequence relation is consistent. [less ▲]

A Sound and Complete Deductive System for CTL Verification

in Journal of Logic and Computation (2008), 16(6), 499536

Connectionist Non-classical Logics: Distributed Reasoning & Learning in Neural Networks

Book published by Springer-Verlag (2008)

Second-order Quantifier Elimination Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)

Book published by College publications (2008)

A Normative View on The Blocks World

in Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08) (2008)

Resource-origins of Nonmonotonicity

in Studia Logica (2008), 88(1), 85112

Formal nonmonotonic systems try to model the phenomenon that common sense reasoners are able to “jump” in their reasoning from assumptions ∆ to conclusions C without their being any deductive chain from ∆ ... [more ▼]

Formal nonmonotonic systems try to model the phenomenon that common sense reasoners are able to “jump” in their reasoning from assumptions ∆ to conclusions C without their being any deductive chain from ∆ to C. Such jumps are done by various mechanisms which are strongly dependent on context and knowledge of how the actual world functions. Our aim is to motivate these jump rules as inference rules designed to optimise survival in an environment with scant resources of effort and time. We begin with a general discussion and quickly move to Section 3 where we introduce five resource principles. We show that these principles lead to some well known nonmonotonic systems such as Nute’s defeasible logic. We also give several examples of practical reasoning situations to illustrate our principles. [less ▲]