Representing and reasoning about the knowledge an agent (human or computer) must have to accomplish some task is becoming an increasingly important issue in artif icial intelligence (AI) research. To reason about an agent's beliefs, an AI system must assume some formal model of those beliefs. An attractive candidate is the Deductive Belief model: an agent's beliefs are described as a set of sen...

(where an a f f i r m a t i v e sentential operator is informally characterized as one for which a p r i n c i p l e of d i s t r i b u t i o n over conjunction is not o b v i o u s l y implausible). Examples of such operators include the familiar modal operators ~ and 0, and also various epistemic and doxastic operators. I want to consider certain principles that may be held to govern certain ...

The design and prototype implementation of a deduct ive processor f o r e f f i c i e n t ex t rac t ion of i m p l i c i t in format ion from e x p l i c i t data stored w i t h i n a r e l a t i o n a l data-base system is descr ibed. General statements (premises or inference ru les ) as wel l as queries are expressed in a canonical form as imp l i ca t i ons . From user quer ies , the system...

In this paper we present O-DEVICE, a deductive object-oriented knowledge base system for reasoning over OWL documents. O-DEVICE imports OWL documents into the CLIPS production rule system by transforming OWL ontologies into an object-oriented schema of the CLIPS Object-Oriented Language (COOL) and instances of OWL classes into COOL objects. The purpose of this transformation is to be able to us...

The comprehensive o i l log i n t e r p r e t a t i o n is a procedure of numerical ca l cu la t i on and l o g i c a l (or p l aus ib l e ) in fe rence. In other words, the resu l t s of p re l im ina ry inference w i l l provide a basis f o r the choice of parameters of ca l cu l a t i on formula, and then the r e s u l t s of numerical c a l c u l a t i o n w i l l be used as evidences f o r...

We present the Why/Krakatoa/Caduceus set of tools for deductive veri cation of Java and C source code.

the main purpose of this research is to explain the elements and characteristics of religious education curriculum based on the task-oriented approach. to achieve this purpose, frankena`s model for analyzing a normative philosophy; deductive method was used. based on the results, the task-oriented the ultimate goal of religious education and then ten target interface for religious education wer...