Um modelo formal para a Quinta Disciplina

Detalhes bibliográficos
Autor(a) principal: Silva, Lourival Paulino da
Data de Publicação: 2004
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/
Resumo: Neste trabalho é apresentada uma aplicação de um método formal desenvolvido pela área de Engenharia de software para produzir um modelo formal para uma teoria discursiva. A teoria estudada neste trabalho é denominada de 'A Quinta Disciplina', de Peter Senge. Esta teoria se insere no contexto de um paradigma de teorias administrativas denominado de Aprendizagem Organizacional, e provocou grande interesse tanto da área acadêmica quanto de empresas em geral. Como base para a construção desse modelo foi usado o arcabouço formal para Sistemas Multiagentes (SMA) denominado de SMART. Desta forma, o modelo formal para a teoria de Senge é construído num contexto de SMA, ou seja, definindo-se formalmente uma organização composta por agentes e que obedece aos requisitos apresentados pela teoria da Quinta Disciplina. Análise baseadas nesse modelo evidenciam a importância que algumas características individuais dos agentes apresentam na teoria de Senge, tais como:honestidade e tenacidade. Adicionalmente, é apresentado um estudo de caso baseado nesse modelo formal envolvendo operações simplificadas de uma lanchonete fictícia, mostrando que diferentes tipos de agentes, tanto humanos quanto artificiais, podem ser modelados.Este uso de métodos formais para a modelagem de sistemas em geral apresenta novas perspectivas e revela novas potencialidades, ainda não exploradas, em relação ao uso destes métodos.
id USP_bf9416e9bd670edc47362974d9e45a91
oai_identifier_str oai:teses.usp.br:tde-20210729-134959
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Um modelo formal para a Quinta Disciplinanot availableInteligência ArtificialNeste trabalho é apresentada uma aplicação de um método formal desenvolvido pela área de Engenharia de software para produzir um modelo formal para uma teoria discursiva. A teoria estudada neste trabalho é denominada de 'A Quinta Disciplina', de Peter Senge. Esta teoria se insere no contexto de um paradigma de teorias administrativas denominado de Aprendizagem Organizacional, e provocou grande interesse tanto da área acadêmica quanto de empresas em geral. Como base para a construção desse modelo foi usado o arcabouço formal para Sistemas Multiagentes (SMA) denominado de SMART. Desta forma, o modelo formal para a teoria de Senge é construído num contexto de SMA, ou seja, definindo-se formalmente uma organização composta por agentes e que obedece aos requisitos apresentados pela teoria da Quinta Disciplina. Análise baseadas nesse modelo evidenciam a importância que algumas características individuais dos agentes apresentam na teoria de Senge, tais como:honestidade e tenacidade. Adicionalmente, é apresentado um estudo de caso baseado nesse modelo formal envolvendo operações simplificadas de uma lanchonete fictícia, mostrando que diferentes tipos de agentes, tanto humanos quanto artificiais, podem ser modelados.Este uso de métodos formais para a modelagem de sistemas em geral apresenta novas perspectivas e revela novas potencialidades, ainda não exploradas, em relação ao uso destes métodos.not availableBiblioteca Digitais de Teses e Dissertações da USPSilva, Flávio Soares Corrêa daSilva, Lourival Paulino da2004-04-12info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2021-07-31T19:10:23Zoai:teses.usp.br:tde-20210729-134959Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-07-31T19:10:23Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Um modelo formal para a Quinta Disciplina
not available
title Um modelo formal para a Quinta Disciplina
spellingShingle Um modelo formal para a Quinta Disciplina
Silva, Lourival Paulino da
Inteligência Artificial
title_short Um modelo formal para a Quinta Disciplina
title_full Um modelo formal para a Quinta Disciplina
title_fullStr Um modelo formal para a Quinta Disciplina
title_full_unstemmed Um modelo formal para a Quinta Disciplina
title_sort Um modelo formal para a Quinta Disciplina
author Silva, Lourival Paulino da
author_facet Silva, Lourival Paulino da
author_role author
dc.contributor.none.fl_str_mv Silva, Flávio Soares Corrêa da
dc.contributor.author.fl_str_mv Silva, Lourival Paulino da
dc.subject.por.fl_str_mv Inteligência Artificial
topic Inteligência Artificial
description Neste trabalho é apresentada uma aplicação de um método formal desenvolvido pela área de Engenharia de software para produzir um modelo formal para uma teoria discursiva. A teoria estudada neste trabalho é denominada de 'A Quinta Disciplina', de Peter Senge. Esta teoria se insere no contexto de um paradigma de teorias administrativas denominado de Aprendizagem Organizacional, e provocou grande interesse tanto da área acadêmica quanto de empresas em geral. Como base para a construção desse modelo foi usado o arcabouço formal para Sistemas Multiagentes (SMA) denominado de SMART. Desta forma, o modelo formal para a teoria de Senge é construído num contexto de SMA, ou seja, definindo-se formalmente uma organização composta por agentes e que obedece aos requisitos apresentados pela teoria da Quinta Disciplina. Análise baseadas nesse modelo evidenciam a importância que algumas características individuais dos agentes apresentam na teoria de Senge, tais como:honestidade e tenacidade. Adicionalmente, é apresentado um estudo de caso baseado nesse modelo formal envolvendo operações simplificadas de uma lanchonete fictícia, mostrando que diferentes tipos de agentes, tanto humanos quanto artificiais, podem ser modelados.Este uso de métodos formais para a modelagem de sistemas em geral apresenta novas perspectivas e revela novas potencialidades, ainda não exploradas, em relação ao uso destes métodos.
publishDate 2004
dc.date.none.fl_str_mv 2004-04-12
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/
url https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090927561539584