Results 1 
4 of
4
A ProofTheoretic Analysis of GoalDirected Provability
 Journal of Logic and Computation
, 1992
"... One of the distinguishing features of logic programming seems to be the notion of goaldirected provability, i.e. that the structure of the goal is used to determine the next step in the proof search process. It is known that by restricting the class of formulae it is possible to guarantee that a ..."
Abstract

Cited by 14 (7 self)
 Add to MetaCart
One of the distinguishing features of logic programming seems to be the notion of goaldirected provability, i.e. that the structure of the goal is used to determine the next step in the proof search process. It is known that by restricting the class of formulae it is possible to guarantee that a certain class of proofs, known as uniform proofs, are complete with respect to provability in intuitionistic logic. In this paper we explore the relationship between uniform proofs and classes of formulae more deeply. Firstly we show that uniform proofs arise naturally as a normal form for proofs in firstorder intuitionistic sequent calculus. Next we show that the class of formulae known as hereditary Harrop formulae are intimately related to uniform proofs, and that we may extract such formulae from uniform proofs in two different ways. We also give results which may be interpreted as showing that hereditary Harrop formulae are the largest class of formulae for which uniform proo...
Agents via Mixedmode Computation in Linear Logic
 Proposal, Proceedings of the ICLP'01 Workshop on Computational Logic in MultiAgent Systems (CLIMA01), Paphos
, 2001
"... Agent systems based on the Belief, Desire and Intention model of Rao and Georgeff have been used for a number of successful applications. However, it is often difficult to learn how to apply such systems, due to the complexity of both the semantics of the system and the computational model. In add ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
Agent systems based on the Belief, Desire and Intention model of Rao and Georgeff have been used for a number of successful applications. However, it is often difficult to learn how to apply such systems, due to the complexity of both the semantics of the system and the computational model. In addition, there is a gap between the semantics and the concepts that are presented to the programmer. In this paper we address these issues by recasting the foundations of such systems into a logic programming framework. In particular we show how the integration of backward and forwardchaining techniques for linear logic provides a natural starting point for this investigation. We discuss how the integrated system provides for the interaction between the proactive and reactive parts of the system, and we discuss several aspects of this interaction. In particular, one perhaps surprising outcome is that goals and plans may be thought of as declarative and procedural aspects of the same concept. We also discuss the language design issues for such a system, and particularly the way in which the potential choices for rule evaluation in a forwardchaining manner is crucial to the behaviour of the system.
Language Design Issues for Agents based on Linear Logic (Extended Abstract)
 IN PROCEEDINGS OF THE WORKSHOP ON COMPUTATIONAL LOGIC IN MULTIAGENT SYSTEMS (CLIMA'02
, 2002
"... Agent systems based on the Belief, Desire and Intention model of Rao and Georgeff have been used for a number of successful applications. However, it is often difficult to learn how to apply such systems, due to the complexity of both the semantics of the system and the computational model. In addi ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Agent systems based on the Belief, Desire and Intention model of Rao and Georgeff have been used for a number of successful applications. However, it is often difficult to learn how to apply such systems, due to the complexity of both the semantics of the system and the computational model. In addition, there is a gap between the semantics and the concepts that are presented to the programmer. One way to bridge this gap is to recast the foundations of such systems into a logic programming framework. In particular, the integration of backward and forwardchaining techniques for linear logic provides a natural starting point for this investigation. In this paper we discuss the language design issues for such a system, and particularly the way in which the potential choices for rule evaluation in a forwardchaining manner is crucial to the behaviour of the system.
Regular Search Spaces (I): Horn and Nor
, 1993
"... The copyright law of the United States (title 17, U.S. Code) governs the making of photocopies or other reproductions of copyrighted material. Any copying of this document without permission of its author may be prohibited by law. ..."
Abstract
 Add to MetaCart
(Show Context)
The copyright law of the United States (title 17, U.S. Code) governs the making of photocopies or other reproductions of copyrighted material. Any copying of this document without permission of its author may be prohibited by law.