Aximo: Automated Axiomatic Reasoning for Information Update | Zendy

Simon Richards | Zendy; Mehrnoosh Sadrzadeh | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Aximo: Automated Axiomatic Reasoning for Information Update

Author(s) -

Simon Richards,

Mehrnoosh Sadrzadeh

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.02.037

Subject(s) - semantic reasoner , axiom , computer science , theoretical computer science , algebraic number , programming language , epistemic modal logic , artificial intelligence , mathematics , description logic , multimodal logic , mathematical analysis , geometry

We present an algorithm for proving epistemic properties of dynamic scenarios in multi-agent systems and an implementation of it as the C++ program Aximo. The program consists of a rewrite system and a recursive reasoner, and we prove that its decision procedure is sound with regard to the algebraic axiomatics of dynamic epistemic logic. We study the termination and complexity of the program and show its applicability, by proving properties of honest and also newer dishonest versions of the the muddy children puzzle as well as a coin toss scenario

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research