• Aug 09, 2018 News! Vol. 6, No. 4-No. 7, No. 3 has been indexed by EI(Inspec)!   [Click]
  • Aug 09, 2018 News!Good News! All papers from Volume 8, Number 3 have been indexed by Scopus!   [Click]
  • May 23, 2018 News![CFP] 2018 the annual meeting of IJMLC Editorial Board, ACMLC 2018, will be held in Ho Chi Minh, Vietnam, December 7-9, 2018   [Click]
Search
General Information
Editor-in-chief
Dr. Lin Huang
Metropolitan State University of Denver, USA
It's my honor to take on the position of editor in chief of IJMLC. We encourage authors to submit papers concerning any branch of machine learning and computing.
IJMLC 2014 Vol.4(3): 232-236 ISSN: 2010-3700
DOI: 10.7763/IJMLC.2014.V4.417

Extending Model Checking to Efficient Propositional Inference

Guillermo de Ita Luna, Luis Polanco-Balcazar, and Omar Pérez-Barrios
Abstract—Abstract—Propositional Inference is of special concern to Artificial Intelligence, and it has a direct relationship to automatic reasoning. Given a Knowledge Base Σ and a query Φ, propositional inference is concern to determine if Φ can be logically deduced from Σ, that is, if Σ ├ Φ. We show a deterministic and a complete polynomial time algorithm for given the knowledge base Σ in Disjunctive Form and Φ in Conjunctive Form, to decide if Σ ├ Φ.

Index Terms—Automatic reasoning, efficient propositional inference, knowledge base systems.

Guillermo de Ita Luna, Luis Polanco-Balcazar, and Omar Pérez-Barrios are with the Computer Science Faculty, Autonomus University of Puebla (FCC-BUAP), Mexico (e-mail: deita@cs.buap.mx, siulpolb@outlook.com, peb.omar@hotmail.com).

[PDF]

Cite: Guillermo de Ita Luna, Luis Polanco-Balcazar, and Omar Pérez-Barrios, "Extending Model Checking to Efficient Propositional Inference," International Journal of Machine Learning and Computing vol.4, no. 3, pp. 232-236, 2014.

Copyright © 2008-2018. International Journal of Machine Learning and Computing. All rights reserved.
E-mail: ijmlc@ejournal.net