By Abe J M (eds )

Similar technique books

Multisensor Data Fusion, 2 Volume Set (Electrical Engineering & Applied Signal Processing Series)

In case you are or are within the details fusion box - you need to HAVE THIS ebook! !!

Algebraic Structure Theory of Sequential Machines

Hartmanis, J. ; Stearns, R. E. - Algebraic constitution concept of Sequential Machines Na Angliiskom Iazyke. writer: . 12 months: 1966. position: . Pages: Hardcover

Extra info for Advances in logic, artificial intelligence and robotics Laptec 2002

Example text

I. ) IOS Press. 2002 Multi-Agent System for Distribution System Operation Alexandra Rasi AOKI Ahmed Ali Abdalla ESMIN Germane LAMBERT-TORRES Electrical Engineering Institute - Federal University ofltajubd Av. BPS, 1303 - Itajubd/MG - 37500-903 - Brazil Abstract There is a permanent demand for new application and simulation software for power systems. The main purpose of this work is the development of computational tool to help operators during restoration task of power substations and distribution systems.

S is valid in the model of the annotated K. Nakamatsu and A. Suzuki /Annotated Logic and Negation as Failure 35 logic. , Pf |= (A:s). Induction Step d = a + 1. In this case, there is a clause, BI A • • • A Bm -> A, in ground(P) such that ; for any integer z(l < i < m), 5t € TP t a. s) A - - - A ( 5 m : s ) . ,t'n), in P and P+ |= 3s/i • • • 3j/ fc (ti = *; A • • • A < n = ^ A (B! :s) A • • • A (B m :s)). Hence, P+MU,- ••,*«):*. Proof of 4= The proof is by the induction on the least integer d such that a Herbrand interpretation TN t d (= (A : s) whenever TN | d is a model of P+.

This agent contains a planning algorithm that analysis the event identification agent's information, and all messages from other agents, providing an assigned plan to the user. Model Agent contains the object-oriented model (Fig. 3) and continuously compares the power system model with the information provided by the Interface Agent. If a difference between the model and the real world is detected the agent immediately inform the communication agent that is responsible for transferring this for the appropriate agent [2,3].