8 research outputs found

    Monotonicity and Persistence in Preferential Logics

    Full text link
    An important characteristic of many logics for Artificial Intelligence is their nonmonotonicity. This means that adding a formula to the premises can invalidate some of the consequences. There may, however, exist formulae that can always be safely added to the premises without destroying any of the consequences: we say they respect monotonicity. Also, there may be formulae that, when they are a consequence, can not be invalidated when adding any formula to the premises: we call them conservative. We study these two classes of formulae for preferential logics, and show that they are closely linked to the formulae whose truth-value is preserved along the (preferential) ordering. We will consider some preferential logics for illustration, and prove syntactic characterization results for them. The results in this paper may improve the efficiency of theorem provers for preferential logics.Comment: See http://www.jair.org/ for any accompanying file

    Essays on endogeneity and parameter heterogeneity in cross-section and panel data..

    Get PDF
    In mijn doctoraatsthesis, beschouw ik zowel het Gecorreleerde Willekeuri ge Coëfficiënt (Correlated Random Coefficient - CRC) model als een dynam isch panel-data model. Het CRC model is een willekeurig coëfficiënten-model met als essentieel kenmerk de mogelijke correlatie tussen regressoren en coëfficiënten. Wan neer de constante term eveneens met een willekeurige en gecorreleerde co ëfficiënt wordt geassocieerd, omvat het CRC model standaardmodellen met endogene regressoren. In een eerste hoofdstuk ontwikkel ik een schatter voor het lineaire CRC model die een uitbreiding is Garens (1984) Selectivity Bias Methode. In vergelijking met deze laatste breid ik de uitkomst-vergelijking uit met meer termen. In een tweede hoofdstuk bespreek ik semiparametrische schatting van een lineair CRC model (Heckman en Vytlacil (1998)) met één endogene 'treatme nt' variabele en één gecorreleerde coëfficiënt. In een eerste stap wordt de endogene regressor geschat in functie van een aantal exogene determi nanten. In de uitkomst-vergelijking worden twee niet-gespecificeerde fun cties van de residuen van de hulp-vergelijking opgenomen, waarvan er één vermenigvuldigd wordt met de endogene variabele. Ik schat deze onbekend e functies door middel van reeks-regressie, wat resulteert in wortel-N-c onsistente schatters voor de gemiddelde 'treatment' parameter. Door gebr uik te maken van Heckman's (1976) aanpak van steekproef-selectie en getr unceerde of gecensureerde afhankelijken, en van gegeneraliseerde residue n (Gouriéroux et al. (1987)), is deze aanpak ook toepasbaar voor discret e endogene variabelen. Een derde paper, tenslotte, onderzoekt schattingsmethodes voor het CRC m odel wanneer er panel-gegevens beschikbaar zijn. Dit laat toe het gemidd elde 'treatment' effect te schatten door IV zoals beschreven in Wooldrid ge (2003), gebruik makend van instrumenten zoals Hausman en Taylor (1981 ). Mijn werk met dynamische panel-gegevens concentreert zich op de ontwikke ling van eenheidsworteltests wanneer de tijds-dimensie van het panel kle in is. De voorgestelde test breidt de Harris en Tzavalis (1998) test uit tot modellen met AR(1) fouten-termen. Ik toon aan dat de asymptotische verdeling (voor toenemende N en vaste T) van de test statistieken de nor maal-verdeling is. Heterogene initiële condities en heterogene drift in het data genererend proces worden opgevangen door 'fixed effects' en ind ividu-specifieke lineaire trends in de regressie op te nemen. Deze proce dure vertekent de kleinste kwadraten schatter van de auto-regressieve pa rameters asymptotisch (voor toenemende N en vaste T), maar ik leid een c orrectie af voor deze vertekening.Heterogeneity; Panel data; Data;

    Logical tools for handling change in agent-based systems

    Full text link
    We give a unified approach to various results and problems of nonclassical logic

    International Navigation Market

    Get PDF
    Economic record of human society in the last period has involved an unprecedented growth of world trade, trafficking of basic raw materials needed for industry and agriculture, and trade in industrial products or food. To the huge volume of movement of goods, shipping takes back the role of first order both quantitatively as well as efficiency. This situation is encouraged by factors such as diversification of trade, number of participants in this process and the increasingly complex international trade

    International Navigation Market

    Get PDF
    Economic record of human society in the last period has involved an unprecedented growth of world trade, trafficking of basic raw materials needed for industry and agriculture, and trade in industrial products or food. To the huge volume of movement of goods, shipping takes back the role of first order both quantitatively as well as efficiency. This situation is encouraged by factors such as diversification of trade, number of participants in this process and the increasingly complex international trade
    corecore