Database repairs with answer set programming

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Repairs of databases with null values

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Management of industrial wastewater discharges in river basins through agents'argumentation

La gestió de l'aigua residual és una tasca complexa. Hi ha moltes substàncies contaminants conegudes però encara moltes per conèixer, i el seu efecte individual o col·lgectiu és difícil de predir. La identificació i avaluació dels impactes ambientals resultants de la interacció entre els sistemes naturals i socials és un assumpte multicriteri. Els gestors ambientals necessiten eines de suport pels seus diagnòstics per tal de solucionar problemes ambientals. Les contribucions d'aquest treball de recerca són dobles: primer, proposar l'ús d'un enfoc basat en la modelització amb agents per tal de conceptualitzar i integrar tots els elements que estan directament o indirectament involucrats en la gestió de l'aigua residual. Segon, proposar un marc basat en l'argumentació amb l'objectiu de permetre als agents raonar efectivament. La tesi conté alguns exemples reals per tal de mostrar com un marc basat amb agents que argumenten pot suportar diferents interessos i diferents perspectives. Conseqüentment, pot ajudar a construir un diàleg més informat i efectiu i per tant descriure millor les interaccions entre els agents. En aquest document es descriu primer el context estudiat, escalant el problema global de la gestió de la conca fluvial a la gestiódel sistema urbà d'aigües residuals, concretament l'escenari dels abocaments industrials. A continuació, s'analitza el sistema mitjançant la descripció d'agents que interaccionen. Finalment, es descriuen alguns prototips capaços de raonar i deliberar, basats en la lògica no monòtona i en un llenguatge declaratiu (answer set programming). És important remarcar que aquesta tesi enllaça dues disciplines: l'enginyeria ambiental (concretament l'àrea de la gestió de les aigües residuals) i les ciències de la computació (concretament l'àrea de la intel·ligència artificial), contribuint així a la multidisciplinarietat requerida per fer front al problema estudiat. L'enginyeria ambiental ens proporciona el coneixement del domini mentre que les ciències de la computació ens permeten estructurar i especificar aquest coneixement.

Intralogistik als Anwendungsgebiet der Antwortmengenprogrammierung – Potenzialanalyse

Der Stellenwert der Intralogistik ist in den vergangenen Jahren aufgrund eines zunehmend beschleunigten und globalen Marktes deutlich gestiegen. Die Intralogistik bietet Problemstellungen, deren Lösung respektive Lösungsunterstützung weiterer Forschung bedarf. Antwortmengenprogrammierung auf der anderen Seite bietet hervorragende Eigenschaften zur Lösung komplexer Probleme, deren Lösung eine enge Verknüpfung mit vorhandenem Wissen erfordert. In diesem Artikel wird das Paradigma der Antwortmengenprogrammierung mit den Problemstellungen der Intralogistik in einer Potenzialanalyse abgeglichen.

Neuroleptic management of schizophrenia: A survey and commentary on Australian psychiatric practice

Objective: We seek to assess Australian psychiatrists' views and practices concerning provision of neuroleptic medication to patients with schizophrenia, and to determine whether such management strategies are likely to have changed over time and the extent to which they correspond to published treatment guidelines. Method: A sample of 139 psychiatrists based in three Australian capital cities was derived, with respondents completing a brief questionnaire by choosing from a limited-option answer set. Co-authors of this paper comment on the extent to which responses are in line with contemporary recommendations driven by experts or empirical studies. Results: Overall, survey findings indicate that there has been considerable change in clinical practice over the last decade and provide some estimate of the extent to which Australian management practices are congruent with contemporary recommendations. We identify a number of issues of concern (more in relation to dose levels of neuroleptic medication rather than treatment duration) revealed by survey data and make recommendations for addressing a number of practical clinical issues. Conclusions: As this report focuses on central issues involved in managing schizophrenia, and integrates a number of treatment guidelines, we suggest that it should be of assistance for practice review by clinicians.

MA230exam99pdf

Exam questions and solutions in PDF

MA230exam98

Exam questions and solutions in LaTex

MA230exam99

Exam questions and solutions in LaTex

MA336exam00pdf

Exam questions and solutions in PDF

MA336exam01

Exam questions and solutions in LaTex

MA336exam01pdf

Exam questions and solutions in PDF

MA336exam00

Exam questions and solutions in LaTex

MA230exam98pdf

Exam questions and solutions in PDF

Cross ontology query answering on the semantic web:an initial evaluation

PowerAqua is a Question Answering system, which takes as input a natural language query and is able to return answers drawn from relevant semantic resources found anywhere on the Semantic Web. In this paper we provide two novel contributions: First, we detail a new component of the system, the Triple Similarity Service, which is able to match queries effectively to triples found in different ontologies on the Semantic Web. Second, we provide a first evaluation of the system, which in addition to providing data about PowerAqua's competence, also gives us important insights into the issues related to using the Semantic Web as the target answer set in Question Answering. In particular, we show that, despite the problems related to the noisy and incomplete conceptualizations, which can be found on the Semantic Web, good results can already be obtained.

Reconciling OWL and non-monotonic rules for the semantic web

We propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at the same time encompassing some of the most prominent monotonic and nonmonotonic rule languages, in particular Datalog extended with the answer set semantics. Our proposal could be considered a substantial contribution towards fulfilling the quest for a unifying logic for the Semantic Web. As a case in point, two non-monotonic extensions of description logics considered to be of distinct expressiveness until now are covered in our proposal. In contrast to earlier such proposals, our language has the "look and feel" of a description logic and avoids hybrid or first-order syntaxes. © 2012 The Author(s).