Blar i Institutt for datateknologi, elektroteknologi og realfag på emneord "knowledge base"
Viser treff 1-1 av 1
-
An MDE Approach for Modelling and Reasoning about Multi-agent Systems
(Journal article; Peer reviewed, 2017)Epistemic logic plays an important role in artificial intelligence for reasoning about multi-agent systems. Current approaches for modelling multi-agent systems with epistemic logic use Kripke semantics where the knowledge ...