Results 11 - 20 of 486

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent

by Paolo Gentilini, Maurizio Martelli
"... Abstract. One of the seminal goals of Explicit Constructive Logic (ECL) is to provide a constructive formulation of full higher order logic (Classical Type Theory LKω) that can be seen as a foundation for knowledge representation. Moreover, the development of this work has produced the basis of a ne ..."
Abstract - Add to MetaCart
new approach to constructivism in Logic.ECL is introduced as a sub-system Zω of LKω. Also the first order case Z1 and the propositional case ZP of ECL are examined. A comparison between ECL’s constructivism and the corresponding features of Intuitionistic Logic, and Constructive Paraconsistent Logic

Materials for an exploratory theory of the network society.

by Manuel Castells , Anthony Giddens , Alain Touraine , Anthony Smith , Benjamin Barber , Peter Hall , Roger-Pol Droit , Sophie Watson , Frank Webster , Krishan Kumar , David Lyon , Craig Calhoun , Jeffrey Henderson , Ramon Ramos , Jose E Rodrigues-Ibanez , Jose F Tezanos , Mary Kaldor , Stephen Jones , Christopher Freeman - The British Journal of Sociology , 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract - Cited by 122 (0 self) - Add to MetaCart
domain of our eco-social system is thereby transformed. We live in a new economy, characterized by three fundamental features. First, it is informational , that is, the capacity of generating knowledge and processing/managing information determine the productivity and competitiveness of all kinds

Towards a paradoxical description logic for the semantic web

by Xiaowang Zhang, Zuoquan Lin, Kewen Wang - In Procs. of FoIKS , 2010
"... Abstract. As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to ex-pect that knowledge sources in the Semantic Web contain noise and inaccuracies. However, as the logical foundation of Ontology Web Language in ..."
Abstract - Cited by 10 (3 self) - Add to MetaCart
Abstract. As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to ex-pect that knowledge sources in the Semantic Web contain noise and inaccuracies. However, as the logical foundation of Ontology Web Language

Concepts and Foundations

by unknown authors
"... Abstract. The past few decades have seen a resurgence of reasoning techniques in artificial intelligence involving both classical and non-classical logics. In his paper, “Multi-valued Logics: A Uniform Approach to Reasoning in Artificial Intelligence”, Ginsberg has shown that through the use of bila ..."
Abstract - Add to MetaCart
of bilattices, several reasoning techniques can be unified under a single framework. A bilattice is a structure that can be viewed as a class of truth values that can accommodate incomplete and inconsistent information and in certain cases default information. In bilattice theory, knowledge is ordered along two

On Theorem Proving in Annotated Logics

by Mi Lu, Jinzhao Wu
"... We are concerned with the theorem proving in annotated logics. By using annotated polynomials to express knowledge, we develop an inference rule superposition. A proof procedure is thus presented, and an improvement named M-strategy is mainly described. This proof procedure uses single overlaps i ..."
Abstract - Add to MetaCart
instead of multiple overlaps, and above all, both the proof procedure and M-strategy are refutationally complete. 1. Introduction Annotated logics are a class of paraconsistent logics[4] that have been used to provide the semantical foundations of various reasoning systems which may contain useful

Indicators for Social and Economic Coping Capacity - Moving Toward a Working Definition of Adaptive Capacity”, Wesleyan-CMU Working Paper.

by Gary Yohe , Richard S J Tol , Gary Yohe , 2001
"... Abstract This paper offers a practically motivated method for evaluating systems' abilities to handle external stress. The method is designed to assess the potential contributions of various adaptation options to improving systems' coping capacities by focusing attention directly on the u ..."
Abstract - Cited by 109 (14 self) - Add to MetaCart
but relatively certain over the foreseeable future, however, we might lower the factor assigned to levies to 0 or 1 but hold the dredging option at 3 or 4. And if the systems had access to significant resources from home or abroad, then we might give values of 4 or 5 to all three options. In any case

Multi-Agent VSK Logic

by Michael Wooldridge, Alessio Lomuscio , 2000
"... We present a formalism for reasoning about the information properties of multi-agent systems. Multi-agent VSK logic allows us to represent what is objectively true of some environment, what is visible, or accessible of the environment to individual agents, what these agents actually perceive, and fi ..."
Abstract - Cited by 19 (2 self) - Add to MetaCart
-agent systems, we systematically investigate a number of possible interaction axioms, and characterise these axioms in terms of the properties of agents that they correspond to. Finally, we illustrate the use of the logic through a case study, and discuss issues for future work.

Ontology and Information Systems

by Barry Smith
"... Abstract. The term 'formal ontology' was first used by the philosopher Edmund Husserl in his Logical investigations to signify the study of those formal structures and relations -above all relations of part and whole -which are exemplified in the subject-matters of the different material ..."
Abstract - Cited by 18 (1 self) - Add to MetaCart
of the formal ontology of the mesoscopic realm of everyday experience, and specifically of providing an account of the concept of individual substance. . Basic History of Formal Ontology We owe the idea of a f01mal ontology to the philosopher Edmund Husserl, whose Logical Investigations [1] draws a distinction

A new axiomatic foundation of partial comparability

by Alexis Tsoukiàs, Université Paris Dauphine, Université Libre De Bruxelles - Theory and Decision , 1995
"... The paper presents some results obtained in searching a new axiomatic foundation for the partial comparability theory (PCT) in the frame of non conventional preference modeling. The basic idea is to define an extended preference structure able to represent lack of information, uncertainty, ambiguity ..."
Abstract - Cited by 15 (2 self) - Add to MetaCart
The paper presents some results obtained in searching a new axiomatic foundation for the partial comparability theory (PCT) in the frame of non conventional preference modeling. The basic idea is to define an extended preference structure able to represent lack of information, uncertainty

A System for Computing Constrained Default Logic Extensions

by G. Antoniou, A. P. Courtney, J. Ernst, M. A. Williams - Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Vol.1126
"... The aim of this paper is to describe the algorithmic foundations of the part of the program Exten responsible for the computation of extensions in Constrained Default Logic. Exten is a system that computes extensions for various default logics. The efficiency of the system is increased by pruning te ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
The aim of this paper is to describe the algorithmic foundations of the part of the program Exten responsible for the computation of extensions in Constrained Default Logic. Exten is a system that computes extensions for various default logics. The efficiency of the system is increased by pruning
Results 11 - 20 of 486