On the Relationship between P-log and LPMLN
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 915-920.
Abstract
The paper investigates the relationship between knowledge representation languages P-log and LPMLN designed for representing and reasoning with logic and probability. We give a translation from an important subset of LPMLN to P-log which preserves probabilistic functions defined by LPMLN programs and complements recent research by the authors of LPMLN where they give a similar translation from a subset of P-log to their language. This work sheds light on the different ways to treat inconsistency in both languages.
Evgenii Balai, and Michael Gelfond. 2016. On the Relationship between P-log and LPMLN. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 915–920. https://ijcai.org/proceedings/2016/134
Balai, E., & Gelfond, M. (2016). On the Relationship between P-log and LPMLN. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 (pp. 915–920). IJCAI. https://ijcai.org/proceedings/2016/134
@inproceedings{ijcai2016p134,
title = {On the Relationship between P-log and LPMLN},
author = {Balai, Evgenii and Gelfond, Michael},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {915--920},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/134},
}
TY - CPAPER TI - On the Relationship between P-log and LPMLN AU - Balai, Evgenii AU - Gelfond, Michael T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 915 EP - 920 UR - https://ijcai.org/proceedings/2016/134 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: