Logical Fibering and Knowledge Bases

نویسندگان

  • Jacques Calmet
  • Marvin Oliver Schneider
چکیده

ion Based Information Technology is a way of understanding knowledge, interaction and control in many different domains. It explicitly covers humanities in this sense whereas the approaches mentioned above remained much more on a purely mathematical and/or computational side for better control and easier modeling. The concept “ABIT” (Abstraction Based Information Technology) proposed in (Calmet, 2009) consists of:  A theory, which represents a set of rules and findings over the domain;  Control mechanisms on the theory, which result in its application in real life and successful interaction. These mechanisms refer to the decision making process.  The environment, which is the main setting around the domain, defining external influences. As said, ABIT is valid for any field in science or humanities. In table 1 below we give some examples of classification from the fields of law, philosophy, sociology, business and culture: Table 1. Abstract definition in different domains. Law Philosophy Sociology Business Culture Theory Set of laws Set of basic

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Logical Fiberings and Automated Deduction in Many-valued Logics Using Gröbner Bases

The concept of logical fiberings is briefly summarized. Based on experiences with concrete examples an algorithmic approach is developed which leads to a represention of a many-valued logic as a logical fibering. The Stone isomorphism for expressing classical logical operations by corresponding polynomials can be extended to m-valued logics. On the basis of this, a classical deduction problem c...

متن کامل

Denial of Service Prevention through Logical Fibering

We propose a logic-based method to protect network nodes or web sites from Denial of Service (DoS) attacks. This method is based upon Logical Fibering. Queries to the node are stored inside the fiber and decisions whether a new query should be accepted or not are taken on an empirical basis. The respective base space consists of the incoming information whereas the fiber itself describes the un...

متن کامل

A Fibering Map Approach to a Semilinear Elliptic Boundary Value Problem

We prove the existence of at least two positive solutions for the semilinear elliptic boundary-value problem −∆u(x) = λa(x)u + b(x)u for x ∈ Ω; u(x) = 0 for x ∈ ∂Ω on a bounded region Ω by using the Nehari manifold and the fibering maps associated with the Euler functional for the problem. We show how knowledge of the fibering maps for the problem leads to very easy existence proofs.

متن کامل

A Logical Approach for Preserving Confidentiality in Shared Knowledge Bases

The control of interconnection mechanisms in shared knowledge bases is important to ensure that sensitive information is not extracted in an inappropriate way from connected bases. Our goal is to propose a logical model to specify mechanisms for query control, reasoning and evolution of knowledge bases and their corresponding ontologies, ensuring the confidentiality of information whenever appr...

متن کامل

Information Sharing and Knowledge Merging in Cooperative Information Systems

Information sharing is the key issue in cooperative information systems. This issue is studied from a logical point of views in this paper. It is assumed that information in each component system is stored in a knowledge base expressed by a set of logical sentences. A formal method for merging multiple knowledge bases that might connict each other is presented. The method has a number of intere...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IJCSA

دوره 9  شماره 

صفحات  -

تاریخ انتشار 2012