The paper discusses an architecture for intelligent agents based on the use of A-Prolog - a language of logic programs under the answer set semantics. A-Prolog is used to represent the agent's knowledge about the domain and to formulate the agent's reasoning tasks. We outline how these tasks can be reduced to answering questions about properties of simple logic programs and demonstrate the methodology of constructing these programs. Keywords: Intelligent agents, logic programming and nonmonotonic reasoning. 1 INTRODUCTION This paper is a report on the attempt by the authors to better understand the design of software components of intelligent agents capable of reasoning, planning and acting in a changing environment. The class of such agents includes, but is not limited to, intelligent mobile robots, softbots, immobots, intelligent information systems, expert systems, and decision-making systems. The ability to design intelligent agents (IA) is crucial for such diverse tasks as ...

Abstract. In this paper we explore the thesis that the role of argumentation in practical reasoning in general and legal reasoning in particular is to justify the use of defeasible rules to derive a conclusion in preference to the use of other defeasible rules to derive a conflicting conclusion. The defeasibility of rules is expressed by means of non-provability claims as additional conditions of the rules. We outline an abstract approach to defeasible reasoning and argumentation which includes many existing formalisms, including default logic, extended logic programming, non-monotonic modal logic and auto-epistemic logic, as special cases. We show, in particular, that the “admissibility ” semantics for all these formalisms has a natural argumentationtheoretic interpretation and proof procedure, which seem to correspond well with informal argumentation. In the admissibility semantics there is only one way for one argument to attack another, namely by undermining one of its non-provability claims. In this paper, we show how other kinds of attack between arguments, specifically how rebuttal and priority attacks, can be reduced to the undermining of non-provability claims. 1.

Abstract not found

This work presents a formal, logic-based approach to one-to-one agent negotiation, in the context of goal achievement in systems of agents with limited resource availability. The proposed solution is based on agent dialogues as a way, e.g., to request resources and propose resource exchanges. It relies upon agents agreeing solely upon a language for negotiation, while possibly adopting different negotiation policies, each corresponding to an agent variety. Agent dialogues can be connected within sequences, all aimed at achieving an individual agent's goal. Sets of sequences aim at allowing all agents in the system to achieve their goals, and can be used, e.g., to solve the resource reallocation problem. We model dialogues via logic-based dialogue constraints, and propose an execution model to be adopted for the automatic generation of dialogues. We also propose an agent dialogue cycle for the automatic generation of sequences of dialogues. Finally, we identify some desirable properties of dialogues, dialogue sequences and sets of such sequences, and prove/disprove these properties for concrete agent varieties. 1

Abstract not found

this paper (August 1995) appeared as a joint Imperial College / University of Cyprus Research Report (Imperial College Research Report Number DoC 95/12) 1.

The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of non-monotonic reasoning, logic programming and deductive databases, and to show its application for knowledge representation by giving a typology of definitional knowledge.

This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted fragment of separation logic, and assigns a collection of Hoare triples to each procedure; the triples provide an over-approximation of data structure usage. Compositionality brings its usual benefits – increased potential to scale, ability to deal with unknown calling contexts, graceful way to deal with imprecision – to shape analysis, for the first time. The analysis rests on a generalized form of abduction (inference of explanatory hypotheses) which we call bi-abduction. Biabduction displays abduction as a kind of inverse to the frame problem: it jointly infers anti-frames (missing portions of state) and frames (portions of state not touched by an operation), and is the basis of a new interprocedural analysis algorithm. We have implemented

The notion of assumption-based framework generalises and refines the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-monotonic consequence of a theory if it can be derived monotonically from a theory extended by means of acceptable assumptions. The notion of acceptability for such assumptions is formulated in terms of their ability successfully to "counterattack" any "attacking" set of assumptions. One set of assumptions is said to "attack" another if the first set monotonically implies a consequence which is inconsistent with an assumption in the second set. This argumentation-theoretic criterion of acceptability is based on notions first introduced for logic programming and used to give a unified account of such diverse semantics for logic programming as stable models, partial stable models, preferred extensions, stable theories, well-founded semantics, and stationary semantics. The new framework makes it possible to general...

We present an extension of language A-Prolog by consistency-restoring rules with preferences, give the semantics of the new language, CR-Prolog, and show how the language can be used to formalize various types of commonsense knowledge and reasoning.