This paper presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidanc...

Although Electric utility company requires automotive MV distribution system, it is hard to get fine communication network that must be offered with cost effective and reliable performance. MV PLC network has many advantages in aspect of administration, maintenance, easy and rapid installation. Now it is necessary to communicate with DAS (Distribution Automation System) in Korea. So, we design ...

The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this methodology, the syntactic and deductive apparatus of a system is encoded as the canonical forms of associated LF types; an encoding is correct (adequate) if and only if it defines a compositional bijection between the appar...

We show that using deductive systems to specify an offline partial evaluator allows one to specify, prototype, and mechanically verify correctness via meta-programming — all within a single framework. For a λ-mix-style partial evaluator, we specify binding-time constraints using a natural-deduction logic, and the associated program specializer using natural (aka “deductive”) semantics. These de...

The motivation of this work is the improvement of the classical input/output expert systems behaviour. In an uncertain reasoning context this behaviour consists of just getting certainty values for propositions. Instead, the answer of an expert system will be a set of formulas: a set of propositions and a set of specialised rules containing unknown propositions in their left part. This type of ...

Researchers in artiicial intelligence have recently been taking great interest in hybrid representations , among them sorted logics|logics that link a traditional logical representation to a taxonomic (or sort) representation such as those prevalent in semantic networks. This paper introduces a general framework|the substitutional framework|for integrating logical deduction and sortal deduction...

In this paper, we present a deductive object-oriented knowledge base system, called R-DEVICE, which imports RDF data into the CLIPS production rule system as objects and uses a deductive rule language for querying and reasoning about them. In our model properties of resources are not scattered across several triples as in most other RDF storage and querying systems, resulting in increased query...

SQL technology has evolved during last years, and systems are being more powerful and scalable. However, there exist yet some expressiveness limitations that can be otherwise overcome with inputs from deductive databases. This paper focuses on both practical and theoretical expressiveness issues in current SQL implementations that are overcome in the Datalog Educational System (DES), a deductiv...

The aim of this paper is to use Dynamic Logic as a common logical framework to describe and identify the most relevant formal characteristics of Reflective Logical Architectures (RLA) in order to investigate the expressive power of the KBSs that can be built upon them, from now on called Reflective Knowledge Bases (RKB). In general, a RLA allows to build RKBs as a set of units with initial loca...