# Logical Information Systems

### Context and objectives

The
team LIS (Logical Information Systems) develops formal models for
information systems that allow for navigation, querying, updating, and
analysis of heterogeneous data collections. Data are given descriptors,
which may be formal or not, and which are extracted from data itself or
are provided by an external, possibly subjective, judgment.

The
base model for the representation of information is logical concept
analysis, a variant of formal concept analysis. This model naturally
allows for navigation, querying, and analysis of data. The model for
the description of heterogeneous data is the framework of logic
functors. This model enables us to build logics by assembling
components, and to automatically ensure some meta-logical properties,
say consistency and completeness, of these logics obtained by composing
logic functors.

The applications are all information systems in
general, with a focus on geographical information systems (GIS), and
integrated development environment (IDE) for softwares.

The team
LIS implemented these principles both as a file system LISFS, and as a
user-oriented application CAMELIS. The file system is used for instance
in the geographical information system GEOLIS, which combines standard
navigation tools from GIS as well as logical navigation from LIS.

### Research axes

The research axes of the team LIS are the following:

- To develop the LISFS system so as to make it more robust and efficient, in particular by defining a distributed version.
- To develop the theory of logic functors so as to capture more meta-logical properties, and to extend its logical vocabulary. In particular, an objective is to take into accounts logics for the description of languages. Similarly, it is important to develop logic functors for GIS. This consists in tackling the representation of space and time. Our objective is not to define new logics, but to provide a modular presentation of well-known logics (e.g. description logics, Lambek logic for sequences).
- To develop the theory of logical information systems, in particular in the direction of data analysis and data aggregates.- To develop new application domains, in particular about memory prostheses, and man-machine communication in natural language.

### International and industrial partnerships

The team LIS counts two associated members from the ESO laboratory network. These associated members are specialists in geographical information systems, and one of them is the head of a specialized society in this domain.