Publications

Publications by LIAAD

1990

Pyramidal Representation of Symbolic Objects

Authors
Brito, P; Diday, E;

Publication
Knowledge, Data and Computer-Assisted Decisions

Abstract

1990

Machine Learning, Meta-Reasoning and Logics

Authors
Brazdil, PB; Konolige, K;

Publication
The Kluwer International Series in Engineering and Computer Science

Abstract

1989

Symbolic Cluster Analysis

Authors
Diday, E; Brito, MP;

Publication
Conceptual and Numerical Analysis of Data

Abstract

1987

Knowledge States and Meta-Knowledge Maintenance

Authors
Brazdil, P;

Publication
EWSL

Abstract

1984

USE OF METALOGICAL PRIMITIVES IN COMMUNICATION.

Authors
Brazdil Pavel, B;

Publication

Abstract
The object of this study is to consider how one could enable two or more Prolog-like systems to talk about problem solutions, and how more complex modes of communication could be defined in this framework. A 'reference list' associated with each clause indicates to which system the clause belongs (and where it came from). If a reference list is associated with an expression, it determines where this expression is to be sent if the appropriate action is taken. A special metapredicate is used to associate the answer (or answers) directly with each problem solved, and so, failures, for example, are represented in an explicit manner. The metapredicates sent to other systems may include the existing metapredicates of Prolog, the new metapredicates introduced, or conjunctions and disjunctions of metapredicates.

CloseRead Abstract

1984

Use of Derivation Trees in Discrimination

Authors
Brazdil, P;

Publication
ECAI

Abstract