Academic Journal
Optimization Rules in DLV for the Bridge Crossing Problem
| العنوان: | Optimization Rules in DLV for the Bridge Crossing Problem |
|---|---|
| المؤلفون: | Ranu, Sayan, Balakrishnan, Prabhakar, Prabhu, Gurpur |
| المساهمون: | Computer Science |
| المصدر: | archive/lib.dr.iastate.edu/cs_techreports/236/OptRulesForBridgeCrossing.pdf|||Fri Jan 14 22:49:03 UTC 2022 |
| سنة النشر: | 2006 |
| المجموعة: | Digital Repository @ Iowa State University |
| مصطلحات موضوعية: | Artificial Intelligence and Robotics, Disjunctive logic programming, Datalog programs, bridge crossing problem, optimal strategies, DLV Java wrapper |
| الوصف: | Disjunctive logic programming is a powerful tool in knowledge representation and commonsense reasoning. The first solid implementation of a DLP system is called DLV (Datalog with Vel). In this paper we offer three strategies to produce optimal solutions in DLV for the well-known Bridge Crossing Problem. These strategies are a piggyback strategy, a non-piggyback strategy, and a mixed strategy. An analysis to determine the number of time steps required for an optimal solution using these strategies is provided. We also characterize and prove the conditions under which a particular strategy should be used to obtain an optimal solution. These strategies are implemented in the form of optimization rules in a DLV program for the bridge crossing problem. Preliminary results indicate a drastic reduction in execution time when compared to other DLV programs for bridge crossing which do not incorporate these strategies. Our implementation uses a DLV Java wrapper, allowing us to embed disjunctive logic programs inside an object-oriented environment. |
| نوع الوثيقة: | article in journal/newspaper |
| وصف الملف: | application/pdf |
| اللغة: | unknown |
| Relation: | archive/lib.dr.iastate.edu/cs_techreports/236/; 1232; 5462615; cs_techreports/236; https://dr.lib.iastate.edu/handle/20.500.12876/20057 |
| الاتاحة: | https://dr.lib.iastate.edu/handle/20.500.12876/20057 https://hdl.handle.net/20.500.12876/20057 |
| رقم الانضمام: | edsbas.FF8FA2EE |
| قاعدة البيانات: | BASE |
كن أول من يترك تعليقا!