Learn More
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but appears to be computational complex, and not tractable at all, most of the time. However, knowledge fusion or revision, is a common operation performed when users merge several(More)
In recent years, Building information model (BIM) has been adopted by the construction industry as a new way to design a project through the digital model. BIM helps to simplify the communication and the cooperation between different actors during the project life-cycle, especially for big projects with complex geometry. Based on the concept of co-design,(More)
The revision problem is known to be a very hard problem. There is no revision algorithm which is able to handle a large amount of data. Geographical information systems (GIS) are characterized by a huge amount of data, often gathered from different sources of information, which are imperfect and whose quality can differ. Therefore GIS require the(More)
Geographic Information Systems (GIS) often use incomplete and uncertain information leading to inconsistency. Thus, a clear definition of information revision is required. In logic, most of the usual belief revision operations are characterized by a high computational complexity, which implies actual intractability even for rather small data sets. On the(More)