Modelagem de Sistemas Computacionais Complexos: Em Direção a uma Fundamentação Científica e Aplicações Tecnológicas
Resumo
Apresentamos uma visão de longo prazo em desafios científicos e tecnológicos no desenvolvimento de sistemas complexos. Levantamos diversas hipóteses de pesquisa, entre elas: (1) a fundamentação de sistemas complexos é construída sobre sólida base de ciência da computação, física e ciências naturais, lingüística, ciência cognitiva e economia; (2) o desenvolvimento de modelos corretos de sistemas complexos computacionais conduzindo a avanços tecnológicos demanda conhecimento aprofundado destas disciplinas; (3) o desenvolvimento de modelos de sistemas computacionais complexos conduzindo a avanços tecnológicos requer pesquisa interdisciplinar e novas formas de corretamente combinar resultados de pesquisa de diversas disciplinas. Descrevemos brevemente cinco linhas de pesquisa relacionadas, destacando desafios que podem levar à construção de sistemas computacionais complexos de ampla escala, cognitiva e biologicamente inspirados, com impacto nas ciências físicas, cognitivas e sociais.Referências
Antoniotti, M., Policriti, A., Ugel, N., and Mishra, B. (2003). “Model building and model checking for biochemical processes”. Cell Biochem Biophys, 38(3):271–86.
Berwick, R. and Niyogi, P. (1985) “Learning from Triggers”. Linguistic Inquiry, 27(4): 605-622.
Boldi, P., and S. Vigna (2004), “The WebGraph Framework I: Compression Techniques”, Proc. of the 13th World Wide Web Conference, p. 595-601.
Briscoe, T. (1999) “The Acquisition of Grammar in an Evolving Population of Language Agents”. Machine Intelligence 16: Elec. Trans. in Artificial Intelligence.
Chomsky, Noam (1965) Aspects of the Theory of Syntax. MIT Press.
Chomsky, Noam (1995) The Minimalist Program. MIT Press,.
Chong, L. and Ray, L.B. (2002). Whole-istic Biology. Science, 295(5560):1661
Curti, M., Degano, P., Priami, C., and Baldari, C. T. (2004). Modelling biochemical pathways through enhanced p-calculus. Theor. Comput. Sci. 325(1):111–140.
Danos, V. and Krivine, J. (2003). Formal molecular biology done in CCS-R. In Bio-Concur’03, satellite workshop of CONCUR’03, ENTCS.
Danos, V. and Krivine, J. (2004). Reversible communicating systems. In CONCUR 2004 - Concurrency Theory, volume 3170 of LNCS, pages 292–307. Springer-Verlag.
de Jong, H. (2002). Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology, 9(1):67–103.
O'Donovan, R., Burke, M., Cahill, A., Van Genabith, J., Way, A. (2004). Large-Scale Induction and Evaluation of Lexical Resources from the Penn-II Treebank. Proc. of the 42nd Annual Meeting of the Association for Computational Linguistics, p. 319-326.
Garcez, A. S. and Lamb, L.C. (2006). “A Connectionist Computational Model for Epistemic and Temporal Reasoning”. Neural Computation 18(7):1711-1738. MIT Press.
Garcia, L.A.M. and da Silva, R. (2007), “A new look about statistical modelling of financial artificial markets via multi-agent systems”. in preparation
Gaume, B. (2004). “Balades Aléatoires dans les Petits Mondes Lexicaux”. In I3 Information Interaction Intelligence , CEPADUES éd. : 39-96.
Goss, P.J.E. and Peccoud, J. (1998). “Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets”. PNAS, 95(12):6750–6755.
Gulli, A. and Signorini, A. (2005), “The indexable web is more than 11.5 billion pages”, Proc. of the 14th World Wide Web Conference, p. 902-903.
Halpern, J.Y., Harper, R., Immerman, N., Kolaitis, P., Vardi, M.Y., Vianu, V. (2001) “On the Unusual Effectiveness of Logic in Comp. Science”.Bull. Symb. Logic. 7(2):213-236.
Hinton, Geoffrey E. (2005). “What Kind of Graphical Model is the Brain?”. Proc. of the Intl. Joint Conf. on Artificial Intelligence (IJCAI-05), pp. 1765-1775.
Hoare, C.A.R. and Milner, A.J.R. (2004) (eds.) “Grand Challenges in Computing Research”. ISBN 1-902505-62-X. British Computer Society.
Ideker, T., Galitski, T., and Hood, L. (2001). A new approach to decoding life: Systems biology. Annu. Rev. Genomics Hum. Genet., 2:343–372.
Jurafsky,D. and Martin, J.H. (2000). Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition. Prentice-Hall.
Kellerman, G.A. and da Silva, R. (2007) “Statistical aspects of payoff over mean field regime in a heterogeneous population of the ultimatum players”, preprint, Elsevier.
Kumar, R., Novak, J., Raghavan, P., Tomkins, A. (2003), “On the bursty evolution of blogspace”, Proc. of the 12th World Wide Web Conference, p. 568—576.
Kumar, R., Raghavan, P., Rajagopalan, S., Sivakumar, D., Tomkins, A., Upfal, E. (2000) “Stochastic Models for the Web Graph”. Proc. of the 41st FOCS, p. 57-65.
Kumar, R., Raghavan, P., Rajagopalan, S., Tomkins, A. (1999), “Trawling the Web for Emerging Cyber Communities”. Proc. 8th World Wide Web Conference, p. 403-416.
Lamb, Luis C., Borges, R.V., Garcez, Artur S. (2007). “A Computational Cognitive Model for Temporal Synchronisation and Learning.” 22nd Conf. AAAI-07. AAAI Press.
Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., and Costantin, G. (2004) “A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment”. SIMULATION 80:273–288.
MacWhinney, B. (2000) “The CHILDES project: Tools for analyzing talk”. Erlbaum.
Manning, C. and Schütze, H. (1999). “Foundations of Statistical Natural Language Processing”. MIT Press.
Metropolis, N., Rosenbluth, A., Rosenbluth, M., Teller, A., Teller, E. (1953) “Equations of State calculations by fast computing machines”. J. Chem. Phys. 21, 1087.
Moretin, P.A. (2006) "Um curso em séries temporais financeiras", 17 SINAPE, ABE.
Pennock, D.M., Flake, G.W., Lawrence, S., Glover, E.J., Giles, C.L. (2002), “Winners don't take all: Characterizing the competition for links on the web”, PNAS 99(8): 5207-.
Pinker, S. (1984) Language Learnability and Language Development. Harvard University Press.
Pinto, M.C., Foss, L., Mombach, J.C.M., and Ribeiro, L. (2007). Modelling, property verification and behavioural equivalence of lactose operon regulation. Computers in Biology and Medicine, 37:134–148.
Pollard, C. and Sag, I.A. (1989). Information-Based Syntax and Semantics. CSLI Pub.
Raghavan, S. and Garcia-Molina, H. (2003), Representing Web Graphs, Proc. of the 19th Conference on Data Engineering. p. 405-416
Reddy, V.N. (1994). Modeling biochemical pathways: a discrete event systems approach. MS thesis, University of Maryland.
Regev, A., Panina, E.M., Silverman, W., Cardelli, L. and Shapiro, E. (2004). “Bioambients: an abstraction for biological compartments”. Theoretical Computer Science 325(1):141–167.
Richardson, M. and Domingos, P. (2006): “Markov logic networks”. Machine Learning 62(1-2): 107-136.
Sakas, W. and Fodor, J. (2001). The Structural Triggers Learner. Language Acquisition and Learnability. S. Bertolo ed., p. 172-233, Cambridge University Press,.
Samanidou, E., Zschischang, E., Stauffer, D., and Lux, T. (2007) “Agent-based models of financial markets”. Rep. Prog. Phys. 70, 409--450
da Silva, R., Bazzan, A.L.C., Baraviera, A.T., Dahmen, S.R. (2006) “Emerging collective behavior and local properties of financial dynamics in a public investment game”, Physica. A, 371, 610-626
da Silva, R., Bazzan, A.L.C., Baraviera, A.T., Dahmen, S.R. (2006), “Dynamics of a Public Investment Game: from Nearest-Neighbor Lattices to Small-World Networks”. Lecture Notes in Economics and Mathematical Systems, 584:211-233
da Silva, R. and Kellerman, G. A. (2007), “Analyzing the payoff of a heterogeneous population in the ultimatum game”. submitted to Physical Review E.
Stanley, H.E. (1971), Introduction to Phase Transitions and Critical Phenomena. Oxford University Press.
Takahashi, H., Terano, T. (2003), “Agent-Based Approach to Investors' Behavior and Asset Price Fluctuation in Financial Markets”. JASSS, 6(3).
Thagard, P. (1996). Mind: Introduction to Cognitive Science. MIT Press.
Turing, A.M. (1950). “Computing machinery and intelligence”. Mind, 59, 433-460.
Valiant, L.G. (2003). “Three problems in computer science”. J. ACM, 50(1):96-99.
Villavicencio, A. (2002) “The Acquisition of a Unification-Based Generalised Categorial Grammar”. PhD Thesis. Computer Laboratory, University of Cambridge,.
Wigner, E.P. (1960) “On the Unreasonable Effectiveness of Mathematics in the Natural Sciences.” Communications in Pure and Applied Mathematics 13:1-14.
Zambiasi, M., Presa, T.A., Buriol, L.S., Orengo, V.M. (2007) “Análise quantitativa e temporal do Wikigrafo-PT”, Anais da Escola Regional de Banco de Dados. p. 22-31.
Zhang, Y., Kordoni, V., Villavicencio, A., Idiart, M. (2006). “Automated multiword expression prediction for grammar engineering”. Proc. of the Workshop on Multiword Expressions:, p. 36–44, Sydney, Australia. Association for Computational Linguistics.
Berwick, R. and Niyogi, P. (1985) “Learning from Triggers”. Linguistic Inquiry, 27(4): 605-622.
Boldi, P., and S. Vigna (2004), “The WebGraph Framework I: Compression Techniques”, Proc. of the 13th World Wide Web Conference, p. 595-601.
Briscoe, T. (1999) “The Acquisition of Grammar in an Evolving Population of Language Agents”. Machine Intelligence 16: Elec. Trans. in Artificial Intelligence.
Chomsky, Noam (1965) Aspects of the Theory of Syntax. MIT Press.
Chomsky, Noam (1995) The Minimalist Program. MIT Press,.
Chong, L. and Ray, L.B. (2002). Whole-istic Biology. Science, 295(5560):1661
Curti, M., Degano, P., Priami, C., and Baldari, C. T. (2004). Modelling biochemical pathways through enhanced p-calculus. Theor. Comput. Sci. 325(1):111–140.
Danos, V. and Krivine, J. (2003). Formal molecular biology done in CCS-R. In Bio-Concur’03, satellite workshop of CONCUR’03, ENTCS.
Danos, V. and Krivine, J. (2004). Reversible communicating systems. In CONCUR 2004 - Concurrency Theory, volume 3170 of LNCS, pages 292–307. Springer-Verlag.
de Jong, H. (2002). Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology, 9(1):67–103.
O'Donovan, R., Burke, M., Cahill, A., Van Genabith, J., Way, A. (2004). Large-Scale Induction and Evaluation of Lexical Resources from the Penn-II Treebank. Proc. of the 42nd Annual Meeting of the Association for Computational Linguistics, p. 319-326.
Garcez, A. S. and Lamb, L.C. (2006). “A Connectionist Computational Model for Epistemic and Temporal Reasoning”. Neural Computation 18(7):1711-1738. MIT Press.
Garcia, L.A.M. and da Silva, R. (2007), “A new look about statistical modelling of financial artificial markets via multi-agent systems”. in preparation
Gaume, B. (2004). “Balades Aléatoires dans les Petits Mondes Lexicaux”. In I3 Information Interaction Intelligence , CEPADUES éd. : 39-96.
Goss, P.J.E. and Peccoud, J. (1998). “Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets”. PNAS, 95(12):6750–6755.
Gulli, A. and Signorini, A. (2005), “The indexable web is more than 11.5 billion pages”, Proc. of the 14th World Wide Web Conference, p. 902-903.
Halpern, J.Y., Harper, R., Immerman, N., Kolaitis, P., Vardi, M.Y., Vianu, V. (2001) “On the Unusual Effectiveness of Logic in Comp. Science”.Bull. Symb. Logic. 7(2):213-236.
Hinton, Geoffrey E. (2005). “What Kind of Graphical Model is the Brain?”. Proc. of the Intl. Joint Conf. on Artificial Intelligence (IJCAI-05), pp. 1765-1775.
Hoare, C.A.R. and Milner, A.J.R. (2004) (eds.) “Grand Challenges in Computing Research”. ISBN 1-902505-62-X. British Computer Society.
Ideker, T., Galitski, T., and Hood, L. (2001). A new approach to decoding life: Systems biology. Annu. Rev. Genomics Hum. Genet., 2:343–372.
Jurafsky,D. and Martin, J.H. (2000). Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition. Prentice-Hall.
Kellerman, G.A. and da Silva, R. (2007) “Statistical aspects of payoff over mean field regime in a heterogeneous population of the ultimatum players”, preprint, Elsevier.
Kumar, R., Novak, J., Raghavan, P., Tomkins, A. (2003), “On the bursty evolution of blogspace”, Proc. of the 12th World Wide Web Conference, p. 568—576.
Kumar, R., Raghavan, P., Rajagopalan, S., Sivakumar, D., Tomkins, A., Upfal, E. (2000) “Stochastic Models for the Web Graph”. Proc. of the 41st FOCS, p. 57-65.
Kumar, R., Raghavan, P., Rajagopalan, S., Tomkins, A. (1999), “Trawling the Web for Emerging Cyber Communities”. Proc. 8th World Wide Web Conference, p. 403-416.
Lamb, Luis C., Borges, R.V., Garcez, Artur S. (2007). “A Computational Cognitive Model for Temporal Synchronisation and Learning.” 22nd Conf. AAAI-07. AAAI Press.
Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., and Costantin, G. (2004) “A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment”. SIMULATION 80:273–288.
MacWhinney, B. (2000) “The CHILDES project: Tools for analyzing talk”. Erlbaum.
Manning, C. and Schütze, H. (1999). “Foundations of Statistical Natural Language Processing”. MIT Press.
Metropolis, N., Rosenbluth, A., Rosenbluth, M., Teller, A., Teller, E. (1953) “Equations of State calculations by fast computing machines”. J. Chem. Phys. 21, 1087.
Moretin, P.A. (2006) "Um curso em séries temporais financeiras", 17 SINAPE, ABE.
Pennock, D.M., Flake, G.W., Lawrence, S., Glover, E.J., Giles, C.L. (2002), “Winners don't take all: Characterizing the competition for links on the web”, PNAS 99(8): 5207-.
Pinker, S. (1984) Language Learnability and Language Development. Harvard University Press.
Pinto, M.C., Foss, L., Mombach, J.C.M., and Ribeiro, L. (2007). Modelling, property verification and behavioural equivalence of lactose operon regulation. Computers in Biology and Medicine, 37:134–148.
Pollard, C. and Sag, I.A. (1989). Information-Based Syntax and Semantics. CSLI Pub.
Raghavan, S. and Garcia-Molina, H. (2003), Representing Web Graphs, Proc. of the 19th Conference on Data Engineering. p. 405-416
Reddy, V.N. (1994). Modeling biochemical pathways: a discrete event systems approach. MS thesis, University of Maryland.
Regev, A., Panina, E.M., Silverman, W., Cardelli, L. and Shapiro, E. (2004). “Bioambients: an abstraction for biological compartments”. Theoretical Computer Science 325(1):141–167.
Richardson, M. and Domingos, P. (2006): “Markov logic networks”. Machine Learning 62(1-2): 107-136.
Sakas, W. and Fodor, J. (2001). The Structural Triggers Learner. Language Acquisition and Learnability. S. Bertolo ed., p. 172-233, Cambridge University Press,.
Samanidou, E., Zschischang, E., Stauffer, D., and Lux, T. (2007) “Agent-based models of financial markets”. Rep. Prog. Phys. 70, 409--450
da Silva, R., Bazzan, A.L.C., Baraviera, A.T., Dahmen, S.R. (2006) “Emerging collective behavior and local properties of financial dynamics in a public investment game”, Physica. A, 371, 610-626
da Silva, R., Bazzan, A.L.C., Baraviera, A.T., Dahmen, S.R. (2006), “Dynamics of a Public Investment Game: from Nearest-Neighbor Lattices to Small-World Networks”. Lecture Notes in Economics and Mathematical Systems, 584:211-233
da Silva, R. and Kellerman, G. A. (2007), “Analyzing the payoff of a heterogeneous population in the ultimatum game”. submitted to Physical Review E.
Stanley, H.E. (1971), Introduction to Phase Transitions and Critical Phenomena. Oxford University Press.
Takahashi, H., Terano, T. (2003), “Agent-Based Approach to Investors' Behavior and Asset Price Fluctuation in Financial Markets”. JASSS, 6(3).
Thagard, P. (1996). Mind: Introduction to Cognitive Science. MIT Press.
Turing, A.M. (1950). “Computing machinery and intelligence”. Mind, 59, 433-460.
Valiant, L.G. (2003). “Three problems in computer science”. J. ACM, 50(1):96-99.
Villavicencio, A. (2002) “The Acquisition of a Unification-Based Generalised Categorial Grammar”. PhD Thesis. Computer Laboratory, University of Cambridge,.
Wigner, E.P. (1960) “On the Unreasonable Effectiveness of Mathematics in the Natural Sciences.” Communications in Pure and Applied Mathematics 13:1-14.
Zambiasi, M., Presa, T.A., Buriol, L.S., Orengo, V.M. (2007) “Análise quantitativa e temporal do Wikigrafo-PT”, Anais da Escola Regional de Banco de Dados. p. 22-31.
Zhang, Y., Kordoni, V., Villavicencio, A., Idiart, M. (2006). “Automated multiword expression prediction for grammar engineering”. Proc. of the Workshop on Multiword Expressions:, p. 36–44, Sydney, Australia. Association for Computational Linguistics.
Publicado
30/06/2007
Como Citar
LAMB, Luís C.; VILLAVICENCIO, Aline; IDIART, Marco; BURIOL, Luciana S.; RIBEIRO, Leila; SILVA, Roberto da.
Modelagem de Sistemas Computacionais Complexos: Em Direção a uma Fundamentação Científica e Aplicações Tecnológicas. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE (SEMISH), 34. , 2007, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2007
.
p. 2113-2127.
ISSN 2595-6205.
