In this paper we revisit logicprogramming under the answer-set semantics - or Answer-Set programming - and its extension Evolving logicprogramming, two languages that use logic rules and rule updates and exhibit cha...
详细信息
ISBN:
(纸本)9783642113543
In this paper we revisit logicprogramming under the answer-set semantics - or Answer-Set programming - and its extension Evolving logicprogramming, two languages that use logic rules and rule updates and exhibit characteristics that make them suitable to be used for knowledge representation and reasoning within Agent Oriented programming Languages. We illustrate the power of these rule based languages by means of examples showing how several of its features can be used to model situations faced by Agents.
In recent years, various crises arise frequently and cause tremendous economic and life losses. Meanwhile, current emergency decision models and decision support systems still need further improvement. this paper firs...
详细信息
In recent years, various crises arise frequently and cause tremendous economic and life losses. Meanwhile, current emergency decision models and decision support systems still need further improvement. this paper first proposes a new emergency decision model based on the combination of a new case retrieval algorithm for Case-Based reasoning (CBR) and logicreasoning, and then address a sample flood disaster emergency decision process to explain the application of the model in practice.
the current Semantic Web ontology language has been designed to be both expressive for specifying complex concepts and decidable for automatedreasoning. In recent years, the Semantic Web Rules Language has been propo...
详细信息
the proceedings contain 42 papers. the topics discussed include: curry-style explicit substitutions for the linear and affine lambda calculus;beluga: a framework for programming and reasoning with deductive systems (s...
ISBN:
(纸本)3642142028
the proceedings contain 42 papers. the topics discussed include: curry-style explicit substitutions for the linear and affine lambda calculus;beluga: a framework for programming and reasoning with deductive systems (system description);MCMT: a model checker modulo theories;on hierarchical reasoning in combinations of theories;global caching for coalgebraic description logics;analytic tableaux for higher-order logic with choice;monotonicity inference for higher-order formulas;sledgehammer: judgement day;multi-prover verification of floating-point programs;MUNCH - automated reasoner for sets and multisets;a slice-based decision procedure for type-based partial orders;hierarchical reasoning for the verification of parametric systems;interpolation and symbol elimination in vampire;automatedreasoning for relational probabilistic knowledge representation;and herod and pilate: two tableau provers for basic hybrid logic.
We present a novel approach to non-monotonic ILP and its implementation called TAL (Top-directed Abductive Learning). TAL overcomes some of the completeness problems of ILP systems based on Inverse Entailment and is t...
详细信息
ISBN:
(纸本)9783939897170
We present a novel approach to non-monotonic ILP and its implementation called TAL (Top-directed Abductive Learning). TAL overcomes some of the completeness problems of ILP systems based on Inverse Entailment and is the first top-down ILP system that allows background theories and hypotheses to be normal logic programs. the approach relies on mapping an ILP problem into an equivalent ALP one. this enables the use of established ALP proof procedures and the specification of richer language bias with integrity constraints. the mapping provides a principled search space for an ILP problem, over which an abductive search is used to compute inductive solutions.
Up to now, there has been almost ten years for the research of the dynamic fuzzy logic (DFL) and a series of achievements have been made, such as fundamental conceptions of dynamic fuzzy sets (DFS), system theories of...
详细信息
reasoning under fuzzy uncertainty arises in many applications including planning and scheduling in fuzzy environments. In many real-world applications, it is necessary to define fuzzy uncertainty over qualitative unce...
详细信息
ISBN:
(纸本)9783642159503
reasoning under fuzzy uncertainty arises in many applications including planning and scheduling in fuzzy environments. In many real-world applications, it is necessary to define fuzzy uncertainty over qualitative uncertainty, where fuzzy values are assigned over the possible outcomes of qualitative uncertainty. However, current fuzzy logicprogramming frameworks support only reasoning under fuzzy uncertainty. Moreover, disjunctive logic programs, although used for reasoning under qualitative uncertainty it cannot be used for reasoning with fuzzy uncertainty. In this paper we combine extended and normal fuzzy logic programs [30, 23], for reasoning under fuzzy uncertainty, with disjunctive logic programs [7, 4], for reasoning under qualitative uncertainty, in a unified logicprogramming framework, namely extended and normal disjunctive fuzzy logic programs. this is to allow directly and intuitively to represent and reason in the presence of both fuzzy uncertainty and qualitative uncertainty. the syntax and semantics of extended and normal disjunctive fuzzy logic programs naturally extends and subsumes the syntax and semantics of extended and normal fuzzy logic programs [30, 23] and disjunctive logic programs [7, 4]. Moreover, we show that extended and normal disjunctive fuzzy logic programs can be intuitively used for representing and reasoning about scheduling with fuzzy preferences.
Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS and Vampire. this paper is the largest and most ...
详细信息
ISBN:
(纸本)9783642142024
Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS and Vampire. this paper is the largest and most detailed empirical evaluation of such a link to date. Our test data consists of 1240 proof goals arising in 7 diverse Isabelle theories, thus representing typical Isabelle proof obligations. We measure the effectiveness of Sledgehammer and many other parameters such as run time and complexity of proofs. A facility for minimizing the number of facts needed to prove a goal is presented and analyzed.
In a multi-agent system the sought information can often be found across various knowledge bases, which means that making early assumptions can lead to hasty conclusions. In the paper we present a formalism for distri...
详细信息
ISBN:
(纸本)9783642135286
In a multi-agent system the sought information can often be found across various knowledge bases, which means that making early assumptions can lead to hasty conclusions. In the paper we present a formalism for distributed default reasoning to be performed by a group of agents that share knowledge in the form of a distributed default theory. the formalism is based on default transformations, which can be used to derive answers to queries in the form of defaults. Such new defaults can then be treated as intermediate results in the reasoning process. it is shown that passing messages containing transformed defaults is more informative than strict statements and enables avoiding early conclusions. Moreover, the extended reasoning features are embedded in the description logic framework.
the property of being consistent is most important for any fuzzy reasoning method. In this paper, the definitions of the consistencies of Generalized Modus Ponens (GMP) and Generalized Modus Tollens (GMT) for multiple...
详细信息
暂无评论