Object awareness in multimedia documents (Q4376795)

The paper explores how category theory and geometric logic language can be applied to give a universal reference model for multimedia objects. A multimedia information system is proved to be a Heyting algebra of open concepts or ideas to be found in a variety of continuously changing forms and formats that are best represented in the current state of the art of constructive mathematics as universal objects. These objects are related within a geometric logic language to give formal representations of awareness and implications. The paper concentrates on a theoretical description in terms of geometric logic attributes involved by the new introduced concept of machine awareness, as needed in information systems, succeeding to show an interesting equivalence of reasoning between documents and their contents. For the entire collection see [Zbl 0879.00058].