skip to content
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach Preview this item
ClosePreview this item
Checking...

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Author: Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock
Publisher: Paris : Atlantis Press, 2012.
Series: Atlantis Computational Intelligence Systems, 5; Atlantis computational intelligence systems, 5.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
"Answer set programming (ASP)" is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not directly suitable for modeling problems with continuous domains. Such problems occur naturally in diverse fields such as the design of gas and  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock
ISBN: 9789491216596 9491216597 9789491216589 9491216589
OCLC Number: 794714241
Language Note: English.
Description: 1 online resource.
Contents: Preface; Contents; 1 Introduction; 1.1 Answer Set Programming; 1.2 Fuzzy Logic; 1.3 Overview; 2 Preliminaries; 2.1 Order Theory; 2.2 Answer Set Programming; 2.2.1 Definitions; 2.2.1.1 Language; 2.2.1.3 Semantics; 2.2.2 Classical negation vs negation-as-failure; 2.2.3 Links to SAT; 2.3 Fuzzy Logic; 2.3.1 Fuzzy Sets; 2.3.2 Logical Operators on Bounded Lattices; 3 Fuzzy Answer Set Programming; 3.1 Introduction; 3.2 Definitions; 3.2.1 Language; 3.2.2 Semantics; 3.2.2.1 Positive Programs; 3.3 Example: Fuzzy Graph Coloring. 4 Aggregated Fuzzy Answer Set Programming4.1 Introduction; 4.2 Aggregated Fuzzy Answer Set Programming; 4.2.1 Models; 4.2.2 Answer Sets; 4.2.2.1 Positive Programs; 4.3 Illustrative Example; 4.4 Relationship to Existing Approaches; 4.4.1 Fuzzy and Many-Valued Logic Programming Without Partial Rule Satisfaction; 4.4.2 Weighted Rule Satisfaction Approaches; 4.4.3 Van Nieuwenborgh et al.; 4.4.4 Valued Constraint Satisfaction Problems; 4.4.5 Answer Set Optimization; 4.5 Summary; 5 Core Fuzzy Answer Set Programming; 5.1 Introduction; 5.2 The FASP Core Language; 5.3 Constraints. 5.3.1 Implementing Constraints5.3.2 Locking the Truth Value; 5.4 Monotonically Decreasing Functions; 5.5 Aggregators; 5.6 S-implicators; 5.7 Strong Negation; 5.8 Summary; 5.A Proofs; 5.B Diagram; 6 Reducing FASP to Fuzzy SAT; 6.1 Introduction; 6.2 Completion of FASP Programs; 6.3 Loop Formulas; 6.4 Example: the ATM location selection problem; 6.5 Discussion; 6.6 Summary; 7 Conclusions; Bibliography; Index.
Series Title: Atlantis Computational Intelligence Systems, 5; Atlantis computational intelligence systems, 5.
Responsibility: by Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock.

Abstract:

Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. An important question when modeling continuous optimization problems is how we  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/794714241> # Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "794714241" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1110933183#Place/paris> ; # Paris
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1110933183#Thing/simulation_and_modeling> ; # Simulation and Modeling.
    schema:about <http://experiment.worldcat.org/entity/work/data/1110933183#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/1110933183#Thing/computer_science> ; # Computer Science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1110933183#Thing/logic_design> ; # Logic Design.
    schema:about <http://id.worldcat.org/fast/872518> ; # Computer simulation
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/161067555> ; # Martine De Cock
    schema:contributor <http://viaf.org/viaf/161048186> ; # Steven Schockaert
    schema:contributor <http://viaf.org/viaf/62439585> ; # Dirk Vermeir
    schema:creator <http://viaf.org/viaf/9144782943659045432> ; # Jeroen Janssen
    schema:datePublished "2012" ;
    schema:description "5.3.1 Implementing Constraints5.3.2 Locking the Truth Value; 5.4 Monotonically Decreasing Functions; 5.5 Aggregators; 5.6 S-implicators; 5.7 Strong Negation; 5.8 Summary; 5.A Proofs; 5.B Diagram; 6 Reducing FASP to Fuzzy SAT; 6.1 Introduction; 6.2 Completion of FASP Programs; 6.3 Loop Formulas; 6.4 Example: the ATM location selection problem; 6.5 Discussion; 6.6 Summary; 7 Conclusions; Bibliography; Index."@en ;
    schema:description "4 Aggregated Fuzzy Answer Set Programming4.1 Introduction; 4.2 Aggregated Fuzzy Answer Set Programming; 4.2.1 Models; 4.2.2 Answer Sets; 4.2.2.1 Positive Programs; 4.3 Illustrative Example; 4.4 Relationship to Existing Approaches; 4.4.1 Fuzzy and Many-Valued Logic Programming Without Partial Rule Satisfaction; 4.4.2 Weighted Rule Satisfaction Approaches; 4.4.3 Van Nieuwenborgh et al.; 4.4.4 Valued Constraint Satisfaction Problems; 4.4.5 Answer Set Optimization; 4.5 Summary; 5 Core Fuzzy Answer Set Programming; 5.1 Introduction; 5.2 The FASP Core Language; 5.3 Constraints."@en ;
    schema:description "Preface; Contents; 1 Introduction; 1.1 Answer Set Programming; 1.2 Fuzzy Logic; 1.3 Overview; 2 Preliminaries; 2.1 Order Theory; 2.2 Answer Set Programming; 2.2.1 Definitions; 2.2.1.1 Language; 2.2.1.3 Semantics; 2.2.2 Classical negation vs negation-as-failure; 2.2.3 Links to SAT; 2.3 Fuzzy Logic; 2.3.1 Fuzzy Sets; 2.3.2 Logical Operators on Bounded Lattices; 3 Fuzzy Answer Set Programming; 3.1 Introduction; 3.2 Definitions; 3.2.1 Language; 3.2.2 Semantics; 3.2.2.1 Positive Programs; 3.3 Example: Fuzzy Graph Coloring."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1110933183> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1875-7650> ; # Atlantis computational intelligence systems ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1110933183#CreativeWork/> ;
    schema:name "Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach"@en ;
    schema:productID "794714241" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/794714241#PublicationEvent/paris_atlantis_press_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1110933183#Agent/atlantis_press> ; # Atlantis Press
    schema:url <http://dx.doi.org/10.2991/978-94-91216-59-6> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=994265> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://dx.doi.org/10.2991/978-94-91216-59-6> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-94-91216-58-9> ;
    schema:workExample <http://worldcat.org/isbn/9789491216589> ;
    schema:workExample <http://worldcat.org/isbn/9789491216596> ;
    schema:workExample <http://dx.doi.org/10.2991/978-94-91216-59-6> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/794714241> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1110933183#Agent/atlantis_press> # Atlantis Press
    a bgn:Agent ;
    schema:name "Atlantis Press" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1110933183#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/1110933183#Thing/simulation_and_modeling> # Simulation and Modeling.
    a schema:Thing ;
    schema:name "Simulation and Modeling." ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
    schema:name "Logic"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872518> # Computer simulation
    a schema:Intangible ;
    schema:name "Computer simulation"@en ;
    .

<http://viaf.org/viaf/161048186> # Steven Schockaert
    a schema:Person ;
    schema:familyName "Schockaert" ;
    schema:givenName "Steven" ;
    schema:name "Steven Schockaert" ;
    .

<http://viaf.org/viaf/161067555> # Martine De Cock
    a schema:Person ;
    schema:familyName "De Cock" ;
    schema:givenName "Martine" ;
    schema:name "Martine De Cock" ;
    .

<http://viaf.org/viaf/62439585> # Dirk Vermeir
    a schema:Person ;
    schema:familyName "Vermeir" ;
    schema:givenName "Dirk" ;
    schema:name "Dirk Vermeir" ;
    .

<http://viaf.org/viaf/9144782943659045432> # Jeroen Janssen
    a schema:Person ;
    schema:familyName "Janssen" ;
    schema:givenName "Jeroen" ;
    schema:name "Jeroen Janssen" ;
    .

<http://worldcat.org/entity/work/data/1110933183#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/794714241> ; # Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
    .

<http://worldcat.org/isbn/9789491216589>
    a schema:ProductModel ;
    schema:isbn "9491216589" ;
    schema:isbn "9789491216589" ;
    .

<http://worldcat.org/isbn/9789491216596>
    a schema:ProductModel ;
    schema:isbn "9491216597" ;
    schema:isbn "9789491216596" ;
    .

<http://worldcat.org/issn/1875-7650> # Atlantis computational intelligence systems ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/794714241> ; # Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
    schema:issn "1875-7650" ;
    schema:name "Atlantis computational intelligence systems ;" ;
    schema:name "Atlantis Computational Intelligence Systems," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.