ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510863

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

Certain problems in commonsense reasoning lend themselves to the use of non-standard formalisms which we call active logics. Among these are problems of objects misidentification. In this paper we describe some technical issues connected with automated inference in active logics, using particular object misidentification problems as illustrations. Control of exponential growth of inferences is a key issue. To control this growth attention is paid to a limited version of an inference rule for negative introspection. We also present some descriptive statistics for comparison with earlier active-logic approaches.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510864

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510865

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

The purpose of this paper is to make some pratically relevant results in automated theorem proving available to many-valued logics with suitable modifications. We are working with a notion of many-valued first-order clauses which any finitely- valued logic formula can be translated into and that has been used several times in the literature, but in an ad hoc way. We give a many-valued version of polarity which in turn leads to natural many-valued counterparts of Horn formulas, hyperresolution, and a Davis—Putnam procedure. We show that the many-valued generalizations share many of the desirable properties of the classical versions. Our results justify and generalize several earlier results on theorem proving in many-valued logics.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510866

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

Extending a previous approach devoted to Reiter's default logic, this paper defines a general tableaux-based framework for the computation of extensions for several well-know default logics. The ideas are (1) to qualify the differences between the variant under consideration inside a single process that can switch easily from one variants to another, (2) to relate the construction of a tractable tableau representation of extensions to the idea of compiling default theories.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510867

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

In its present incarnation, OSCAR is a fully implemented programmable architecture for a rational agent. If we just focus upon the epistemic reasoning in OSCAR, we have a powerful general-purpose defeasible reasoner. The purpose of this paper is to describe that reasoner. OSCAR's defeasible reasoner is based upon seven fundamental ideas. These are (1) an argument-based account of defeasible reasoning, (2) an analysis of defeat-status given a set of interrelated arguments, (3) a general adequacy criterion for automated defeasible reasoners, called “d.e.-adequacy”, (4) the claim that a generalpurpose defeasible reasoner must have the kind of structure I have called “flag-based”, (5) an algorithm for computing defeat-status, (6) an interest-driven monotonic reasoner, and (7) an account of degrees of justification, degrees of interest, and their interactions. These will each be discussed in turn.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510868

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510869

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510871

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510872

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510862

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor