the ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instance. this ability can actually be esse...
详细信息
Agent-oriented programming (AOP) represents a new way of analysing, designing, and implementing complex software applications. this approach has been successfully used in complex applications with distributed componen...
ISBN:
(纸本)3540679251
Agent-oriented programming (AOP) represents a new way of analysing, designing, and implementing complex software applications. this approach has been successfully used in complex applications with distributed components, which require concurrent behaviour, efficient reasoning, dependable communication, sharing and integration of knowledge. Such applications range from from comparatively small systems such as personalised email filters to large, complex, mission critical systems such as air traffic control. Since its introduction, various approaches have been proposed to determine a suitable architecture for agent-based systems. there have been a number of attempts to model AOP, some of which also involve an implemented development environment (such as JACK [1], or dMARS) whilst others are an abstract specification of necessary constructs such as Agent0 [4].
the proceedings contain 121 papers. the special focus in this conference is on Foundations of AI, Induction, logicprogramming, Reinforcement Learning and Machine Learning. the topics include: Knowledge representation...
ISBN:
(纸本)3540679251
the proceedings contain 121 papers. the special focus in this conference is on Foundations of AI, Induction, logicprogramming, Reinforcement Learning and Machine Learning. the topics include: Knowledge representation, belief revision, and the challenge of optimality;towards a next-generation search engine;an attempt to represent a database by predicate formulae;a unifying semantics for causal ramifications;inductive inference of chess player strategy;compiling logical features into specialized state-evaluators by partial evaluation, Boolean tables and incremental calculation;using domain knowledge in ILP to discover protein functional models;knowledge reformation for efficient first-order hypothetical reasoning;determination of general concept in learning default rules;a theory of profit sharing in dynamic environment;a region selecting method which performs observation and action in the multi-resolution environment;the lumberjack algorithm for learning linked decision forests;efficient iris recognition system by optimization of feature vectors and classifier;an efficient learning algorithm using natural gradient and second order information of error surface;fast and robust general purpose clustering algorithms;tropical cyclone intensity forecasting model;trading off granularity against complexity in predictive models for complex domains;efficient inference in dynamic belief networks with variable temporal resolution;epistemic states guiding the rational dynamics of information;perceiving environments for intelligent agents;constructing an autonomous agent with an interdependent heuristics;from brain theory to autonomous robotic agents and a multi-agent approach for optical inspection technology.
the proceedings contain 36 papers. the special focus in this conference is on Software, Formal Methods Tools, Hybrid Systems, Parameterized Systems and Efficient Model-Checking. the topics include: On the construction...
ISBN:
(纸本)3540672826
the proceedings contain 36 papers. the special focus in this conference is on Software, Formal Methods Tools, Hybrid Systems, Parameterized Systems and Efficient Model-Checking. the topics include: On the construction of automata from linear arithmetic constraints;an extensible type system for component-based design;viewpoint-oriented software development;tool support for integrating multiple perspectives by distributed graph transformation;an architecture for interactive program provers;on memory-block traversal problems in model-checking timed systems;symbolic model checking for rectangular hybrid systems;efficient data structure for fully symbolic verification of real-time software systems;verification of parameterized systems using logic program transformations;abstracting ws1s systems to verify parameterized networks;a tool for expressing validation techniques over infinite state systems;transitive closures of regular relations for verifying infinite-state systems;using static analysis to improve automatic test generation;efficient diagnostic generation for Boolean equation systems;compositional state space generation with partial order reductions for asynchronous communicating systems;checking for CFFD-preorder with tester processes;integrating low level symmetries into reachability analysis;model checking support for the ASM high-level language;combining constraint solvers with BDDS for automatic invariant checking;symbolic reachability analysis based on sat-solvers;symbolic representation of upward-closed sets;an experimental evaluation for asynchronous concurrent systems and tool-based specification of visual languages and graphic editors.
We show how the problem of verifying parameterized systems can be reduced to the problem of determining the equivalence of goals in a logic program. We further show how goal equivalences can be established using induc...
详细信息
作者：
Bistarelli, S.Gennari, R.Rossi, F.Università di Pisa
Dipartimento di Informatica Corso Italia 40 Pisa56125 Italy ILLC
Institute of Logic Language and Computation University of Amsterdam N. Doelenstraat 15 Amsterdam1012 CP Netherlands Università di Padova
Dipartimento di Matematica Pura ed Applicata Via Belzoni 7 Padova35131 Italy
Soft constraints based on semirings are a generalization of classical constraints, where tuples of variables’ values in each soft constraint are uniquely associated to elements from an algebraic structure called semi...
详细信息
the proceedings contain 23 papers. the topics discussed include: on the complexity of counting the Hilbert basis of a linear diophantine system;solving combinatorial problems with regular local search algorithms;evide...
ISBN:
(纸本)3540664920
the proceedings contain 23 papers. the topics discussed include: on the complexity of counting the Hilbert basis of a linear diophantine system;solving combinatorial problems with regular local search algorithms;evidence algorithm and sequent logical inference search;first order linear temporal logic over finite time structures;transforming conditional rewrite systems with extra variables into unconditional systems;cancellative superposition decides the theory of divisible torsion-free Abelian groups;regular sets of descendants for constructor-based rewrite systems;practical reasoning for expressive description logics;abstracting properties in concurrent constraint programming;a fixpoint semantics for reasoning about finite failure;extensions to the estimation calculus;Beth definability for the guarded fragment;and simplification of horn clauses that are clausal forms of guarded formulas.
the task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. In this paper we describe a constraint-based ...
详细信息
the task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. In this paper we describe a constraint-based methodology for writing concurrent applications. A system is modeled as: (a) a set of processes containing a sequence of `markers' denoting the processes points of interest;and (b) a constraint store. Process synchronization is specified by incrementally adding constraints on the markers' execution order into the constraint store. the constraint store contains a declarative specification based on a temporal constraint logic program. the store, thus, acts as a coordination entity which on the one hand encapsulates the system synchronization requirements, and on the other hand, provides a declarative specification of the system concurrency issues. this provide great advantages in writing concurrent programs and manipulating them while preserving correctness.
Based on the aging mechanism of insulation systems and service experiences, an expert system (ES) for insulation diagnosis and management is constructed with a new feature of object-oriented programming and software/c...
详细信息
Based on the aging mechanism of insulation systems and service experiences, an expert system (ES) for insulation diagnosis and management is constructed with a new feature of object-oriented programming and software/code reuse. By applying the research achievements of artificial intelligence (AI) such as artificial neural networks, fuzzy logic, etc., the inference engine of the ES could be more efficient and a higher diagnosis accuracy could be yielded. Up to now, expert systems withthe mentioned features for some power distribution bureaus have been developed and put into service. Withthe rapid development of Intranet/Internet, ES is challenged by new requests such as data and knowledge sharing. Accordingly, the ES is adjusted to the well-known two-layered Client/Server (C/S) architecture or the three-layered Web application, where all the data and knowledge used in ES is managed by the database server as well as the services packages. With two or three layered open architecture, the ES is more flexible, extensible and compatible with other management information systems (MIS) in the enterprise Intranets also.
We present a denotational semantics for concurrent constraint programming based on derivations containing sequences of interactions of a process withthe environment. Our semantic is then used as collecting semantics ...
详细信息
ISBN:
(纸本)3540664920
We present a denotational semantics for concurrent constraint programming based on derivations containing sequences of interactions of a process withthe environment. Our semantic is then used as collecting semantics for abstracting properties of computations by applying techniques of abstract interpretation.
暂无评论