نتایج جستجو برای: soft deductive system

تعداد نتایج: 2340539  

2002
Wolfgang Ahrendt Thomas Baar Bernhard Beckert Martin Giese Elmar Habermalz Reiner Hähnle Wolfram Menzel Wojciech Mostowski Peter H. Schmitt

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.

1992
Susanne Biundo-Stephan Dietmar Dengler Jana Koehler

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...

Journal: :Journal of cognitive neuroscience 2011
Jérôme Prado Angad Chadha James R. Booth

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...

2011
Ying-cang Ma Xue-zhen Dai

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...

2002
Wolfgang Ahrendt Thomas Baar Bernhard Beckert Martin Giese Elmar Habermalz Reiner Hähnle Wolfram Menzel Peter H. Schmitt

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.

1988
Kazumasa Yokota Moto Kawamura Atsushi Kanaegami

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...

1995
KayLiang Ong Natraj Arni Christine Tomlinson C. Unnikrishnan Darrell Woelk

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 ...

Journal: :Studia Logica 2011
Josep Maria Font Ramon Jansana

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...

2004
DON PIGOZZI

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...

Journal: :Electronic Proceedings in Theoretical Computer Science 2015

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید