Credulous vs. Sceptical Semantics for Ordered Logic Programs

D. Gabbay; E. Laenens; D. Vermeir

Credulous vs. Sceptical Semantics for Ordered Logic Programs

D. Gabbay
, E. Laenens
, D. Vermeir

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

23 Scopus citations

Abstract

We present a semantic approach to the characterization of credulous and sceptical reasoning mechanisms, within the framework of ordered logic. One of the advantages of our approach is that it integrates thightly with "conservative" ordered logic semantics which is known to generalize "classical" (stable and well- founded) logic programming semantics. This allows us to compare the conservative and credulous approaches, thus providing insight in the fundamental properties of both reasoning paradigms. It turns out that maximal credulous models are extensions of conservative stable models while the (unique) minimal credulous model, called the sceptical model, is a restriction of the well-founded model.

Original language	English
Title of host publication	Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991
Editors	James Allen, Richard Fikes, Erik Sandewall
Publisher	Association for the Advancement of Artificial Intelligence
Pages	208-217
Number of pages	10
ISBN (Electronic)	1558601651, 9781558601659
State	Published - 1991
Externally published	Yes
Event	2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991 - Cambridge, United States Duration: 22 Apr 1991 → 25 Apr 1991

Publication series

Name	Proceedings of the International Conference on Knowledge Representation and Reasoning
ISSN (Print)	2334-1025
ISSN (Electronic)	2334-1033

Conference

Conference	2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991
Country/Territory	United States
City	Cambridge
Period	22/04/91 → 25/04/91

Bibliographical note

Publisher Copyright:
© 1991 by Morgan Kaufmann Publishers, Inc. All rights reserved.

Cite this

Gabbay, D., Laenens, E., & Vermeir, D. (1991). Credulous vs. Sceptical Semantics for Ordered Logic Programs. In J. Allen, R. Fikes, & E. Sandewall (Eds.), Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991 (pp. 208-217). (Proceedings of the International Conference on Knowledge Representation and Reasoning). Association for the Advancement of Artificial Intelligence.

Gabbay, D. ; Laenens, E. ; Vermeir, D. / Credulous vs. Sceptical Semantics for Ordered Logic Programs. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991. editor / James Allen ; Richard Fikes ; Erik Sandewall. Association for the Advancement of Artificial Intelligence, 1991. pp. 208-217 (Proceedings of the International Conference on Knowledge Representation and Reasoning).

@inproceedings{6194a611581d457f9c814934189c5f49,

title = "Credulous vs. Sceptical Semantics for Ordered Logic Programs",

abstract = "We present a semantic approach to the characterization of credulous and sceptical reasoning mechanisms, within the framework of ordered logic. One of the advantages of our approach is that it integrates thightly with {"}conservative{"} ordered logic semantics which is known to generalize {"}classical{"} (stable and well- founded) logic programming semantics. This allows us to compare the conservative and credulous approaches, thus providing insight in the fundamental properties of both reasoning paradigms. It turns out that maximal credulous models are extensions of conservative stable models while the (unique) minimal credulous model, called the sceptical model, is a restriction of the well-founded model.",

author = "D. Gabbay and E. Laenens and D. Vermeir",

note = "Publisher Copyright: {\textcopyright} 1991 by Morgan Kaufmann Publishers, Inc. All rights reserved.; 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991 ; Conference date: 22-04-1991 Through 25-04-1991",

year = "1991",

language = "אנגלית",

series = "Proceedings of the International Conference on Knowledge Representation and Reasoning",

publisher = "Association for the Advancement of Artificial Intelligence",

pages = "208--217",

editor = "James Allen and Richard Fikes and Erik Sandewall",

booktitle = "Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991",

}

Gabbay, D, Laenens, E & Vermeir, D 1991, Credulous vs. Sceptical Semantics for Ordered Logic Programs. in J Allen, R Fikes & E Sandewall (eds), Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991. Proceedings of the International Conference on Knowledge Representation and Reasoning, Association for the Advancement of Artificial Intelligence, pp. 208-217, 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991, Cambridge, United States, 22/04/91.

Credulous vs. Sceptical Semantics for Ordered Logic Programs. / Gabbay, D.; Laenens, E.; Vermeir, D.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991. ed. / James Allen; Richard Fikes; Erik Sandewall. Association for the Advancement of Artificial Intelligence, 1991. p. 208-217 (Proceedings of the International Conference on Knowledge Representation and Reasoning).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Credulous vs. Sceptical Semantics for Ordered Logic Programs

AU - Gabbay, D.

AU - Laenens, E.

AU - Vermeir, D.

PY - 1991

Y1 - 1991

N2 - We present a semantic approach to the characterization of credulous and sceptical reasoning mechanisms, within the framework of ordered logic. One of the advantages of our approach is that it integrates thightly with "conservative" ordered logic semantics which is known to generalize "classical" (stable and well- founded) logic programming semantics. This allows us to compare the conservative and credulous approaches, thus providing insight in the fundamental properties of both reasoning paradigms. It turns out that maximal credulous models are extensions of conservative stable models while the (unique) minimal credulous model, called the sceptical model, is a restriction of the well-founded model.

AB - We present a semantic approach to the characterization of credulous and sceptical reasoning mechanisms, within the framework of ordered logic. One of the advantages of our approach is that it integrates thightly with "conservative" ordered logic semantics which is known to generalize "classical" (stable and well- founded) logic programming semantics. This allows us to compare the conservative and credulous approaches, thus providing insight in the fundamental properties of both reasoning paradigms. It turns out that maximal credulous models are extensions of conservative stable models while the (unique) minimal credulous model, called the sceptical model, is a restriction of the well-founded model.

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

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:105030547161

T3 - Proceedings of the International Conference on Knowledge Representation and Reasoning

SP - 208

EP - 217

BT - Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991

A2 - Allen, James

A2 - Fikes, Richard

A2 - Sandewall, Erik

PB - Association for the Advancement of Artificial Intelligence

T2 - 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991

Y2 - 22 April 1991 through 25 April 1991

ER -

Gabbay D, Laenens E, Vermeir D. Credulous vs. Sceptical Semantics for Ordered Logic Programs. In Allen J, Fikes R, Sandewall E, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991. Association for the Advancement of Artificial Intelligence. 1991. p. 208-217. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

Credulous vs. Sceptical Semantics for Ordered Logic Programs

Abstract

Publication series

Conference

Bibliographical note

Other files and links

Fingerprint

Cite this