Constraining the Search Space in Temporal Pattern Mining

Agents in dynamic environments have to deal with complex situations including various temporal interrelations of actions and events. Discovering frequent patterns in such scenes can be useful in order to create prediction rules which can be used to predict future activities or situations. We present the algorithm MiTemP which learns frequent patterns based on a time intervalbased relational representation. Additionally the problem has also been transfered to a pure relational association rule mining task which can be handled by WARMR. The two approaches are compared in a number of experiments. The experiments show the advantage of avoiding the creation of impossible or redundant patterns with MiTemP. While less patterns have to be explored on average with MiTemP more frequent patterns are found at an earlier refinement level

Definitions: Does disjunction mean dysfunction?

Our concern in this paper is with definitions that are not conjunctive. In particular, our concern is with definitions of things of a kind K which allege that there is a bunch of conditions, each of which is sufficient, but not necessary, for bestowing K-hood. Definitions of this kind, call them “disjunctive,” are often proposed for kinds of things that interest us, but they usually draw fairly muted applause. Many treat them as provisional, to be endured, rather than celebrated. Surely, it is thought, they do not provide all one might want from a definition. Because of water, art and other cases which apparently problematise the boundary between practice-mandated and theoretically-posited kinds, there will doubtless continue to be disagreements about the credentials of disjunctive definitions. Even so, we think we have gone some way towards offering a reasonable justification for the on-going debates and some apparatus for formulating the issues

Weighted Constraints in Fuzzy Optimization

Many practical optimization problems are characterized by someflexibility in the problem constraints, where this flexibility canbe exploited for additional trade-off between improving theobjective function and satisfying the constraints. Especially indecision making, this type of flexibility could lead to workablesolutions, where the goals and the constraints specified bydifferent parties involved in the decision making are traded offagainst one another and satisfied to various degrees. Fuzzy setshave proven to be a suitable representation for modeling this typeof soft constraints. Conventionally, the fuzzy optimizationproblem in such a setting is defined as the simultaneoussatisfaction of the constraints and the goals. No additionaldistinction is assumed to exist amongst the constraints and thegoals. This report proposes an extension of this model forsatisfying the problem constraints and the goals, where preferencefor different constraints and goals can be specified by thedecision-maker. The difference in the preference for theconstraints is represented by a set of associated weight factors,which influence the nature of trade-off between improving theoptimization objectives and satisfying various constraints.Simultaneous weighted satisfaction of various criteria is modeledby using the recently proposed weighted extensions of(Archimedean) fuzzy t-norms. The weighted satisfaction of theproblem constraints and goals are demonstrated by using a simplefuzzy linear programming problem. The framework, however, is moregeneral, and it can also be applied to fuzzy mathematicalprogramming problems and multi-objective fuzzy optimization.wiskundige programmering;fuzzy sets;optimalisatie

A foundation for machine learning in design

This paper presents a formalism for considering the issues of learning in design. A foundation for machine learning in design (MLinD) is defined so as to provide answers to basic questions on learning in design, such as, "What types of knowledge can be learnt?", "How does learning occur?", and "When does learning occur?". Five main elements of MLinD are presented as the input knowledge, knowledge transformers, output knowledge, goals/reasons for learning, and learning triggers. Using this foundation, published systems in MLinD were reviewed. The systematic review presents a basis for validating the presented foundation. The paper concludes that there is considerable work to be carried out in order to fully formalize the foundation of MLinD

Language acquisition and machine learning

In this paper, we review recent progress in the field of machine learning and examine its implications for computational models of language acquisition. As a framework for understanding this research, we propose four component tasks involved in learning from experience - aggregation, clustering, characterization, and storage. We then consider four common problems studied by machine learning researchers - learning from examples, heuristics learning, conceptual clustering, and learning macro-operators - describing each in terms of our framework. After this, we turn to the problem of grammar acquisition, relating this problem to other learning tasks and reviewing four AI systems that have addressed the problem. Finally, we note some limitations of the earlier work and propose an alternative approach to modeling the mechanisms underlying language acquisition

Towards Intelligent Databases

This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy. We first show how constructive specifications can be expressed with deduction rules, and how normative conditions can be defined using integrity constraints. We outline the principles of bottom-up and top-down query answering procedures and present the techniques used for integrity checking. We then argue that it is often desirable to manage with a database system not only database applications, but also specifications of system components. We present such meta-level specifications and discuss their advantages over conventional approaches