Advances in logic, artificial intelligence and robotics by Abe J M (eds )

By Abe J M (eds )

Show description

Read or Download Advances in logic, artificial intelligence and robotics Laptec 2002 PDF

Best technique books

Changing Scene of Health Care and Technology: Proceedings of the 11th International Congress of Hospital Engineering, June 1990, London, UK

This ebook offers a superb chance to check advancements in future health care know-how, many points of that are simply as acceptable to execs within the wider box of establishing providers as to these operating in wellbeing and fitness care amenities. This e-book displays the difference of options in well-being care to monetary and demographic swap in either built and constructing nations.

Additional resources for Advances in logic, artificial intelligence and robotics Laptec 2002

Sample text

Foundations of Logic Programming (2nd edition). Springer-Verlag (1987) [8] Nakamatsu,K. and Suzuki,A. : Automatic Theorem Proving for Modal Predicate Logic. Trans. IECE Japan, E67 (1984) 203-210 [9] Nakamatsu,K. and Suzuki,A. : Annotated Semantics for Default Reasoning. Proc. PRICAI'94, (1994) 180-186 [10] Nakamatsu,K. and Suzuki,A. M. and Suzuki,A. : A Defeasible Deontic Reasoning System Based on Annotated Logic Programming. Proc. 4th Int'l Conf. Computing Anticipatory Systems, AIP Conf. Proc.

Aoki et al. I Multi-agent System for Distribution System Operation Fig. 5 - Dialog window showing messages exchanged by the agents 5. Conclusions The object-oriented model developed has a good degree of abstraction, so it allows the reuse in other topologies. The MAS shows to be adequate for working with the objectoriented model, given to the characteristics of distribution of both the technologies. The main benefits given by the object-oriented model were: • Distributed representation, allowing the virtual model to reproduce the distributed properties of the system; • Flexibility, because of the virtual model adaptability to the alterations that may occur representing changes in the real world; • Reuse capability, using the system developed for modeling a new substation, through the redefinition of the devices and addition or change of rules; • Open Architecture, allowing addition of components and system expansion, as part of a bigger system.

Usually the annotation T does not appear to characterize ordinary logic programs with NF. However, it is necessary for expressing inconsistency in such cases where multiagent systems include contradiction between their agents. We have the following equivalences based on the property of epistemic negation. ^(A:s) = (A:^(8)) = ( A : f ) , (1) (A:8). (2) We can interpret the formulas (1) and (2) informally as : (1) "a literal -^A succeeds" is equivalent to "the literal A finitely fails" ; (2) "a literal ->A finitely fails" is equivalent to "the literal A succeeds" .

Download PDF sample

Rated 4.89 of 5 – based on 25 votes