FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3214197239> ?p ?o ?g. }

• W3214197239 endingPage "389" @default.
• W3214197239 startingPage "357" @default.
• W3214197239 abstract "Non-clausal deduction in classical logic is one of the oldest areas in artificial intelligence. It first appeared in the sixties and consequently a large body of research has been devoted to it. Within the last decades, computing with non-clausal formulas has been considered in several fields, and in particular, in answer set programming, wherein non-clausal or nested logic programs were conceived in 1999. Possibilistic logic is the most extended approach to handle uncertain and partially inconsistent information. Here, we generalize some well-known clausal outcomes in possibilistic reasoning to the non-clausal setting, concretely the objective of our proposal is: (i) to extend available insights from clausal to non-clausal form; (ii) to show that possibilistic reasoning admits feasible classes also at the non-clausal level; (iii) to combine the high expressiveness of non-clausal possibilistic logic with the highest efficient (polynomial) reasoning mechanisms; and (iii) to suggest that some meaningful subclasses of possibilistic nested programs can be efficiently processed. Firstly, we define the class of Possibilistic Horn Non-Clausal formulas, or H‾Σ, which covers the classes: possibilistic Horn and propositional Horn-NC. H‾Σ is shown to be non-clausal, analogous to the standard Horn class. Secondly, we define Possibilistic Non-Clausal Unit-Resolution, or URΣ, and prove that URΣ correctly computes the inconsistency degree of Horn-NC bases. URΣ is formulated in a clausal-like manner, which eases its understanding, formal proofs and future extension towards full non-clausal resolution. Thirdly, we prove that computing the inconsistency degree of Horn-NC bases takes polynomial time. Although there already exist tractable classes in possibilistic logic, all of them are clausal, and thus, H‾Σ turns out to be the first characterized polynomial non-clausal class within possibilistic reasoning. We discuss that our approach serves as a starting point to developing uncertain non-clausal reasoning on the basis of both methodologies: DPLL and resolution." @default.
• W3214197239 created "2021-11-22" @default.
• W3214197239 creator A5005865659 @default.
• W3214197239 date "2023-01-01" @default.
• W3214197239 modified "2023-09-24" @default.
• W3214197239 title "The possibilistic horn non-clausal knowledge bases" @default.
• W3214197239 cites W1479890383 @default.
• W3214197239 cites W1601612858 @default.
• W3214197239 cites W1606419968 @default.
• W3214197239 cites W1635257673 @default.
• W3214197239 cites W1694306392 @default.
• W3214197239 cites W1964021485 @default.
• W3214197239 cites W1968179244 @default.
• W3214197239 cites W1977444293 @default.
• W3214197239 cites W1986660301 @default.
• W3214197239 cites W2001716794 @default.
• W3214197239 cites W2002328436 @default.
• W3214197239 cites W2011992362 @default.
• W3214197239 cites W2014806304 @default.
• W3214197239 cites W2017111168 @default.
• W3214197239 cites W2021215313 @default.
• W3214197239 cites W2021929022 @default.
• W3214197239 cites W2026927381 @default.
• W3214197239 cites W2029702617 @default.
• W3214197239 cites W2031525781 @default.
• W3214197239 cites W2033200287 @default.
• W3214197239 cites W2040340501 @default.
• W3214197239 cites W2043671500 @default.
• W3214197239 cites W2054921149 @default.
• W3214197239 cites W2070794501 @default.
• W3214197239 cites W2083424831 @default.
• W3214197239 cites W2087563242 @default.
• W3214197239 cites W2087588854 @default.
• W3214197239 cites W2088350978 @default.
• W3214197239 cites W2100637096 @default.
• W3214197239 cites W2114830586 @default.
• W3214197239 cites W2145062905 @default.
• W3214197239 cites W2161955489 @default.
• W3214197239 cites W2162918666 @default.
• W3214197239 cites W2207933438 @default.
• W3214197239 cites W2605289564 @default.
• W3214197239 cites W2725233680 @default.
• W3214197239 cites W2744775946 @default.
• W3214197239 cites W2784637723 @default.
• W3214197239 cites W3048427244 @default.
• W3214197239 cites W3183746973 @default.
• W3214197239 cites W1911943310 @default.
• W3214197239 doi "https://doi.org/10.1016/j.ijar.2022.11.002" @default.
• W3214197239 hasPublicationYear "2023" @default.
• W3214197239 type Work @default.
• W3214197239 sameAs 3214197239 @default.
• W3214197239 citedByCount "0" @default.
• W3214197239 crossrefType "journal-article" @default.
• W3214197239 hasAuthorship W3214197239A5005865659 @default.
• W3214197239 hasBestOaLocation W32141972391 @default.
• W3214197239 hasConcept C108710211 @default.
• W3214197239 hasConcept C11413529 @default.
• W3214197239 hasConcept C118615104 @default.
• W3214197239 hasConcept C128838566 @default.
• W3214197239 hasConcept C136726353 @default.
• W3214197239 hasConcept C138268822 @default.
• W3214197239 hasConcept C152076505 @default.
• W3214197239 hasConcept C154945302 @default.
• W3214197239 hasConcept C15744967 @default.
• W3214197239 hasConcept C16221470 @default.
• W3214197239 hasConcept C177264268 @default.
• W3214197239 hasConcept C189790780 @default.
• W3214197239 hasConcept C19417346 @default.
• W3214197239 hasConcept C199360897 @default.
• W3214197239 hasConcept C2524010 @default.
• W3214197239 hasConcept C2777212361 @default.
• W3214197239 hasConcept C33923547 @default.
• W3214197239 hasConcept C41008148 @default.
• W3214197239 hasConcept C69562738 @default.
• W3214197239 hasConceptScore W3214197239C108710211 @default.
• W3214197239 hasConceptScore W3214197239C11413529 @default.
• W3214197239 hasConceptScore W3214197239C118615104 @default.
• W3214197239 hasConceptScore W3214197239C128838566 @default.
• W3214197239 hasConceptScore W3214197239C136726353 @default.
• W3214197239 hasConceptScore W3214197239C138268822 @default.
• W3214197239 hasConceptScore W3214197239C152076505 @default.
• W3214197239 hasConceptScore W3214197239C154945302 @default.
• W3214197239 hasConceptScore W3214197239C15744967 @default.
• W3214197239 hasConceptScore W3214197239C16221470 @default.
• W3214197239 hasConceptScore W3214197239C177264268 @default.
• W3214197239 hasConceptScore W3214197239C189790780 @default.
• W3214197239 hasConceptScore W3214197239C19417346 @default.
• W3214197239 hasConceptScore W3214197239C199360897 @default.
• W3214197239 hasConceptScore W3214197239C2524010 @default.
• W3214197239 hasConceptScore W3214197239C2777212361 @default.
• W3214197239 hasConceptScore W3214197239C33923547 @default.
• W3214197239 hasConceptScore W3214197239C41008148 @default.
• W3214197239 hasConceptScore W3214197239C69562738 @default.
• W3214197239 hasFunder F4320334857 @default.
• W3214197239 hasLocation W32141972391 @default.
• W3214197239 hasLocation W32141972392 @default.
• W3214197239 hasOpenAccess W3214197239 @default.
• W3214197239 hasPrimaryLocation W32141972391 @default.

• next