Tropos is an agent-oriented software methodology proposed in [1, 2]. The methodology is founded on the notions of agent and goal, and goal analysis is used extensively to support software development during different phases. This paper adopts a formal goal model defined and analyzed in [9, 15] to make the goal analysis process concrete through the use of forward and backward reasoning for goal ...

Method engineering proposes the construction of methodologies by selecting method fragments from a repository and assembling then in an appropriate way. However, the rules by which the “optimal” method fragments are chosen are not clear, and such chores are usually done manually by an expert. This paper presents a goal analysis technique for the selection of the optimal method fragments from a ...

Natural Expert is a product that allows users to build knowledge based systems. It uses a lazy functional language, Natural Expert Language, to implement backward chaining and provide a reliable knowledge processing environment in which development can take place. Customers from all over the world buy the system and have used it to handle a variety of problems, including applications such as ai...

This paper presents graph operations for processing conceptual graph rules in forward chaining and backward chaining. In both cases the operations provide sound and complete procedures with respect to rst-order logic deduction. First we present our framework: simple conceptual graphs, rules as couples of lambda-abstractions, knowledge base, logical semantics. Next we focus on forward chaining. ...

We present a family of dialectic proof procedures for the admissibility semantics of assumption-based argumentation. These proof procedures are defined for any conventional logic formulated as a collection of inference rules and show how any such logic can be extended to a dialectic argumentation system. The proof procedures find a set of assumptions, to defend a given belief, by starting from ...

This software is a simulator of security system developed with Java and providing a graphic interface built with Java Swing. This simulator is bound to be used to check an existing system or a system being currently devised. A security system is represented by a logigram. A logigram consists of events linked by rules. The rules stand for triggering links between the events. The simulator provid...