State-Space Reduction through Preference Modeling
نویسندگان
چکیده
Automated planning for numerous co-existing agents, with uncertainty caused by various levels of their predictability, observability and autonomy, is a complex task. One of the most significant issues is related to explosion of the state space. This paper presents a formal framework which can be used to model such systems and proposes the use of formally-modeled agents’ preferences as a way of reducing the number of states. A detailed description of preference modeling is provided, and the approach is evaluated by examples.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملA Dimensionality Reduction Process to Forecast Events through Stochastic Models
This paper describes a dimensionality reduction process to forecast time series events using stochastic models. As well as the KDD process defines a sequence of common steps to achieve useful information through data mining techniques, we propose a sequence of steps in order to estimate the probability of future events through stochastic modeling. Our process focus on reduce the dimensionality ...
متن کاملبرآورد انباشت دیاکسیدکربن درقالب مدل تعادلی رمزی پایدار در اقتصاد ایران
Due to the potentiality of the accumulation of atmospheric carbon dioxide and its permanent nature, the actual amount of carbon dioxide in the atmosphere, the accumulation of effective per capita carbon dioxide and the accumulation of effective per capita of this pollutant in the steady state has been estimated estimated through Kalman filter approach in a Ramsey equilibrium model over the peri...
متن کاملStream of Variation Modeling and Analysis of Serial-Parallel Multistage Manufacturing Systems
In a Serial-Parallel Multistage Manufacturing System (SP-MMS), identical work-stations are utilized at each stage to meet the productivity and line balance requirements. In such a system, parts could go through different process routes and some routes may merge at certain stage(s). Due to the existence of multiple variation streams, it is challenging to model and analyze variation propagation i...
متن کاملMining Preferences from Spatial-Temporal Data
The discovery of preferences in space and time is important in a variety of applications. In this paper we first establish the correspondence between a set of preferences in space and time and density estimates obtained from observations of spatial-temporal features recorded within large databases. We perform density estimation using both kernel methods and mixture models. The density estimates...
متن کامل