Differential calculus with imprecise input and its logical framework

We develop a domain-theoretic Differential Calculus for locally Lipschitz functions on finite dimensional real spaces with imprecise input/output. The inputs to these functions are hyper-rectangles and the outputs are compact real intervals. This extends the domain of application of Interval Analysis and exact arithmetic to the derivative. A new notion of a tie for these functions is introduced, which in one dimension represents a modification of the notion previously used in the one-dimensional framework. A Scott continuous sub-differential for these functions is then constructed, which satisfies a weaker form of calculus compared to that of the Clarke sub-gradient. We then adopt a Program Logic viewpoint using the equivalence of the category of stably locally compact spaces with that of semi-strong proximity lattices. We show that given a localic approximable mapping representing a locally Lipschitz map with imprecise input/output, a localic approximable mapping for its sub-differential can be constructed, which provides a logical formulation of the sub-differential operator

Federated description logics for the semantic web

The thesis deals with a family of federated description logics for creating modular ontologies in the semantic web. All these logics share modularity, the possibility to reuse concept names and role names by importing, and context-sensitive interpretation of all logical connectives. Apart from the main basic language F-ALCI, we present a lattice-based extension LF-ALCI, a probabilistic extension PF-ALCI and an extension that employs knowledge operators F-ALCIK. All languages are based on the ordinary well-known description logic ALCI

Non-clausal multi-ary alpha-generalized resolution calculus for a finite lattice-valued logic

Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area. The present paper focuses on the resolution-based automated reasoning theory in a many-valued logic with truth-values defined in a lattice-ordered many-valued algebraic structure - lattice implication algebras (LIA). Specifically, as a continuation and extension of the established work on binary resolution at a certain truth-value level α (called α-resolution), a non-clausal multi-ary α-generalized resolution calculus is introduced for a lattice-valued propositional logic LP(X) based on LIA, which is essentially a non-clausal generalized resolution avoiding reduction to normal clausal form. The new resolution calculus in LP(X) is then proved to be sound and complete. The concepts and theoretical results are further extended and established in the corresponding lattice-valued first-order logic LF(X) based on LIA

Ordering based decision making: a survey

Decision making is the crucial step in many real applications such as organization management, financial planning, products evaluation and recommendation. Rational decision making is to select an alternative from a set of different ones which has the best utility (i.e., maximally satisfies given criteria, objectives, or preferences). In many cases, decision making is to order alternatives and select one or a few among the top of the ranking. Orderings provide a natural and effective way for representing indeterminate situations which are pervasive in commonsense reasoning. Ordering based decision making is then to find the suitable method for evaluating candidates or ranking alternatives based on provided ordinal information and criteria, and this in many cases is to rank alternatives based on qualitative ordering information. In this paper, we discuss the importance and research aspects of ordering based decision making, and review the existing ordering based decision making theories and methods along with some future research directions

Power constructs and propositional systems

Bibliography : p. 161-176.Propositional systems are deductively closed sets of sentences phrased in the language of some propositional logic. The set of systems of a given logic is turned into an algebra by endowing it with a number of operations, and into a relational structure by endowing it with a number of relations. Certain operations and relations on systems arise from some corresponding base operation or relation, either on sentences in the logic or on propositional valuations. These operations and relations on systems are called power constructs. The aim of this thesis is to investigate the use of power constructs in propositional systems. Some operations and relations on systems that arise as power constructs include the Tarskian addition and product operations, the contraction and revision operations of theory change, certain multiple- conclusion consequence relations, and certain relations of verisimilitude and simulation. The logical framework for this investigation is provided by the definition and comparison of a number of multiple-conclusion logics, including a paraconsistent three-valued logic of partial knowledge

Deductive Systems in Traditional and Modern Logic

The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logics of refutation, non-Fregean logics, higher order logics and arithmetic

Computational Complexity of Strong Admissibility for Abstract Dialectical Frameworks

Abstract dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria used to settle the acceptance of arguments arecalled semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. Recently, the notion of strong admissibility has been introduced for ADFs. In the current work we study the computational complexityof the following reasoning tasks under strong admissibility semantics. We address 1. the credulous/skeptical decision problem; 2. the verification problem; 3. the strong justification problem; and 4. the problem of finding a smallest witness of strong justification of a queried argument