We investigate the construction of stable models of general propositional logic programs. We show that a forward-chaining technique, supplemented by a properly chosen safeguards can be used to construct stable models of logic programs. Moreover, the proposed method has the advantage that if a program has no stable model, the result of the construction is a stable model of a subprogram. Further, in such a case the proposed method "isolates the inconsistency" of the program, that is it points to the part of the program responsible for the inconsistency. The results of computations are called stable submodels. We prove that every stable model of a program is a stable submodel. We investigate the complexity issues associated with stable submodels. The number of steps required to construct a stable submodel is polynomial in the sum of the lengths of the rules of the program. In the infinite case the outputs of the forward chaining procedure have much simpler complexity than those for general stable models. We show how to incorporate other techniques for finding models (e.g. Fitting operator, Van Gelder-Ross-Schlipf operator) into our construction.2
Rhodes Hall, Ithaca, NY 14853 (607) 255-8005 REPORT DOCUMENTATION PAGEForm Approved OMB NO. Public Reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comment regarding this burden estimates or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for information Operations and Reports, 1215 Jefferson Davis Highway, Suite 1204, Arlington, VA 22202-4302, and In this paper we propose a distributed control architecture for Distributed Interactive Simulation (DIS) applications which allows for the dynamic integration and communication of interacting processes using inteligent control agents cooperating via a logic communication network. The type of DIS applications which we discuss include the interactive simulation initiative of the US Army to create a realistic warfare training environment by using high speed communications to permit real-time interaction between geographically dispersed warfare simulations with actual combat units in the field, cooperative game playing and virtual manufacturing. In this paper we propose a distributed control architecture for Distributed Interactive Simulation (DIS) applications which allows for the dynamic integration and communication of interacting processes using intelligent control agents cooperating via a logic communication network. The type of DIS applications which we discuss include the interactive simulation initiative of the US Army to create a realistic warfare training environment by using high speed communications to permit real-time interaction between geographically dispersed warfare simulations with actual combat units in the field, cooperative game playing, and virtual manufacturing. Our architecture, termed Multiple Agent Hybrid Control Architecture (MAHCA), is based on recent advancements in hybrid systems theory and applications. Our approach provides for the flexible interoperability of distributed, real-time information systems by generating, in real time, control programs which comply with logical and evolutionary specifications. 185 IntroductionA network of distributed interactive simulations is a hybrid system, that is, a system described by an amalgamation of logical and evolution models. The type of applications that motivated our work here is a distributed interactive simulation initiative of the US Army to create a realistic warfare training environment by using high speed communications to permit real-time interaction between geographically dispersed warfare simulations, with a wide range of capabilities and scale of operation, with actual combat units in the field, see [68,69,70]. Other applications include cooperative game playing over the Internet, virtual manufacturing and virtual enterprises. We will refer to all these...
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.