Domain experts think and reason at a high level of abstraction when they solve problems in their domain of expertise. We present the design and motivation behind a domain specific language, called phi LOG, to enable b...
详细信息
Domain experts think and reason at a high level of abstraction when they solve problems in their domain of expertise. We present the design and motivation behind a domain specific language, called phi LOG, to enable biologists to program solutions to phylogenetic inference problems at a very high level of abstraction. The implementation infrastructure (interpreter, compiler, debugger) for the DSL is automatically obtained through a software engineering framework based on Denotational Semantics and logicprogramming.
We describe a Mass Detection Tool (MDT) for early detection of insurance fraud. Ethnography was used to specify needs and process, capture expertise, and design an interface for triggering fraud indicators while captu...
详细信息
ISBN:
(纸本)1581136374
We describe a Mass Detection Tool (MDT) for early detection of insurance fraud. Ethnography was used to specify needs and process, capture expertise, and design an interface for triggering fraud indicators while capturing unexpected anomalies detected by claims handlers. The MDT uses a dynamic Bayesian Belief Network of fraud indicators, whose weights are determined by how predictive each indicator is of specific types of fraud. The system uses automated knowledge updating to keep pace with dynamically changing fraud, adding new indicators that emerge from patterns of repeated anomalies.
The paper presents a spatial logic, called PISL-2D, and an implementation of its inference engine, called SpInE. The approach can be used to represent spatial knowledge in a 2-dimensional space using a set of qualitat...
详细信息
The paper presents a spatial logic, called PISL-2D, and an implementation of its inference engine, called SpInE. The approach can be used to represent spatial knowledge in a 2-dimensional space using a set of qualitative spatial relations. The formalism is based on a point-interval logic and a graphical representation, called Point Graphs. The graph representation is used by SpInE to verify and infer spatial knowledge.
The basic polarized process algebra is completed yielding as a projective limit a cpo which also comprises infinite processes. It is shown that this model serves in a natural way as a semantics for several program alg...
详细信息
The paper presents a spatial logic, called PISL-2D, and an implementation of its inference engine, called SpInE. The approach can be used to represent spatial knowledge in a 2-dimensional space using a set of qualitat...
详细信息
The paper presents a spatial logic, called PISL-2D, and an implementation of its inference engine, called SpInE. The approach can be used to represent spatial knowledge in a 2-dimensional space using a set of qualitative spatial relations. The formalism is based on a point-interval logic and a graphical representation, called Point Graphs. The graph representation is used by SpInE to verify and infer spatial knowledge.
We show how several novel tools in logicprogramming for AI (namely continuation-based linear and timeless assumptions, and datalog grammars) can assist us in producing terse treatments of difficult language processin...
详细信息
ISBN:
(纸本)076950910X
We show how several novel tools in logicprogramming for AI (namely continuation-based linear and timeless assumptions, and datalog grammars) can assist us in producing terse treatments of difficult language processing phenomena. As a proof of concept we present a concise parser for datalog grammars (logic grammars where strings are represented with numbered word boundaries rather than as lists of words) that uses assumptions and a combination of left-corner parsing and charting. We then study two test cases of this parser's application: complete constituent coordination, and error diagnosis and correction.
We show how several novel tools in logicprogramming for AI (namely, continuation based linear and timeless assumptions, and datalog grammars) can assist us in producing terse treatments of difficult language processi...
详细信息
We show how several novel tools in logicprogramming for AI (namely, continuation based linear and timeless assumptions, and datalog grammars) can assist us in producing terse treatments of difficult language processing phenomena. As a proof of concept, we present a concise parser for datalog grammars (logic grammars where strings are represented with numbered word boundaries rather than as lists of words), that uses assumptions and a combination of left-corner parsing and charting. We then study two test cases of this parser's application: complete constituent coordination, and error diagnosis and correction.
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations. Ltac, is essentially a sm...
详细信息
We describe a proof dedicated meta-language, called L tac , in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations. L tac , is essentia...
We describe a proof dedicated meta-language, called
L
tac , in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations.
L
tac , is essentially a small functional core with recursors and powerful pattern-matching operators for Coq terms but also for proof contexts. As
L
tac , is not complete, we describe an interface between
L
tac , and the full programmable meta-language of the system (Objective CAML), which is also the implementation language. This interface is based on a quotation system where we can use
L
tac ,'s syntax in ML files, and where it is possible to insert ML code in
L
tac , scripts by means of antiquotations. In that way, the two meta-languages are not opposed and we give an example where they fairly cooperate. Thus, this shows that a LCF-like system with a two-level meta-language is completely realistic.
We present a logicprogramming parsing methodology which we believe especially interesting for understanding implicit human-language structures. It records parsing state constituents through linear assumptions to be c...
详细信息
暂无评论