Um modelo formal para a Quinta Disciplina
Autor(a) principal: | |
---|---|
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 |