ESmodels: An Epistemic Specification Solver

05/14/2014
by   Zhizheng Zhang, et al.
0

(To appear in Theory and Practice of Logic Programming (TPLP)) ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reasoning algorithms, and possible applications of epistemic specifications.We first give the epistemic specification language of ESmodels and its semantics. The language employs only one modal operator K but we prove that it is able to represent luxuriant modal operators by presenting transformation rules. Then, we describe basic algorithms and optimization approaches used in ESmodels. After that, we discuss possible applications of ESmodels in conformant planning and constraint satisfaction. Finally, we conclude with perspectives.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/19/2018

A survey of advances in epistemic logic program solvers

Recent research in extensions of Answer Set Programming has included a r...
research
08/16/2011

Revisiting Epistemic Specifications

In 1991, Michael Gelfond introduced the language of epistemic specificat...
research
08/17/2021

Thirty years of Epistemic Specifications

The language of epistemic specifications and epistemic logic programs ex...
research
04/27/2020

An Epistemic Approach to the Formal Specification of Statistical Machine Learning

We propose an epistemic approach to formalizing statistical properties o...
research
10/30/2020

Thinking About Causation: A Causal Language with Epistemic Operators

This paper proposes a formal framework for modeling the interaction of c...
research
07/11/2023

An Acceptance Semantics for Stable Modal Knowledge

We observe some puzzling linguistic data concerning ordinary knowledge a...
research
08/23/2019

On the Meaning of Transition System Specifications

Transition System Specifications provide programming and specification l...

Please sign up or login with your details

Forgot password? Click here to reset