this paper presents a declarative semantics which exhibits the termination properties of a logic program. the semantics associates a program with its binary unfoldings — a possibly infinite set of binary clauses. Ter...
详细信息
Computing with functional programs involves reduction of terms to normal form. When considering non-terminating programs, this is achieved by using some special, normalizing strategy which obtains the normal form when...
详细信息
the proceedings contain 58 papers. the special focus in this conference is on Protocols, Guidelines, Learning and Diagnostic Problem Solving. the topics include: Intelligent image management in an integrated telemedic...
ISBN:
(纸本)354062709X
the proceedings contain 58 papers. the special focus in this conference is on Protocols, Guidelines, Learning and Diagnostic Problem Solving. the topics include: Intelligent image management in an integrated telemedicine services network;protocols for medical procedures and therapies;a provisional description of the PROforma language and tools;supporting tools for guideline development and dissemination;a task-specific ontology for the application and critiquing of time-oriented clinical guidelines;user-adapted multimedia explanations in a clinical guidelines consultation system;clinical guidelines and healthcare processes;detecting very early stages of dementia from normal aging with machine learning methods;acquiring and validating background knowledge for machine learning using function decomposition;automated revision of expert rules for treating acute abdominal pain in children;evaluation of automatic and manual knowledge acquisition for cerebrospinal fluid diagnosis;knowledge acquisition by the domain expert using the tool HEMATOOL;application of inductive logicprogramming for learning ECG waveforms;knowledge discovery from a breast cancer database;an adaptive two-tier menu approach to support on-line entry of diagnoses;machine learning applied to diagnosis of sport injuries;a theoretical framework for decision trees in uncertain domains;developing a decision-theoretic network for a congenital heart disease;a theory of medical diagnosis as hypothesis refinement;a heuristic approach to the multiple diagnoses problem;intelligent assistance for coronary heart disease diagnosis;a development environment for intelligent diagnostic systems and learning Bayesian networks by genetic algorithms.
Fuzzy sets and fuzzy logic are essential approaches to uncertain and vague information representation and reasoning. this paper is focused on uncertainty about types of objects and reasoning with it. A fuzzy type is f...
详细信息
Fuzzy sets and fuzzy logic are essential approaches to uncertain and vague information representation and reasoning. this paper is focused on uncertainty about types of objects and reasoning with it. A fuzzy type is formulated as a pair of a basic type and a truth-value, where a basic type can be crisp or vague (in the intuitive sense). A structure for a class of truth-value lattices is proposed for this construction. then, fuzzy type lattices are developed withthe fuzzy sub-type partial order satisfying intuition, and fuzzy type intersection and union operations. the result forms a basis for development of an order-sorted fuzzy logic system.
A workpiece scheduling problem considering imprecisions over processing and transporting times is studied in this work. these considerations result in a fuzzy linear programming problem. We present methodologies to so...
详细信息
A workpiece scheduling problem considering imprecisions over processing and transporting times is studied in this work. these considerations result in a fuzzy linear programming problem. We present methodologies to solve them, based on the fuzzy number ordering techniques. these methodologies give good information to decision makers about the domain containing the optimal solution. the proposed algorithm is applied in an example and the results are analysed.
Ladder diagrams (LD) have been widely used in industries as a programming language for PLCs. However, the LD can not represent sequential flows of control logic explicitly. On the other hand as the sequential function...
详细信息
Ladder diagrams (LD) have been widely used in industries as a programming language for PLCs. However, the LD can not represent sequential flows of control logic explicitly. On the other hand as the sequential function chart (SFC) can explicitly represent the sequential flow in the control logic: the SFC is expected used more widely than the LD. Because much know-how with respect to sequential controls have been accumulated in the LD of the existing systems, for the promotion of SFC, it is preferable to develop a transformation technique from the LD to the SFC. In this paper, first we suggest the necessity of the modeling of control plants for the LD transformation into the SFC using a conceptual example. Secondly we proposed a new algebraic analysis method that transforms the state equations of the total system into simultaneous linear inequalities whose solution can be sought with linear programming techniques.
the proceedings contain 22 papers. the special focus in this conference is on Experiments, Applications and Implementations. the topics include: Inductive logicprogramming for natural language processing;an initial e...
ISBN:
(纸本)3540634940
the proceedings contain 22 papers. the special focus in this conference is on Experiments, Applications and Implementations. the topics include: Inductive logicprogramming for natural language processing;an initial experiment into stereochemistry-based drug design using inductive logicprogramming;analysis and prediction of piano performances using inductive logicprogramming;noise detection and elimination applied to noise handling in a KRK chess endgame;feature construction with inductive logicprogramming;polynomial-time learning in logicprogramming and constraint logicprogramming;analyzing and learning ECG waveforms;learning rules that classify ocular fundus images for glaucoma diagnosis;a new design and implementation of progol by bottom-up computation;inductive logic program synthesis with DIALOGS;relational knowledge discovery in databases;integrity constraints in ILP using a monte carlo approach;restructuring chain datalog programs;top-down induction of logic programs from incomplete samples;least generalizations under implication;efficient proof encoding;learning logic programs with random classification noise;handling quantifiers in ILP and learning from positive data.
the proceedings contain 25 papers. the special focus in this conference is on programming Languages and Systems. the topics include: Some practical problems and their influence on semantics;compiling haskell by progra...
ISBN:
(纸本)3540610553
the proceedings contain 25 papers. the special focus in this conference is on programming Languages and Systems. the topics include: Some practical problems and their influence on semantics;compiling haskell by program transformation;narrowing-driven partial evaluation of functional logic programs;a multiple-valued logical semantics for prolog;removing value encoding using alternative values in partial evaluation of strongly-typed languages;a complete transformational toolkit for compilers;global analysis of standard prolog programs;an axiomatisation and a checking algorithm;compositional optimization of disjunctive abstract interpretations;a rewriting logic for declarative programming;durations for truly-concurrent transitions;flow analysis in the geometry of interaction;parametricity and unboxing with unpointed types;modular denotational semantics for compiler construction;compositional semantics of non-deterministic synchronous languages;checking system properties via integer programming;efficient minimization up to location equivalence;a new approach to compiling adaptive programs;mode and termination checking for higher-order logic programs;linear time hierarchies for a functional language machine model;integer constraints to stop deforestation;towards an ML-style polymorphic type system for C and towards an expressive language for PDE solvers.
the proceedings contain 22 papers. the special focus in this conference is on theorem Proving in Higher Order logics. the topics include: An isabelle-based theorem prover for VDM-SL;executing formal specifications by ...
ISBN:
(纸本)3540611576
the proceedings contain 22 papers. the special focus in this conference is on theorem Proving in Higher Order logics. the topics include: An isabelle-based theorem prover for VDM-SL;executing formal specifications by translation to higher order logicprogramming;human-style theorem proving using PVS;a hybrid approach to verifying liveness in a symmetric multi processor;programs in LP and in COQ;ML programming in constructive type theory;possibly infinite sequences in theorem provers;proof normalization for a first-order formulation of higher-order logic;using a PVS embedding of CSP to verify authentication protocols;verifying the accuracy of polynomial approximations in HOL;a full formalisation of rr-calculus theory in the calculus of constructions;rewriting, decision procedures and lemma speculation for automated hardware verification;refining reactive systems in HOL using action systems;on formalization of bicategory theory;towards an object-oriented progification language;verification for robust specification;a theory of structured model-based specifications in isabelle/HOL;proof presentation for isabette;derivation and use of induction schemes in higher-order logic;higher order quotients and their implementation in isabelle HOL;type classes and overloading in higher-order logic and a comparative study of Coq and HOL.
As model-based formal methods (e.g. VDM, Z) are becoming popular for the development of safety-critical and complex systems in industry, automatic transformation from formal specifications to programs is an ideal and ...
详细信息
As model-based formal methods (e.g. VDM, Z) are becoming popular for the development of safety-critical and complex systems in industry, automatic transformation from formal specifications to programs is an ideal and efficient approach to software production. However, it is impossible in general for this transformation to be fully automatic, because the language of first order logic used for specification is not decidable. this paper uses VDM (Vienna Development Method) as an example to investigate this difficulty, and proposes an approach to address the problem. Rules for automatically transforming abstract level VDM specifications are described and further transformation at a detailed level is discussed. Finally, further work towards the construction of a rule-based software system to support the transformation from VDM specifications to programs in general is addressed.
暂无评论