On Measuring Plan Quality (A Preliminary Report)
نویسنده
چکیده
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans." To that end, we propose the following three domain independent measures of plan quality: a plan is said to be A-minimalif none of the actions in it can be deleted and have it continue to be a plan; it is said to be B-minimalif none of its segments can be deleted and have it continue to be a plan; and it is said to be C-minimal if none of its segments can be replaced by a single action and have it continue to be a plan. We show that given a plan, checking if it satisses any of these three measures, and if not transforming it into one that does, can be done in polynomial numbers of plan tests. We also show how these three notions of plan minimality can be ax-iomatized naturally and straightforwardly in the situation calculus and, as a result, show their relationships with STRIPS triangle tables. Finally, we show their applications in the declarative speciications of agents' behaviours .
منابع مشابه
Preliminary Study on Psychological Conditions of Returning Prisoners of War, at the Time of Their Arrival in Iran
SUMMARY Earlier studies demonstrate psychological consequences of extraordinary physical and emotional hardships experienced by prisoners of war. In August 1990 first groupsor Iranian prisoners of war returned from their captivities in Iraq. We took the opportunity to study their psychological conditions during their stay in temporary placements. This report highlights the result of our findin...
متن کاملPreliminary Report of 16th Season of Excavations at Tepe Hegmataneh; Hamedan
The archaeological campaign of the 16th season of excavations in Tepe Hegmataneh intended to explore the architecturalstructures belonging to the historical period. The excavated area consists of 4 squares including AJ45, AJ46, AK45,and AK46 with a total size of 400 m2 . Excavations in these squares recorded 55, 54, 105, and 116 loci respectively.The architecture belonging to the historical per...
متن کاملCommission on Science and Technology for Development Measuring the Impact of Information and Communication Technologies for Development Report of the Secretary-general Executive Summary Introduction
The present report discusses the importance of measuring the impacts of information and communication technologies (ICTs) for development, identifies key challenges and presents empirical evidence on the positive and negative impacts of ICTs in areas such as economic performance, health, education, employment and the environment. Several methodological approaches to measurement are discussed an...
متن کاملThe impact of health transformation plan on health services fees: brief report
Background: Tariff setting in healthcare is an important control knob affecting the quality, access and cost of services. As part of Iran Health Transformation Plan (HTP) in 2014, the relative value of health care and services was increased to motivate healthcare providers to deliver high quality services. This study aimed to examine the impact of HTP on health services tariffs. Methods: This ...
متن کامل