On the Horn Fragments of Serial Regular Grammar Logics with Converse
Nguyen Linh Anh, Andrzej Szałas · Frontiers in artificial intelligence and applications · 2013
We study Horn fragments of serial multimodal logics which are characterized by regular grammars with converse. Such logics are useful for reasoning about epistemic states of multiagent systems as well as similarity-based approximate reasoning. We provide the first algorithm with PTIME data complexity for checking satisfiability of a Horn knowledge base in a serial regular grammar logic with converse.