A way of introducing simple (finite) set designations and operations as firstclass objects of an (unrestricted) logicprogramming language is discussed from both the declarative and the operational semantics viewpoint...
详细信息
Reasoning with temporal information is essential in Artificial Intelligence. We consider a knowledge base where the internal representation language deals with temporally qualified propositions and constraints on the ...
详细信息
The PEP tool is a programming Environment based on Petri Nets. Sophisticated programming and verification components are embedded in a user-friendly graphical interface. The basic idea is that the programming componen...
详细信息
ISBN:
(纸本)3540627901
The PEP tool is a programming Environment based on Petri Nets. Sophisticated programming and verification components are embedded in a user-friendly graphical interface. The basic idea is that the programming component allows the user to design concurrent algorithms in an easy-to-use imperative language, and that the PEP system then generates Petri nets from such programs in order to use Petri net theory for simulation and verification purposes. The main focus of this paper is the reference component which represents the bridge between these two worlds. We integrate references in the formal semantics and present some of the provided features. Among others the simulation of a parallel program can be triggered through the simulation of a Petri net. Program formulae can be transformed automatically into net formulae which can then be an input for the verification component. PEP has been implemented on Solaris 2.x, SunOS 4.1.x and Linux. Ftp-able versions are available via www. ***/similar to pep.
Drawing on experience gained over a series of distributed knowledge base and database projects, we argue for the utility of an expressive quantified constraint language for the Semantic Web logic layer. Our Constraint...
详细信息
This paper investigates techniques for formalizing and implementing types in the temporal logicprogramming language MSVL, which is an executable subset of Projection Temporal logic. To this end, the data domain of MS...
详细信息
Our work is driven by the hypothesis that for a program to answer questions, explain the answers, and engage in a dialog just like a human does, it must have an explicit representation of knowledge. Such explicit repr...
详细信息
Our work is driven by the hypothesis that for a program to answer questions, explain the answers, and engage in a dialog just like a human does, it must have an explicit representation of knowledge. Such explicit representations occur naturally in many situations such as engineering designs created by engineers, a software requirement created in unified modeling language or a process flow diagram for a manufacturing process. Automated approaches based on natural language processing have progressed on tasks such as named entity recognition, fact extraction and relation learning. Use of automated methods can be problematic in situations where the conceptual distinctions used by humans for reasoning are not directly expressed in natural language or when the representation must be used to drive a high fidelity simulation. In this paper, we report on our effort to systematically curate a knowledge base for substantial fraction of text in a biology textbook [26]. While this experience and the process is interesting on its own, three aspects can be especially instructive for future development of knowledge bases by both manual and automatic methods: (1) Consider imposing a simplifying abstract structure on natural language sentences so that the surface form is closer to the target logical form to be extracted. (2) Adopt an upper ontology that is strongly motivated and influenced by natural language. (3) Develop a set of guidelines that captures how the conceptual distinctions in the ontology may be realized in natural language. Since the representation created by this process has been quite effective for answering questions and producing explanations, it gives a concrete target for what information should be extracted by the automated methods.
The proceedings contain 28 papers. The special focus in this conference is on Space Reduction Techniques and Space Reduction Techniques. The topics include: Hardware and software synthesis, optimization, and verificat...
ISBN:
(纸本)3540627901
The proceedings contain 28 papers. The special focus in this conference is on Space Reduction Techniques and Space Reduction Techniques. The topics include: Hardware and software synthesis, optimization, and verification from esterel programs;combining partial order and symmetry reductions;space efficient reachability analysis through use of pseudo-root states;the reference component of pep;a tool to support formal reasoning about computer languages;the term processor generator kimwitu;the unifying power of polymorphism;a tableau system for linear-time temporal logic;model-checking for a subclass of event structures;fictitious clock as an abstraction of dense time;a flexible toolset for monadic second-order logic;a brief introduction to coloured petri nets;formal verification of statecharts with instantaneous chain reactions;compositional state space generation from lotos programs;syntactic detection of process divergence and non-local choice in message sequence charts;an automata based verification environment for mobile processes;compositional performance analysis;incremental development of deadlock-free communicating systems;automatic synthesis of specifications from the dynamic observation of reactive programs;visual verification of reactive systems;theorem prover support for the refinement of stream processing functions;tables, types, and model checking;test generation for intelligent networks using model checking;mechanically verified self-stabilizing hierarchical algorithms and the bounded retransmission protocol must be on time.
When Prolog programs that manipulate lists to manage a collection of resources are rewritten to take advantage of the linear logic resource management provided by the logicprogramming language Lolli, they can obtain ...
详细信息
Software configuration management (SCM) seeks to control the evolution of software systems. In this paper, we introduce a new object-oriented model of SCM that is based on the earlier research results of the SAGA proj...
详细信息
暂无评论