We present the basic framework of a logic of actions and plans de ned in terms of modal logic combined with a notion of dependence. The latter is used as a weak causal connection between actions and literals. In this paper we focus on the frame problem and demonstrate how it can be solved in our framework in a simple and monotonic way. We give the semantics, and associate an axiomatics and a decision procedure to it. The decision procedure is based on a sound and complete tableau method with single step rules to treat dependence. We show how it can be used to generate plans. Our solution is formally assessed by a translation of Gelfond and Lifschitz' logic A. We brie y sketch the second part of the paper, showing how we can go beyond A by some examples involving nondeterminism and rami cations.
Este artigo apresenta o resultado de um experimento pratico do Pensamento Computacional aplicado em uma Escola Municipal do Ensino Fundamental I. Exercitar nos alunos a capacidade de resolver problemas, exercer protagonismo e autoria na vida pessoal e coletiva foram fatores que motivaram a pesquisa, a qual teve como objetivos adicionais, sondar o grau de interesse dos alunos na proposta e analisar a capacidade de resolução dos problemas apresentados. Como critérios para avaliação, utilizou-se o desempenho na execução das atividades, as possíveis alterações de comportamento e o engajamento dos alunos com a proposta. Os resultados demonstram o interesse por parte dos alunos e a pertinência das atividades na faixa etária proposta.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.