the idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answ...
详细信息
the idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answer set for this program. Applications of this method to planning are related to the line of research on the frame problem that started withthe invention of formal nonmonotonicreasoning in 1980. (C) 2002 Elsevier Science B.V. All rights reserved.
We summarize the salient features of the current version of the answer set solver clasp, focusing oil the progress made since version RC4 of clasp. Apart from enhanced preprocessing and search-supporting techniques, a...
详细信息
ISBN:
(纸本)9783642042379
We summarize the salient features of the current version of the answer set solver clasp, focusing oil the progress made since version RC4 of clasp. Apart from enhanced preprocessing and search-supporting techniques, a particular emphasis lies on advanced reasoning modes, Such as cautious and brave reasoning, optimization, solution projection, and incremental solving.
this paper describes an exercise in the formalization of commonsense with Answer Set programming aimed at finding the answer to an interesting riddle, whose solution is not obvious to many people. Solving the riddle r...
详细信息
ISBN:
(纸本)9783642042379
this paper describes an exercise in the formalization of commonsense with Answer Set programming aimed at finding the answer to an interesting riddle, whose solution is not obvious to many people. Solving the riddle requires a considerable amount of commonsense knowledge and sophisticated knowledge representation and reasoning techniques, including planning and adversarial reasoning. Most importantly, the riddle is difficult enough to make it unclear, at first analysis, whether and how Answer Set programming or other formalisms can be used to solve it.
the strength of answer set programming (ASP) lies in solving computationally challenging problems declaratively, and hopefully efficiently. A similar goal is shared by two other approaches. SAT and Constraint Programm...
详细信息
ISBN:
(纸本)9783642042379
the strength of answer set programming (ASP) lies in solving computationally challenging problems declaratively, and hopefully efficiently. A similar goal is shared by two other approaches. SAT and Constraint programming (CP). As future applications of ASP hinge on its Underlying solving techniques, in this note. I will briefly comment on the related techniques, and argue for the need of ASP systems to integrate with state-of-the-art techniques for constraint solving, and in general to serve as the core reasoning engine to glue other logstics and reasoning mechanisms together
Belief logicprogramming (BLP) is a novel form of quantitative logicprogramming in the presence of uncertain and inconsistent, information, which was designed to be able to combine and correlate evidence obtained fro...
详细信息
ISBN:
(纸本)9783642042379
Belief logicprogramming (BLP) is a novel form of quantitative logicprogramming in the presence of uncertain and inconsistent, information, which was designed to be able to combine and correlate evidence obtained from non-independent information sources. BLP has non-monotonic semantics based on the concepts of belief combination functions and is inspired by Dempster-Shafer theory of evidence. Most importantly, unlike the previous efforts to integrate uncertainty and logicprogramming, BLP can correlate structural information contained in rules and provides more accurate certainty estimates. the results are illustrated via simple, yet, realistic examples of rule-based Web service integration.
Many multi-agent system applications involve software agents that reason about the behavior of other agents with which they interact in cooperation or competition. In order to design and develop those systems, the emp...
详细信息
We have recently started a Couple of spin-off companies which aim at exploiting ASP, and the DLV system in particular, in real-world applications. We briefly report on the first experiences, evidentiating the positive...
详细信息
ISBN:
(纸本)9783642042379
We have recently started a Couple of spin-off companies which aim at exploiting ASP, and the DLV system in particular, in real-world applications. We briefly report on the first experiences, evidentiating the positive aspects of ASP which allowed us to develop some successful applications, and some obstacles which should be overcome to improve ASP systems, and make them best suited for industry-level applications.
Probabilistic conditionals are a powerful means for expressing uncertain knowledge. In this paper, we describe a system implemented in Java performing probabilistic reasoning at optimum entropy. It provides nonmonoton...
详细信息
ISBN:
(纸本)9783642042379
Probabilistic conditionals are a powerful means for expressing uncertain knowledge. In this paper, we describe a system implemented in Java performing probabilistic reasoning at optimum entropy. It provides nonmonotonic belief change operations like revision and up-date and supports advanced querying facilities including diagnosis and what-if-analysis.
We propose a unifying view of negation as failure, integrity constraints, and epistemic queries in nonmonotonicreasoning. Specifically, we study the relationship between satisfiability and logical implication in nonm...
详细信息
ISBN:
(纸本)0262510987
We propose a unifying view of negation as failure, integrity constraints, and epistemic queries in nonmonotonicreasoning. Specifically, we study the relationship between satisfiability and logical implication in nonmonotoniclogics, showing that, in many nonmonotonic formalisms, it is possible and easy to reduce logical implication to satisfiability. this result not only allows for establishing new complexity results for the satisfiability problem in nonmonotoniclogics, but also establishes a clear relationship between the studies on epistemic queries and integrity constraints in monotonic knowledge bases withthe work on negation by default in nonmonotonicreasoning and logicprogramming. From the perspective of the design of knowledge representation systems, such a reduction allows for defining both a simple method for answering epistemic queries in knowledge bases withnonmonotonic abilities, and a procedure for identifying integrity constraints in the knowledge base, which can be employed for optimizing reasoning in such systems.
We present a formal framework where a nonmonotonic formalism (the action description language C+) is used to provide robots with high-level reasoning, such as planning, in the style of cognitive, robotics. In particul...
详细信息
ISBN:
(纸本)9783642042379
We present a formal framework where a nonmonotonic formalism (the action description language C+) is used to provide robots with high-level reasoning, such as planning, in the style of cognitive, robotics. In particular, we introduce a novel method that bridges the high-level discrete action planning and the low-level continuous behavior by trajectory planning. We show the applicability of this framework oil two LEGO MINDSTORMS NXT robots, in ail action domain that involves concurrent execution of actions that cannot be serialized.
暂无评论