First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic firs...
详细信息
ISBN:
(数字)9783540398134
ISBN:
(纸本)3540201017
First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments including the guarded fragment with equality. In this paper, we specialise the monodic resolution method to the guarded monodic fragment with equality and first-order temporal logic over expanding domains. We introduce novel resolution calculi that can be applied to formulae in the normal form associated withthe clausal resolution method, and state correctness and completeness results.
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contaminated would prevent a person from drin...
详细信息
ISBN:
(纸本)354000680X
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contaminated would prevent a person from drinking water from the tap in her home. this suggests that the absence of such evidence contributes to her usual belief that her water is safe. On the other hand, if a reasonable person received a letter telling her that she had won a million dollars, she would consciously consider whether there was any evidence that the letter was a hoax or somehow misleading before making plans to spend the money. All to often we arrive at conclusions which we later retract when contrary evidence becomes available. the contrary evidence defeats our earlier reasoning. Much of our reasoning is defeasible in this way. Since around 1980, considerable research in AI has focused on how to model reasoning of this sort. In this paper, I describe one theoretical approach to this problem, discuss implementation of this approach as an extension of Prolog, and describe some application of this work to normative reasoning, learning, planning, and other types of automatedreasoning.
Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to give systems with properties differing from th...
详细信息
ISBN:
(纸本)3540404945
Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to give systems with properties differing from the original. In this paper we show that these variants are in a sense superfluous, in that for any of these variants of default logic, we can exactly mimic the behaviour of a variant in standard default logic. We accomplish this by translating a default theory under a variant interpretation into a second default theory wherein the variant interpretation is respected.
this article examines the methods how to avoid an overfitting-effect within GeLog-systems. this effect can be observed in nearly all systems of inductive concept learning, if due to false classification of examples fa...
详细信息
ISBN:
(纸本)3540408045
this article examines the methods how to avoid an overfitting-effect within GeLog-systems. this effect can be observed in nearly all systems of inductive concept learning, if due to false classification of examples false, especially too specific theories, axe learned. there are a number or procedures, how to counter the effects of the overfitting-effect or to avoid it. this article develops criteria for the selection of those procedures. In this context, the integrability into the GeLog-system, a system of genetic inductive logicprogramming, is of great importance. Finally, a filter procedure, based on the correlation heuristic, which is also used for top-down-pruning, is selected, as it promised the possible application. to. a, relatively huge amount of problems. After that, the efficiency of the methods will be proven withthe help of systematic experiments.
Web services-Web-accessible programs and devices-are a key application area for the Semantic Web. Withthe proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate var...
详细信息
Web services-Web-accessible programs and devices-are a key application area for the Semantic Web. Withthe proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automatedreasoning technology to describe, simulate, compose, test, and verify compositions of Web services. We take as our starting point the DAML-S DAML + OIL ontology for describing the capabilities of Web services. We define the semantics for a relevant subset of DAML-S in terms of a first-order logical language. Withthe semantics in hand, we encode our service descriptions in a Petri Net formalism and provide decision procedures for Web service simulation, verification and composition. We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe. Finally, we present an implementation of our analysis techniques. this implementation takes as input a DAML-S description of a Web service, automatically generates a Petri Net and performs the desired analysis. Such a tool has broad applicability both as a back end to existing manual Web service composition tools, and as a stand-alone tool for Web service developers. (C) 2003 Published by Elsevier Science B.V.
this practical study compares two virtual sensor methods used in data fusion. Both methods have their own advantages, but the differences between them are noticeable. A certain part of a data fusion system had been im...
详细信息
A neural net based development of multi-adjoint logicprogramming is presented. Transformation rules carry programs into neural networks, where truth-values of rules relate to output of neurons, truth-values of facts ...
详细信息
ISBN:
(纸本)3540402101
A neural net based development of multi-adjoint logicprogramming is presented. Transformation rules carry programs into neural networks, where truth-values of rules relate to output of neurons, truth-values of facts represent input, and network functions are determined by a set of general operators;the output of the net being the values of propositional variables under its minimal model. Some experimental results are reported.
the proceedings contain 42 papers. the topics discussed include: software services and software maintenance;software documentation: how much is enough?;revitalizing modifiability of legacy assets;towards automatical m...
ISBN:
(纸本)0769519024
the proceedings contain 42 papers. the topics discussed include: software services and software maintenance;software documentation: how much is enough?;revitalizing modifiability of legacy assets;towards automatical migration of transformation rules after grammar extension;automated COBOL to java recycling;light-weight product-lines for evolution and maintenance of web sites;web applications design and maintenance using symbolic model checking;enabling legacy system accessibility by web heterogeneous clients;towards a benchmark for web site extractors: a call for community participation;identifying refactoring opportunities using logic meta programming;refactoring browser with preprocessor;the role of constructors in the context of refactoring object-oriented systems;supporting evolution in component-based development using component libraries;and reengineering legacy application to e-business with modified rational unified process.
the proceedings contain 196 papers. the special focus in this conference is on Knowledge-Based Systems, Neural Networks, Fuzzy Systems and Evolutionary Computation. the topics include: Distributed prediction and hiera...
ISBN:
(纸本)9783540408031
the proceedings contain 196 papers. the special focus in this conference is on Knowledge-Based Systems, Neural Networks, Fuzzy Systems and Evolutionary Computation. the topics include: Distributed prediction and hierarchical knowledge discovery by ARTMAP neural networks;adaptive data based modelling and estimation with application to real time vehicular collision avoidance;the evolution of evolutionary computation;a unified model maintains knowledge base integrity;state-based planning with numerical knowledge;automated knowledge acquisition by relevant reasoning based on strong relevant logic;knowledge support for modeling and simulation;using conceptual decision model in a case study;a neural-network technique for recognition of filaments in solar images;learning multi-class neural-network models from electroencephalograms;establishing safety criteria for artificial neural networks;learning of SAINNS from covariance function;urinary bladder tumor grade diagnosis using on-line trained neural networks;uncertainty management in rule based systems application to maneuvers recognition;fuzzy coefficients and fuzzy preference relations in models of decision making;fuzzy knowledge based guidance in the homing missiles;evolutionary design of rule changing cellular automata;intelligent motion generator for mobile robot by automatic constructed action knowledge-base using GA;population-based approach to multiprocessor task scheduling in multistage hybrid flowshops;a study of the compression method for a reference character dictionary used for on-line character recognition;on-line profit sharing works efficiently and determination of decision boundaries for online signature verification.
One of the most fundamental results connecting mathematical logic to computer science is the B¨uchi-Elgot-Trakhtenbrot theorem [1,2,6], established in the early 1960s,whic h states that finite-state automata and ...
详细信息
暂无评论