Items related to Answer Set Programming for Continuous Domains: A Fuzzy...

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach: 5 (Atlantis Computational Intelligence Systems, 5) - Hardcover

 
9789491216589: Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach: 5 (Atlantis Computational Intelligence Systems, 5)

Synopsis

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 electricity networks, computer vision and investment portfolios. To overcome this problem we study FASP, a combination of ASP with fuzzy logic -- a class of manyvalued logics that can handle continuity. We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. In many cases we can opt to accept an imperfect solution, i.e. a solution that does not satisfy all the stated rules (constraints). However, this leads to the question: what imperfect solutions should we choose? We investigate this question and improve upon the state-of-the-art by proposing an approach based on aggregation functions. 2. Users of a programming language often want a rich language that is easy to model in. However, implementers and theoreticians prefer a small language that is easy to implement and reason about. We create a bridge between these two desires by proposing a small core language for FASP and by showing that this language is capable of expressing many of its common extensions such as constraints, monotonically decreasing functions, aggregators, S-implicators and classical negation. 3. A well-known technique for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond to the answer sets of P. We show how this technique can be generalized to FASP, paving the way to implement efficient fuzzy answer set solvers that can take advantage of existing fuzzy reasoners.

"synopsis" may belong to another edition of this title.

From the Back Cover

.

"About this title" may belong to another edition of this title.

Buy Used

Condition: Fine
Zustand: Sehr gut | Seiten: 184...
View this item

£ 7.69 shipping from Germany to United Kingdom

Destination, rates & speeds

Buy New

View this item

£ 21.58 shipping from Germany to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9789462390416: Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach: 5 (Atlantis Computational Intelligence Systems, 5)

Featured Edition

ISBN 10:  946239041X ISBN 13:  9789462390416
Publisher: Atlantis Press, 2014
Softcover

Search results for Answer Set Programming for Continuous Domains: A Fuzzy...

Stock Image

Jeroen Janssen, Martine De Cock, Dirk Vermeir, Steven Schockaert
Published by Atlantis Press, 2012
ISBN 10: 9491216589 ISBN 13: 9789491216589
Used Hardcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 184 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 12309227/12

Contact seller

Buy Used

£ 39.49
Convert currency
Shipping: £ 7.69
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Jeroen Janssen|Steven Schockaert|Dirk Vermeir|Martine De Cock
Published by Atlantis Press, 2012
ISBN 10: 9491216589 ISBN 13: 9789491216589
New Hardcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains an extensive survey on the current state-of-the-art w.r.t. the combination of answer set programming with continuous logics Shows how answer set programming can be used for solving continuous domains with real-world examples Contains a chapter deta. Seller Inventory # 5839634

Contact seller

Buy New

£ 82.07
Convert currency
Shipping: £ 21.58
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Jeroen Janssen
Published by Atlantis Press Mai 2012, 2012
ISBN 10: 9491216589 ISBN 13: 9789491216589
New Hardcover
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 electricity networks, computer vision and investment portfolios. To overcome this problem we study FASP, a combination of ASP with fuzzy logic -- a class of manyvalued logics that can handle continuity. We specifically focus on the following issues:1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. In many cases we can opt to accept an imperfect solution, i.e. a solution that does not satisfy all the stated rules (constraints). However, this leads to the question: what imperfect solutions should we choose We investigate this question and improve upon the state-of-the-art by proposing an approach based on aggregation functions.2. Users of a programming language often want a rich language that is easy to model in. However, implementers and theoreticians prefer a small language that is easy to implement and reason about. We create a bridge between these two desires by proposing a small core language for FASP and by showing that this language is capable of expressing many of its common extensions such as constraints, monotonically decreasing functions, aggregators, S-implicators and classical negation.3. A well-known technique for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond to the answer sets of P. We show how this technique can be generalized to FASP, paving the way to implement efficient fuzzy answer set solvers thatcan take advantage of existing fuzzy reasoners. 184 pp. Englisch. Seller Inventory # 9789491216589

Contact seller

Buy New

£ 95.16
Convert currency
Shipping: £ 9.50
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Jeroen Janssen
Published by Atlantis Press, 2012
ISBN 10: 9491216589 ISBN 13: 9789491216589
New Hardcover
Print on Demand

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 electricity networks, computer vision and investment portfolios. To overcome this problem we study FASP, a combination of ASP with fuzzy logic -- a class of manyvalued logics that can handle continuity. We specifically focus on the following issues:1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. In many cases we can opt to accept an imperfect solution, i.e. a solution that does not satisfy all the stated rules (constraints). However, this leads to the question: what imperfect solutions should we choose We investigate this question and improve upon the state-of-the-art by proposing an approach based on aggregation functions.2. Users of a programming language often want a rich language that is easy to model in. However, implementers and theoreticians prefer a small language that is easy to implement and reason about. We create a bridge between these two desires by proposing a small core language for FASP and by showing that this language is capable of expressing many of its common extensions such as constraints, monotonically decreasing functions, aggregators, S-implicators and classical negation.3. A well-known technique for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond to the answer sets of P. We show how this technique can be generalized to FASP, paving the way to implement efficient fuzzy answer set solvers thatcan take advantage of existing fuzzy reasoners. Seller Inventory # 9789491216589

Contact seller

Buy New

£ 97.78
Convert currency
Shipping: £ 12.08
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Steven Schockaert Dirk Vermeir Jeroen Janssen
Published by Atlantis Press, 2012
ISBN 10: 9491216589 ISBN 13: 9789491216589
New Hardcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 184. Seller Inventory # 2658588774

Contact seller

Buy New

£ 112.39
Convert currency
Shipping: £ 6.64
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Schockaert Steven Vermeir Dirk Janssen Jeroen
Published by Atlantis Press, 2012
ISBN 10: 9491216589 ISBN 13: 9789491216589
New Hardcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 184 8 Illus. Seller Inventory # 51003833

Contact seller

Buy New

£ 117.75
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Jeroen Janssen
Published by Atlantis Press Mai 2012, 2012
ISBN 10: 9491216589 ISBN 13: 9789491216589
New Hardcover

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. Neuware -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 electricity networks, computer vision and investment portfolios. To overcome this problem we study FASP, a combination of ASP with fuzzy logic -- a class of manyvalued logics that can handle continuity. We specifically focus on the following issues:1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. In many cases we can opt to accept an imperfect solution, i.e. a solution that does not satisfy all the stated rules (constraints). However, this leads to the question: what imperfect solutions should we choose We investigate this question and improve upon the state-of-the-art by proposing an approach based on aggregation functions.2. Users of a programming language often want a rich language that is easy to model in. However, implementers and theoreticians prefer a small language that is easy to implement and reason about. We create a bridge between these two desires by proposing a small core language for FASP and by showing that this language is capable of expressing many of its common extensions such as constraints, monotonically decreasing functions, aggregators, S-implicators and classical negation.3. A well-known technique for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond to the answer sets of P. We show how this technique can be generalized to FASP, paving the way to implement efficient fuzzy answer set solvers thatcan take advantage of existing fuzzy reasoners.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch. Seller Inventory # 9789491216589

Contact seller

Buy New

£ 95.16
Convert currency
Shipping: £ 30.22
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Schockaert Steven Vermeir Dirk Janssen Jeroen
Published by Atlantis Press, 2012
ISBN 10: 9491216589 ISBN 13: 9789491216589
New Hardcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND pp. 184. Seller Inventory # 1858588780

Contact seller

Buy New

£ 124.95
Convert currency
Shipping: £ 6.86
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Janssen, Jeroen, Schockaert, Steven, Vermeir, Dirk, De Cock,
Published by Atlantis Press, 2012
ISBN 10: 9491216589 ISBN 13: 9789491216589
Used Hardcover

Seller: Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA79694912165896

Contact seller

Buy Used

£ 141
Convert currency
Shipping: £ 8
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket