Extensional Semantics for Higher-Order Logic Programs with Negation

We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs. In this way we provide an alternative extensional semantics for higher-order logic programs with negation to the...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:arXiv.org
Hlavní autoři: Rondogiannis, Panos, Symeonidou, Ioanna
Médium: Paper
Jazyk:angličtina
Vydáno: Ithaca Cornell University Library, arXiv.org 28.06.2018
Témata:
Graphs
Logic programming
Logic programs
Semantics
Stratification
ISSN:2331-8422
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs. In this way we provide an alternative extensional semantics for higher-order logic programs with negation to the one proposed in [CharalambidisER14]. As an immediate useful consequence of our developments, we define for the language we consider the notions of stratification and local stratification, which generalize the familiar such notions from classical logic programming. We demonstrate that for stratified and locally stratified higher-order logic programs, the proposed semantics never assigns the unknown truth value. We conclude the paper by providing a negative result: we demonstrate that the well-known stable model semantics of classical logic programming, if extended according to the technique of [Bezem99,Bezem01] to higher-order logic programs, does not in general lead to extensional stable models.
AbstractList We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs. In this way we provide an alternative extensional semantics for higher-order logic programs with negation to the one proposed in [CharalambidisER14]. As an immediate useful consequence of our developments, we define for the language we consider the notions of stratification and local stratification, which generalize the familiar such notions from classical logic programming. We demonstrate that for stratified and locally stratified higher-order logic programs, the proposed semantics never assigns the unknown truth value. We conclude the paper by providing a negative result: we demonstrate that the well-known stable model semantics of classical logic programming, if extended according to the technique of [Bezem99,Bezem01] to higher-order logic programs, does not in general lead to extensional stable models.
Author Symeonidou, Ioanna
Rondogiannis, Panos
Author_xml – sequence: 1
  givenname: Panos
  surname: Rondogiannis
  fullname: Rondogiannis, Panos
– sequence: 2
  givenname: Ioanna
  surname: Symeonidou
  fullname: Symeonidou, Ioanna
BookMark eNotjkFLwzAYhoMoOOd-gLeA59bkS9MkRynTCcUJ7j6y7GuXsTWaZLqfb0VPz3t5Xp4bcjmEAQm546ystJTswcaz_yq5Yrxkuga4IBMQghe6Argms5T2jDGoFUgpJqSZnzMOyYfBHug7Hu2QvUu0C5EufL_DWCzjFiNtQ-8dfYuhj_aY6LfPO_qKvc2jeUuuOntIOPvnlKye5qtmUbTL55fmsS2sBCg2RmoGglcaubbKMNygtJ0UYx26WnWVQKmVQldtOWppnNPc_E5jZWdBTMn93-1HDJ8nTHm9D6c4dqc1MCVMrUQN4gcbnU1F
ContentType Paper
Copyright 2018. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2018. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.48550/arxiv.1701.08622
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One
ProQuest Central
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
ProQuest Central Premium
ProQuest One Academic (New)
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Physics
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-LOGICAL-a522-b958023148e18a790ebe5af53233ec67f43e5877ec4d1e859cc819d1e89a5fa23
IEDL.DBID M7S
IngestDate Mon Jun 30 09:29:00 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a522-b958023148e18a790ebe5af53233ec67f43e5877ec4d1e859cc819d1e89a5fa23
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/docview/2073967362?pq-origsite=%requestingapplication%
PQID 2073967362
PQPubID 2050157
ParticipantIDs proquest_journals_2073967362
PublicationCentury 2000
PublicationDate 20180628
PublicationDateYYYYMMDD 2018-06-28
PublicationDate_xml – month: 06
  year: 2018
  text: 20180628
  day: 28
PublicationDecade 2010
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2018
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.6588329
SecondaryResourceType preprint
Snippet We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Graphs
Logic programming
Logic programs
Semantics
Stratification
Title Extensional Semantics for Higher-Order Logic Programs with Negation
URI https://www.proquest.com/docview/2073967362
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV27TsMwFLWgBYmJt3iUygOrS-NHY09IVK1AghDRDmWqHPsGdaAtSan6-dhuCgMSC1sei3VvdH1yfHQOQtd5LDIrOCUK3AjkwCOibC4I00Z3IsOUyUNqyWOcJHI0UmlFuJWVrHIzE8OgtjPjOXLPhDDlRUj0dv5BfGqUP12tIjS2Ud27JERBujf45lhoJ3aIma0PM4N1140uVpNly5uQtzyYp79GcNhX-vv_XdEBqqd6DsUh2oLpEdoNek5THqNubxWk6R5n4wG8u_q559ghVLxWdpBn77mJfdSywelapFViz8riBN5Cu07QsN8bdu9JlZdAtENRJFMiuLlxCZHUsWq7_gidC0YZA9OJc85AyDgGw20EUihjHBzwl0qLXFN2imrT2RTOEBYKdNaWYDLLuLBUGul-Da3RGQfrEMA5amxKMq6--XL8U4-Lv19foj0HO6QXXFHZQLVF8QlXaMcsF5OyaKL6XS9JX5qhle4ufXhKX78AG-iqBQ
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V09T8MwELUqCoKJb_FRwAOMKY0dN_aAGEqrVi2hUjt0ixzngjrQlqSU8qP4j9hOAwMSWwe2yFli3-X87vz8DqHrxGdRzDziCNAh0APPdUScMIdKJeuuokIltmtJzw8CPhqJfgl9FndhDK2yiIk2UMdTZWrkphJChSEhkfvZq2O6RpnT1aKFRu4WXfh41ylbdtd50Pa9IaTVHDbazqqrgCM11nAiwazmmcfB5dIXNT0LJhNGCaWg6n7iUWDc90F5sQucCaX0pmkehWSJNDoHOuKXNYogwjIFB98lHVL3NUCn-dmpVQq7lelyvKgazfOqyR3Ir4hvt7HW7j9bgD1U7ssZpPuoBJMDtGXZqio7RI3m0hLvTRaBB_CivUOPY42_cc5bcZ6Moig2jaQV7ucUtAybmjMO4Nk64xEaruOzj9HGZDqBE4SZABnVOKgoph6LCVdcJ76xkpEHscY3p6hSWCBc_dFZ-LP8Z3-_vkLb7eFjL-x1gu452tEAixtqGeEVtDFP3-ACbarFfJyll9Z7MArXbKwv48cBwQ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Extensional+Semantics+for+Higher-Order+Logic+Programs+with+Negation&rft.jtitle=arXiv.org&rft.au=Rondogiannis%2C+Panos&rft.au=Symeonidou%2C+Ioanna&rft.date=2018-06-28&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.1701.08622