نتایج جستجو برای: soft deductive system
تعداد نتایج: 2340539 فیلتر نتایج به سال:
This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project, which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
In this paper we introduce a deductive planning system currently being develop ed as the kernel of an intelligent help system. It consists of a deductive planner and a plan reuse component and with that provides planning from first as well as planning from second principles . Both components rely upon an interval-based temporal logic. The deductive formalisms realizing plan formation from forma...
Over the course of the past decade, contradictory claims have been made regarding the neural bases of deductive reasoning. Researchers have been puzzled by apparent inconsistencies in the literature. Some have even questioned the effectiveness of the methodology used to study the neural bases of deductive reasoning. However, the idea that neuroimaging findings are inconsistent is not based on a...
The aim of this paper is the partial axiomatization for firstorder predicate calculus formal system based on first-level universal AND operator. By introducing the universal quantifier and existential quantifier, a predicate calculus formal deductive system ∀ULh∈(0,1] based on 1-level universal AND operator according to propositional calculus formal deductive system ULh∈(0,1] of universal logic...
This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project, which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
This is an overview of the knowledge base management system called Kappa, one of the research and development activities performed at ICOT on databases and knowledge bases. The underlying data model is a nested relational model, and some complex data models are constructed and under consideration on the model. Deductive databases are constructed as one of knowledge base mechanisms and further e...
In this paper, we will report on the experience of building a successful industrial application using the LDL++ deductive database as part of the technology transfer process to our sponsor company, Eastman Chemical Company. We will describe the nature of the problems faced by Eastman Chemical Company and show how the LDL++ deductive database technology helps to build an Intelligent Information ...
A pair of deductive systems (S,S’) is Leibniz-linked when S’ is an extension of S and on every algebra there is a map sending each filter of S to a filter of S’ with the same Leibniz congruence. We study this generalization to arbitrary deductive systems of the notion of the strong version of a protoalgebraic deductive system, studied in earlier papers, and of some results recently found for pa...
The recent development of abstract algebraic logic has led to a reconsideration of the universal algebraic theory of ordered algebras from a new perspective. The familiar equational logic of Birkhoff can be naturally viewed as one of the deductive systems that constitute the main object of study in abstract algebraic logic; technically it is a deductive system of dimension two. Large parts of u...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید