996 resultados para KE tableaux


Relevância:

60.00% 60.00%

Publicador:

Resumo:

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we present a first-order cut-based abduction method, which has KE-tableaux as its underlying inference system. This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem. After demonstrating the correctness of the method, we show how this method can be dynamically iterated in a process that leads to the construction of non-analytic first-order proofs and, in some terminating cases, to refutations as well.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Contient : I園林午夢Yuan lin wu meng.Songe de midi dans le bosquet ; II圍棋馬局Wei qi ma ju.L'échiquier ; III西廂摘句骰譜Xi xiang zhe ju tou pu.Tableaux explicatifs des parties de dés du Xi xiang ji ; IV錢塘夢Qian tang meng.Songe de Qian tang ; V會眞記Hui zhen ji.Histoire du portrait ; VI李卓吾先生(alias 卓老)批㸃西廂記眞本Li zhuo wu xian sheng (alias tcho lao) pi dian xi xiang ji zhen ben.Le Xi xiang ji (Histoire du pavillon occidental), ponctué par Li Zhuo wu ; VII新校琵琶記始末Xin jiao pi pa ji shi mo.Le Pi pa ji (Histoire du luth), édition revue

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The data-oriented empirical research on the Chinese adverb “ke” has led to the conclusion that the semantics of the word as a modal adverb is always two-fold: it marks both “contrast” and “emphasis”. “Adversativity” as used in literature on “ke” is but one type of contrast marked by “ke”. Other types of contrast marked by “ke” in declarative sentences include: a) what is assumed by the hearer and what the truth of a matter is; b) what the sentence literally talks about and what it also implicitly conveys; and c) the original wishful nature of the stated action and its final realization. In all declarative sentences, what the adverb emphasizes is the “factuality” of what is stated. Chinese Abstract [提要] 对外汉语教学的实践表明,汉语副词“可”是教学中的难点,这跟我们对其语义内涵缺乏全面准确的认识有关。为了全面揭示副词“可”的核心语义,本作者以电视连续剧《渴望》前二十集为主要语料,并结合其他一些电视剧、电视节目以及文献里已有的语料,对出现在各种语境中的“可”进行了大量的考察和归纳性研究。研究结果表明,作为语气副词的“可”其核心语义不是单一的,它总是在标示“对比”(即“不同”)的同时表示强调。它所强调的是所述内容的“事实性”或“终然性”。由于篇幅所限,本文仅对陈述句中的语气副词“可”加以讨论

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The possibilities of digital research have altered the production, publication and use of research results. Academic research practice and culture are changing or have already been transformed, but to a large degree the system of academic recognition has not yet adapted to the practices and possibilities of digital research. This applies especially to research data, which are increasingly produced, managed, published and archived, but play hardly a role yet in practices of research assessment. The aim of the workshop was to bring experts and stakeholders from research institutions, universities, scholarly societies and funding agencies together in order to review, discuss and build on possibilities to implement the culture of sharing and to integrate publication of data into research assessment procedures. The report 'The Value of Research Data - Metrics for datasets from a cultural and technical point of view' was presented and discussed. Some of the key finding were that data sharing should be considered normal research practice, in fact not sharing should be considered malpractice. Research funders and universities should support and encourage data sharing. There are a number of important aspects to consider when making data count in research and evaluation procedures. Metrics are a necessary tool in monitoring the sharing of data sets. However, data metrics are at present not very well developed and there is not yet enough experience in what these metrics actually mean. It is important to implement the culture of sharing through codes of conducts in the scientific communities. For further key findings please read the report.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

On 23-24 September 2009 an international discussion workshop on “Main Drivers for Successful Re-Use of Research Data” was held in Berlin, prepared and organised by the Knowledge Exchange working group on Primary Research Data. The main focus of the workshop was on the benefits, challenges and obstacles of re-using data from a researcher’s perspective. The use cases presented by researchers from a variety of disciplines were supplemented by two key notes and selected presentations by specialists from infrastructure institutions, publishers, and funding bodies on national and European level. Researchers' perspectives The workshop provided a critical evaluation of what lessons have been learned on sharing and re-using research data from a researcher’s perspective and what actions might be taken on to still improve the successful re-use. Despite the individual differences characterising the diverse disciplines it became clear that important issues are comparable. Combine forces to support re-use and sharing of data Apart from several technical challenges such as metadata exchange standards and quality assurance it was obvious that the most important obstacles to re-using research data more efficiently are socially determined. It was agreed that in order to overcome this problem more efforts should be made to rise awareness and combine forces to support re-using and sharing of research data on all levels (researchers, institutions, publishers, funders, governments).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A Knowledge Exchange workshop took place in March 2010 to bring together technical experts working in partner projects collecting usage statistics including PIRUS2, OAstatistik and SURFsure projects. Experts from other related projects (RePec and NeeO) were also involved. Following the workshop, experts came to the conclusion that it would be valuable for institutions in all four Knowledge Exchange partner countries as well as countries outside of KE, to have an agreed set of guidelines which could be used when collecting and comparing data on usage statistics. This work connects with work already planned in projects already funded in three of the countries. Together they have set up a set of guidelines which will be tested and refined by Autumn 2010. An element in these guidelines is an agreed robotlist. This list extends on the COUNTER list of robots which should be excluded when counting downloads.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cette étude examine deux copies de la "Vie et Passion de Jésus Christ" conservées par la Cinémathèque suisse avec une première préoccupation de type philologique qui conduit à prendre la mesure de l'autonomisation de chacun des "tableaux" composant le film et de l'hétérogénéité de ce dernier. Puis les constats émis à propos du support matériel sont articulés avec une réflexion d'ordre esthétique qui dégage l'importance de l'"effet-tableau" inscrivant cette production filmique dans une généalogie plus large. Le cinéma étant alors le lieu de convergences entre diverses séries culturelles, l'article envisage les liens entre la production Pathé et une pratique jusqu'ici peu discutée dans ce contexte, celle du tableau vivant. This article is a study of two copies of the "Life and Passion of Jesus Christ" held at the Cinemathèque suisse. Our first, broadly philological, concern is to recognise the degree of autonomy of each of the "tableaus" that make up the film, thus establishing the latter's heterogeneous composition. Secondly, adopting a more aesthetic approach, we discuss the importance of the tableau-effect, placing this kind of film production in a wider genealogical context. Given that cinema was at the time a meeting place for different cultural sequences, this article the examines the links between Pathe films and the "tableau vivant", a practice that until now has been rarely discussed in this regard.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Collection : Théâtre contemporain illustré ; 335e livraison

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Collection : Théâtre contemporain illustré ; 335e livraison