http://hdl.handle.net/10174/283 2026-04-09T09:42:49Z http://hdl.handle.net/10174/12553 Title: Clinical Practice Knowledge Acquisition and Interrogation using Natural Language Authors: Mendes, David Abstract: The scientific concepts, methodologies and tools in the Knowledge Representation (KR) sub- domain of applied Artificial Intelligence (AI) came a long way with enormous strides in recent years. The usage of domain conceptualizations that are Ontologies is now powerful enough to aim at computable reasoning over complex realities. One of the most challenging scientific and technical human endeavors is the daily Clinical Prac- tice (CP) of Cardiovascular (CV) specialty healthcare providers. Such a complex domain can benefit largely from the possibility of clinical reasoning aids that are now at the edge of being available. We research into a complete end-to-end solid ontological infrastructure for CP knowledge represen- tation as well as the associated processes to automatically acquire knowledge from clinical texts and reason over it. 2014-12-03T00:00:00Z http://hdl.handle.net/10174/4187 Title: Emergência e Colapso de Poder Authors: Coelho, Francisco Abstract: Esta tese defende o aprofundamento da investigação sobre as noções nucleares para os modelos de deliberação e controlo de agentes inteligentes: Primeiro, o poder individual, definido como o conjunto de aptidões do agente, no que diz res- peito à acção, a vontade, a que compete coordenar os empenhos deste e também o conhecimento sobre o ambiente, construído autonomamente pelo agente. A decisão, para ser efectiva, necessita de processar e construir, em tempo útil, a possível informação relevante. Ao agente inteligente exige-se a habilidade de interpretar o seu ambiente, que será dinâmico e imprevisível. Posteriormente este deve usar essa informação de forma a escolher, de entre as possibilidades consideradas, o curso de acção de que resultará a realização dos seus objectivos dominantes. Assim, no trabalho aqui exposto, começou-se por observar as consequências que agentes com diferentes aptidões —isto é, diferindo no seu poder individual— provocam na dinâmica das sociedades em que se encontram. Embora as conclu- sões dessas observações preliminares sejam intuitivamente óbvias, atendeu-se à fundamentação experimental dessa intuição. Uma vez observada a importância (pelo menos causal) do poder individual, passou-se à investigação dos seus ele- mentos constituintes, quando observados na arquitectura do agente. Nesse ponto a investigação bifurcou-se, tendo-se tentado obter, na diversidade, uma perspectiva abrangente sobre o poder individual e a vontade, e de como estes dois temas poderão contribuir para a realização de melhores agentes inteligentes. Procurou-se então compreender, por um lado, qual é a competência da vontade e de como esta se relaciona com o poder individual. Dessa tarefa resultou uma proto-arquitectura do processo de decisão que permite replicar controlos, quer reactivos quer deliberativos. Por outro lado, considerou-se também que o conhecimento de que o agente dispõe é um dos elementos mais influentes no seu comportamento. Em particular, será importante que um agente saiba, dada uma determinada série temporal, qual a dificuldade em projectar possíveis valores futuros. Do estudo deste assunto resultou uma medida da qualidade predictiva de séries temporais. Adicionalmente, esta medida também pode ser aplicada pelo investigador, desta forma estendendo as ferramentas de análise de dados. Em terceiro lugar, olhando para a mente de um agente como um sistema di- nâmico, em que diferentes estados mentais aparecem, evoluem e eventualmente desaparecem, prolongou-se essa identificação para a noção de meta agente, isto é, um agente cujo ambiente (que percepciona e manipula) é, por sua vez, o es- paço mental de um outro agente. Foi então conduzida uma experiência, baseada em controlos reactivos, onde um meta agente recupera a funcionalidade do seu agente contentor, supostamente danificado. Por fim, integraram-se os percursos de investigação sobre o poder individual: a estruturação do controlo do agente pela meta agência, a gestão dos empenhos pela vontade e a construção de conhecimento pela qualidade predictiva. Para tal criou-se um cenário virtual em que duas equipas, uma de referência —com agen- tes de controlo reactivo— e outra de teste, competem pelo melhor desempenho. A equipa de teste dá corpo à pretendida integração: os seus agentes são contro- lados por meta agência, os respectivos empenhos são geridos pela vontade e a informação proveniente do ambiente é processada, com o contributo da qualidade predictiva, para a construção de conhecimento sobre este. 2005-01-01T00:00:00Z http://hdl.handle.net/10174/2599 Title: Distributed Knowledge Bases: a Proposal for Argumentation-based Semantics with Cooperation Authors: Carnevale de Almeida, Iara Abstract: The main objective of this dissertation is to define an argumentation-based negotiation framework for distributed knowledge bases. Knowledge bases are modeling over a multi-agent setting (MAS) such that each agent possibly has an independent or overlapping knowledge base. This dissertation proposes that agents evaluate arguments to obtain a consensus about a common knowledge by both proposing arguments or trying to build opposing arguments against them. Moreover, this proposal deals with incomplete knowledge (i.e. partial arguments) and so a cooperation process grants arguments to achieve knowledge completeness. Therefore, a negotiation of an agent's belief is seen as an argumentation-based process with cooperation; both cooperation and argumentation are seen as interlaced processes. Furthermore, each agent Ag has both set Argue of argumentative agents and set Cooperate of cooperative agents; every agent Ag must reach a consensus on its arguments with agents in Argue, and Ag may ask for arguments from agents in Cooperate to complete its partial arguments. The argumentation-based negotiation proposal allows the modeling a hierarchy of knowledge bases representing, for instance, a business's organization or a taxonomy of some subject, and also an MAS where each agent represents "acquired knowledge" in a different period of time. Furthermore, any agent in a MAS can be queried regarding the truth value of some belief. It depends on from which agent such a belief is inferred, and also what the specification in both Argue and Cooperate is, given the overall agents in the MAS. However, such an answer will always be consistent/paraconsistent with agents' knowledge base involved. This dissertation proposes a (declarative and operational) argumentation semantics for an agent's knowledge base. Furthermore, it proposes a declarative argumentation-based negotiation semantics for a multi-agent setting, which uses most of the definitions from the former semantics. 2011-01-01T00:00:00Z http://hdl.handle.net/10174/2542 Title: Temporal reasoning in a logic programming language with modularity Authors: Nogueira, Vitor Abstract: Current Organization Information Systems (OIS) deal with more and more information that is time dependent. In this work we provide a framework to construct and maintain Temporal OIS. This framework builds upon a logical language called Temporal Contextual Logic Programming that deeply integrates modularity with temporal reasoning making the usage of a module time dependent. This language is an evolution of another one, also introduced in this thesis, that combines Contextual Logic Programming with Temporal Annotated Constraint Logic Programming where modularity and time are orthogonal features. Both languages are formally discussed and illustrated. 2008-01-01T00:00:00Z