Decomposition Strategies for Constructive Preference Elicitation

We tackle the problem of constructive preference elicitation, that is the problem of learning user preferences over very large decision problems, involving a combinatorial space of possible outcomes. In this setting, the suggested configuration is synthesized on-the-fly by solving a constrained optimization problem, while the preferences are learned itera tively by interacting with the user. Previous work has shown that Coactive Learning is a suitable method for learning user preferences in constructive scenarios. In Coactive Learning the user provides feedback to the algorithm in the form of an improvement to a suggested configuration. When the problem involves many decision variables and constraints, this type of interaction poses a significant cognitive burden on the user. We propose a decomposition technique for large preference-based decision problems relying exclusively on inference and feedback over partial configurations. This has the clear advantage of drastically reducing the user cognitive load. Additionally, part-wise inference can be (up to exponentially) less computationally demanding than inference over full configurations. We discuss the theoretical implications of working with parts and present promising empirical results on one synthetic and two realistic constructive problems.Comment: Accepted at the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18

Adjunctions for exceptions

An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch between the syntax of exceptions and their intended semantics. We solve this apparent contradiction by efining a logic for exceptions with a proof system which is close to their syntax and where their intended semantics can be seen as a model. This requires a robust framework for logics and their morphisms, which is provided by categorical tools relying on adjunctions, fractions and limit sketches.Comment: In this Version 2, minor improvements are made to Version

Space-Aware Ambients and Processes

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

States and exceptions considered as dual effects

In this paper we consider the two major computational effects of states and exceptions, from the point of view of diagrammatic logics. We get a surprising result: there exists a symmetry between these two effects, based on the well-known categorical duality between products and coproducts. More precisely, the lookup and update operations for states are respectively dual to the throw and catch operations for exceptions. This symmetry is deeply hidden in the programming languages; in order to unveil it, we start from the monoidal equational logic and we add progressively the logical features which are necessary for dealing with either effect. This approach gives rise to a new point of view on states and exceptions, which bypasses the problems due to the non-algebraicity of handling exceptions

Short Term Load Forecasting New Year Celebration Holiday Using Interval Type-2 Fuzzy Inference System (Case Study: Java – Bali Electrical System)

Celebration of New Year In the Indonesian is constituted the one of the visit Indonesian’s tourism. This event course changes the load of electrical energy. The electrical energy providers that control and operation of electrical in Java and Bali (Java, Bali Electrical System) is required to be able to ensure continuity of load demand at this time, and forecast for the future. Short-term load forecasting very need to be supported by computational methods for simulation and validation. The one of computation’s methods is Interval Type – 2 Fuzzy Inference System (IT-2 FIS). Interval Type-2 Fuzzy Inference System (IT-2 FIS) as the development of methods of Interval Type-1 Fuzzy Inference System (IT-1 FIS), it is appropriate to be used in load forecasting because it has the advantages that very flexible on the change of the footprint of uncertainty (FOU), so it supports to establish an initial processing of the time series, computing, simulation and validation of system models. Forecasting methods used in this research are IT-2 FIS. The process for to know and analyzing the peak load a day is the specially day and 4 days before New year Celebration in the previous year continued analysis by using IT-2 FIS will be obtained at the peak load forecasting New Year Celebration in the coming year. This research shown the average of error value in 2012, 2013 and 2014 is 0,642%. This value is better than using the IT-1 FIS which has a value of error to 0.649%. This research concluded that IT-2 FIS can be used in Short Term Load Forecasting

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. We focus on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and TROLL), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of abstract state machine

Fuzzy simulation of forest road surface parameters

The problem of construction of forest roads with the use of local low-strength substandard materials and industrial waste is considered. To solve the problem, the primary task is to develop a method for estimating the parameters of road surfaces taking into account the conditions of uncertainties in the data. This technique allows us to reasonably clarify some of the regulatory parameters and improve the technology of construction of forest roads, which was the goal of the work. To formalize the task, experimental studies were performed and on the basis of these results, the statement of the task of fuzzy derivation of the function for estimating the bearing capacity of the coating was performed. The synthesis of the output function is performed by means of Matlab. © 2019 IOP Publishing Ltd. All rights reserved