General default logic

Yi Zhou; Fangzhen Lin; Yan Zhang

doi:10.1007/978-3-540-72200-7_21

General default logic

Yi Zhou
, Fangzhen Lin
, Yan Zhang

School of Computer, Data & Mathematical Sciences

Western Sydney University
Hong Kong University of Science and Technology

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

3 Citations (Scopus)

Abstract

In this paper, We propose a general default logic. It extends Reiter's default logic by adding rule connectives like disjunction in logic programming, and Ferraris's general logic program by allowing arbitrary propositional formulas to be the base in forming logic programs. We show the usefulness of this logic by applying it to formalizing rule constraints, generalized closed world assumptions, and conditional defaults.

Original language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings
Publisher	Springer Verlag
Pages	241-253
Number of pages	13
ISBN (Print)	9783540721994
DOIs	https://doi.org/10.1007/978-3-540-72200-7_21
Publication status	Published - 2007
Event	9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007 - Tempe, AZ, United States Duration: 15 May 2007 → 17 May 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4483 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007
Country/Territory	United States
City	Tempe, AZ
Period	15/05/07 → 17/05/07

Access to Document

10.1007/978-3-540-72200-7_21

Cite this

Zhou, Y., Lin, F., & Zhang, Y. (2007). General default logic. In Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings (pp. 241-253). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4483 LNAI). Springer Verlag. https://doi.org/10.1007/978-3-540-72200-7_21

@inproceedings{b8c8c480c1d64119870ecc136e9930dd,

title = "General default logic",

abstract = "In this paper, We propose a general default logic. It extends Reiter's default logic by adding rule connectives like disjunction in logic programming, and Ferraris's general logic program by allowing arbitrary propositional formulas to be the base in forming logic programs. We show the usefulness of this logic by applying it to formalizing rule constraints, generalized closed world assumptions, and conditional defaults.",

author = "Yi Zhou and Fangzhen Lin and Yan Zhang",

year = "2007",

doi = "10.1007/978-3-540-72200-7\_21",

language = "English",

isbn = "9783540721994",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "241--253",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings",

note = "9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007 ; Conference date: 15-05-2007 Through 17-05-2007",

}

Zhou, Y, Lin, F & Zhang, Y 2007, General default logic. in Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4483 LNAI, Springer Verlag, pp. 241-253, 9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United States, 15/05/07. https://doi.org/10.1007/978-3-540-72200-7_21

General default logic. / Zhou, Yi; Lin, Fangzhen; Zhang, Yan.
Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings. Springer Verlag, 2007. p. 241-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4483 LNAI).

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - General default logic

AU - Zhou, Yi

AU - Lin, Fangzhen

AU - Zhang, Yan

PY - 2007

Y1 - 2007

N2 - In this paper, We propose a general default logic. It extends Reiter's default logic by adding rule connectives like disjunction in logic programming, and Ferraris's general logic program by allowing arbitrary propositional formulas to be the base in forming logic programs. We show the usefulness of this logic by applying it to formalizing rule constraints, generalized closed world assumptions, and conditional defaults.

AB - In this paper, We propose a general default logic. It extends Reiter's default logic by adding rule connectives like disjunction in logic programming, and Ferraris's general logic program by allowing arbitrary propositional formulas to be the base in forming logic programs. We show the usefulness of this logic by applying it to formalizing rule constraints, generalized closed world assumptions, and conditional defaults.

UR - https://www.scopus.com/pages/publications/38049011862

U2 - 10.1007/978-3-540-72200-7_21

DO - 10.1007/978-3-540-72200-7_21

M3 - Conference Paper

AN - SCOPUS:38049011862

SN - 9783540721994

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 241

EP - 253

BT - Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings

PB - Springer Verlag

T2 - 9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007

Y2 - 15 May 2007 through 17 May 2007

ER -

General default logic

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this