the connection with Markov decision processes (MDPs) is addressed. the coding of MDPs is explained as quantitative μ-formulae. Following this, the latte in incorporate rewards is discussed. Finally, the resulting ref...
详细信息
ISBN:
(纸本)0769514081
the connection with Markov decision processes (MDPs) is addressed. the coding of MDPs is explained as quantitative μ-formulae. Following this, the latte in incorporate rewards is discussed. Finally, the resulting reformulation of several existence theorems is illustrated.
Finite failure of computations plays an important role as programming construct in the logicprogramming paradigm, and it has been shown that this also extends to the case of the functional logicprogramming paradigm....
详细信息
We present a simple method for eliminating redundant searches in model generation. the method employs Boolean Constraints which are conjunctions of ground instances of clauses having participated in proofs. Boolean Co...
详细信息
Herbrand's theorem for GΔ∞, i.e., Gödel logic enriched by the projection operator Δ is proved. As a consequence we obtain a "chain normal form" and a translation of prenex GΔ∞ into (order) clau...
详细信息
ISBN:
(纸本)9783540429579
Herbrand's theorem for GΔ∞, i.e., Gödel logic enriched by the projection operator Δ is proved. As a consequence we obtain a "chain normal form" and a translation of prenex GΔ∞ into (order) clause logic, referring to the classical theory of dense total orders with endpoints. A chaining calculus provides a basis for efficient theorem proving.
A logicprogramming framework for the definition of cooperative multi-agent legal web information retrieval systems is proposed. Cooperation is achieved through the use of dialogue processing techniques, namely, the i...
详细信息
ISBN:
(纸本)1581133685
A logicprogramming framework for the definition of cooperative multi-agent legal web information retrieval systems is proposed. Cooperation is achieved through the use of dialogue processing techniques, namely, the inference of the user intentions and the existence of a pro-active system behaviour, which tries to help users in their searches. the proposed architecture has a core IR module, which accesses the legal knowledge bases, and three specialised logicprogramming agents: an agent manager that receives the user web initial requests and it establishes the connection with a specific user agent;a user agent, which is specific to each user, and it has information about the user profile and the previous interrogation context;and an agent monitor that informs the agent manager of the latest changes in the knowledge bases allowing these changes to be transmitted to all users which have one of their previous queries results changed. the logicprogramming modules were defined using dynamic logicprogramming and LUPS, a language for updates [1, 3]. the proposed framework was implemented in a Linux environment using XSB Prolog and it was applied to the legal knowledge base of the Portuguese Attorney General [15]. the evaluation results show that the integration of dialogue processing techniques with a legal IR system, allow an improvement of the system, namely, decreasing the average number of interactions per query. Copyright 2001 ACM.
In this paper we push forward the idea of applying the abstract interpretation concepts to the problem of verification of programs. We consider the theory of abstract verification as proposed in [5] and we show how it...
详细信息
An overview is given of a project that aims to design a domain-independent framework that allows rapid development of applications customized for specific user needs. three major components in the design are as follow...
详细信息
ISBN:
(纸本)0769514081
An overview is given of a project that aims to design a domain-independent framework that allows rapid development of applications customized for specific user needs. three major components in the design are as follows: persistent storage management;computational logic and execution environment;and methods for orchestrating computations.
Unification of concept descriptions was introduced by Baader and Narendran as a tool for detecting redundancies in knowledge bases. It was shown that unification in the small description logic FL0, which allows for co...
详细信息
the paper describes the advantages of the use of constraint logicprogramming to articulate transformation rules for multimedia presentation in combination with efficient constraint solving techniques. It demonstrates...
详细信息
logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the behaviour of a resource bounded agent. ...
详细信息
暂无评论