Search
 
loader loading subjects...
cover
On the Horn Fragments of Serial Regular Grammar Logics with Converse
Linh Anh Nguyen, Andrzej Szałas
225 - 234
10.3233/978-1-61499-254-7-225
Frontiers in Artificial Intelligence and Applications
Volume 252: Advanced Methods and Technologies for Agent and Multi-Agent Systems
Abstract

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.

$35.00 / €27.50 / £22.00
Add PDF to cart