loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Taisuke Sato 1 ; Chiaki Sakama 2 and Katsumi Inoue 3

Affiliations: 1 National Institute of Advanced Industrial Science and Technology, Japan ; 2 Wakayama University, Japan ; 3 National Institute of Informatics, Japan

Keyword(s): Dualized Logic Program, Supported Model, 3-valued, Vector Space.

Abstract: We propose a linear algebraic approach to computing 2-valued and 3-valued completion semantics of finite propositional normal logic programs in vector spaces. We first consider 3-valued completion semantics and construct the least 3-valued model of comp(DB), i.e. the iff (if-and-only-if) completion of a propositional normal logic program DB in Kleene’s 3-valued logic which has three truth values {t(true), f(false), ⊥(undefined)}. The construction is carried out in a vector space by matrix operations applied to the matricized version of a dualized logic program DBd of DB. DBd is a definite clause program compiled from DB and used to compute the success set P∞ as true atoms and finite failure set N∞ as false atoms that constitute the least 3-valued model I∞ = (P∞,N∞) of comp(DB). We then construct a supported model of DB, i.e. a 2-valued model of comp(DB) by carefully assigning t or f to undefined atoms not in P∞ or N∞ so that the resulting model is 2-valued and supported. The assigning process is guided by an atom dependency relation on undefined atoms. We implemented our proposal by matrix operations and conducted an experiment with random normal logic programs which demonstrated the effectiveness of our linear algebraic approach to computing completion semantics. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.192.38.248

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Sato, T.; Sakama, C. and Inoue, K. (2020). From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. In Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-395-7; ISSN 2184-433X, pages 758-765. DOI: 10.5220/0009093407580765

@conference{icaart20,
author={Taisuke Sato. and Chiaki Sakama. and Katsumi Inoue.},
title={From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces},
booktitle={Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2020},
pages={758-765},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009093407580765},
isbn={978-989-758-395-7},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces
SN - 978-989-758-395-7
IS - 2184-433X
AU - Sato, T.
AU - Sakama, C.
AU - Inoue, K.
PY - 2020
SP - 758
EP - 765
DO - 10.5220/0009093407580765