doorgaan naar inhoud
A general framework for reasoning on inconsistency Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

A general framework for reasoning on inconsistency

Auteur: Maria Vanina Martinez
Uitgever: New York, NY : Springer, ©2013.
Serie: SpringerBriefs in computer science.
Editie/Formaat:   eBoek : Document : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:
This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied. The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multiple ways to do so. This empowers users to resolve inconsistency in data leveraging both their detailed knowledge of the  Meer lezen...
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre/Vorm: Electronic books
Aanvullende fysieke materiaalsoort: Printed edition:
Genre: Document, Internetbron
Soort document: Internetbron, Computerbestand
Alle auteurs / medewerkers: Maria Vanina Martinez
ISBN: 9781461467502 1461467500
OCLC-nummer: 834507582
Beschrijving: 1 online resource.
Inhoud: Introduction and Preliminary Concepts --
A General Framework for Handling Inconsistency --
Algorithms --
Handling Inconsistency in Monotonic Logics --
Link with Existing Approaches --
Conclusions.
Serietitel: SpringerBriefs in computer science.
Verantwoordelijkheid: Maria Vanina Martinez [and others].
Meer informatie:

Fragment:

This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied. The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multiple ways to do so. This empowers users to resolve inconsistency in data leveraging both their detailed knowledge of the data as well as their application needs. The brief shows that the framework is well-suited to handle inconsistency in several logics, and provides algorithms to compute preferred options. Finally, the brief shows that the framework not only captures several existing works, but also supports reasoning about inconsistency in several logics for which no such methods exist today.

Beoordelingen

Professionele beoordelingen

Synopsis uitgever

From the reviews: "The aim of this book, consisting of six chapters, is to develop a unified framework for reasoning on inconsistency which allows end-users to apply their domain knowledge and Meer lezen...

 
Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


Primary Entity

<http://www.worldcat.org/oclc/834507582> # A general framework for reasoning on inconsistency
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "834507582" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1351675640#Place/new_york_ny> ; # New York, NY
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/inconsistency_logic> ; # Inconsistency (Logic)
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/artificial_intelligence> ; # Artificial Intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/data_mining> ; # Data mining.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/artificial_intelligence> ; # Artificial intelligence.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/logic> ; # Logic
    schema:about <http://dewey.info/class/005.101/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/database_management> ; # Database management.
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/302556869> ; # Maria Vanina Martinez
    schema:copyrightYear "2013" ;
    schema:datePublished "2013" ;
    schema:description "This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied. The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multiple ways to do so. This empowers users to resolve inconsistency in data leveraging both their detailed knowledge of the data as well as their application needs. The brief shows that the framework is well-suited to handle inconsistency in several logics, and provides algorithms to compute preferred options. Finally, the brief shows that the framework not only captures several existing works, but also supports reasoning about inconsistency in several logics for which no such methods exist today."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1351675640> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/2191-5768> ; # SpringerBriefs in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1351675640#Series/springerbriefs_in_computer_science> ; # SpringerBriefs in computer science.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1351675640#CreativeWork/> ;
    schema:name "A general framework for reasoning on inconsistency"@en ;
    schema:productID "834507582" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/834507582#PublicationEvent/new_york_ny_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1351675640#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/id/10936109> ;
    schema:url <http://www.myilibrary.com?id=508141> ;
    schema:url <http://dx.doi.org/10.1007/978-1-4614-6750-2> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4614-6749-6> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4614-6750-2> ;
    schema:workExample <http://worldcat.org/isbn/9781461467502> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/834507582> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1351675640#Series/springerbriefs_in_computer_science> # SpringerBriefs in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/834507582> ; # A general framework for reasoning on inconsistency
    schema:name "SpringerBriefs in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/artificial_intelligence> # Artificial intelligence.
    a schema:Thing ;
    schema:name "Artificial intelligence." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/database_management> # Database management.
    a schema:Thing ;
    schema:name "Database management." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Topic/artificial_intelligence> # Artificial Intelligence
    a schema:Intangible ;
    schema:name "Artificial Intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Topic/inconsistency_logic> # Inconsistency (Logic)
    a schema:Intangible ;
    schema:name "Inconsistency (Logic)"@en ;
    .

<http://viaf.org/viaf/302556869> # Maria Vanina Martinez
    a schema:Person ;
    schema:familyName "Martinez" ;
    schema:givenName "Maria Vanina" ;
    schema:name "Maria Vanina Martinez" ;
    .

<http://worldcat.org/entity/work/data/1351675640#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/834507582> ; # A general framework for reasoning on inconsistency
    .

<http://worldcat.org/isbn/9781461467502>
    a schema:ProductModel ;
    schema:isbn "1461467500" ;
    schema:isbn "9781461467502" ;
    .

<http://worldcat.org/issn/2191-5768> # SpringerBriefs in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/834507582> ; # A general framework for reasoning on inconsistency
    schema:issn "2191-5768" ;
    schema:name "SpringerBriefs in computer science," ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.