An Introduction to belief revision and knowledge representation with 2CNF

Meliza Contreras; Miguel Rodŕiguez; Pedro Bello; B́arbara M. Gonźalez

An Introduction to belief revision and knowledge representation with 2CNF

Meliza Contreras, Miguel Rodŕiguez, Pedro Bello, B́arbara M. Gonźalez

Research output: Contribution to journal › Conference article › peer-review

1 Scopus citations

Abstract

The aim of this paper is to show an introduction to the calculation of belief revision that expresses knowledge by a 2CNF. This procedure basically consists of adding a new belief expressed by a clause 2CNF, into the set of beliefs of a knowledge database, preserving its consistency. This generally implies having to remove some clauses from previous knowledge. The strategy employed to remove previous knowledge depends mainly on the consistency and the age of each clause. Finally, an application is presented to interact with the user in the pursute of educational ends.

Original language	English
Pages (from-to)	13-22
Number of pages	10
Journal	CEUR Workshop Proceedings
Volume	804
State	Published - 2011
Externally published	Yes
Event	7th Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011 - Toluca, Mexico, Mexico Duration: Nov 7 2011 → Nov 8 2011

Keywords

2 CNF
Belief revision
Consistency
Implication digraph
Satisfiability

Cite this

@article{cc0648e414a041b7812ee4a0d82f3d60,

title = "An Introduction to belief revision and knowledge representation with 2CNF",

abstract = "The aim of this paper is to show an introduction to the calculation of belief revision that expresses knowledge by a 2CNF. This procedure basically consists of adding a new belief expressed by a clause 2CNF, into the set of beliefs of a knowledge database, preserving its consistency. This generally implies having to remove some clauses from previous knowledge. The strategy employed to remove previous knowledge depends mainly on the consistency and the age of each clause. Finally, an application is presented to interact with the user in the pursute of educational ends.",

keywords = "2 CNF, Belief revision, Consistency, Implication digraph, Satisfiability",

author = "Meliza Contreras and Miguel Rod{\'r}iguez and Pedro Bello and Gon{\'z}alez, {{\'B}arbara M.}",

year = "2011",

language = "English",

volume = "804",

pages = "13--22",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR Workshop Proceedings",

note = "7th Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011 ; Conference date: 07-11-2011 Through 08-11-2011",

}

TY - JOUR

T1 - An Introduction to belief revision and knowledge representation with 2CNF

AU - Contreras, Meliza

AU - Rodŕiguez, Miguel

AU - Bello, Pedro

AU - Gonźalez, B́arbara M.

PY - 2011

Y1 - 2011

N2 - The aim of this paper is to show an introduction to the calculation of belief revision that expresses knowledge by a 2CNF. This procedure basically consists of adding a new belief expressed by a clause 2CNF, into the set of beliefs of a knowledge database, preserving its consistency. This generally implies having to remove some clauses from previous knowledge. The strategy employed to remove previous knowledge depends mainly on the consistency and the age of each clause. Finally, an application is presented to interact with the user in the pursute of educational ends.

AB - The aim of this paper is to show an introduction to the calculation of belief revision that expresses knowledge by a 2CNF. This procedure basically consists of adding a new belief expressed by a clause 2CNF, into the set of beliefs of a knowledge database, preserving its consistency. This generally implies having to remove some clauses from previous knowledge. The strategy employed to remove previous knowledge depends mainly on the consistency and the age of each clause. Finally, an application is presented to interact with the user in the pursute of educational ends.

KW - 2 CNF

KW - Belief revision

KW - Consistency

KW - Implication digraph

KW - Satisfiability

UR - http://www.scopus.com/inward/record.url?scp=84871553276&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84871553276

SN - 1613-0073

VL - 804

SP - 13

EP - 22

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 7th Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011

Y2 - 7 November 2011 through 8 November 2011

ER -

An Introduction to belief revision and knowledge representation with 2CNF

Abstract

Keywords

Other files and links

Fingerprint

Cite this