A "distinctive" logic for ontologies and semantic search engines

Ferdinando Cavaliere

pp. 301-318

in: Gordana Dodig Crnkovic, Raffaela Giovagnoli (eds), Representation and reality in humans, other living organisms and intelligent machines, Berlin, Springer, 2017

Abstract

We present here the theoretical basis of the "Semantic Prompter Engine", a hypothetical program which, when applied to popular online search engines, enriches them with a semantics. Other applications lie in the field of translation and de/encoders. The query language of the "prompter" (realized through synonymy and new relationships) and the construction of its related ontologies (structured universes of discourse) are based on the "distinctive predicate calculus". This logic, designed by the author, is close to natural language and common intuition and is easily represented by means of Venn diagrams or numbered segments. It is a blend of past (quantification of the predicate, syllogistic, Vasil'ev's logic of notions) and contemporary (fuzzy logic, N-oppositional theory) logical systems. With this approach it is possible to build a bridge between artificial (machine) and natural (human or animal) representations of concepts and reality.