Consolidado como o maior evento sobre as Cidades Inteligentes das Américas, foi realizado, de 25 a 27 de março de 2025, na Capital do Estado do Paraná, com o Proposto como um fórum essencial para colocar em discussão e avaliação a transformação positiva dos ambientes urbanos, com foco na inclusão, conexão e na resiliência, a Smart City Expo Curitiba (SCECWB25), promovendo, também, a felicidade e o bem-estar de todos, aconteceu (pela primeira vez) na Ligga Arena (a então Arena da Baixada).
Reunindo público recorde de visitantes e superando todas as expectativas, a edição de 2025 do SCECWB25 além de constituir um importante ponto de encontro para tratar questões sobre o desenvolvimento urbano contemporâneo foi palco da entrega do “Sprint Urbano”, teve o anúncio do “Hub de GovTech” e se fez (dentro do evento “Tomorrow Mobility”) a entrega simbólica (ao Prefeito de Curitiba) de drone “delivery” (a primeira realizada no Brasil).
No SCECWB25, o "Sprint Urbano" foi um evento no qual grupo multidisciplinar de especialistas trabalhou para criar, apresentar e discutir propostas concretas de revitalização e desenvolvimento para os bairros Centro e São Francisco de Curitiba resultantes de um processo colaborativo e intensivo o qual serviu como um exeplo notável de como a colaboração e a inovação podem resolver problemas urbanos. O "Sprint Urbano" foi um momento de compartilhamento e validação de ideias apresentadas à comunidade e a gestores públicos alinhando-se com a proposta da Smart City Expo Curitiba de conectar desafios urbanos a soluções reais.
O “Hub de GovTech”, o primeiro do Paraná, constitui iniciativa do Governo do Estado, por meio da Secretaria Estadual da Inovação, Modernização e Transformação Digital (SEI), tem por objetivo impulsionar a inovação e a modernização da gestão governamental no Paraná com foco em áreas como saúde, educação, segurança, mobilidade urbana e transparência; fomentando, de um lado, negócios que criam soluções para órgãos públicos e, de outro, gerando oportunidades de negócios para startups e empresas da área de tecnologia.
A Atech, empresa do grupo Embraer, realizou o voo simbólico do drone “delivery”, que pousou na área de exposição do “Tomorrow Mobility” (evento paralelo à SCECWB25). Aquela apresentação simbolizou, efetivamente, o início dos testes práticos em Curitiba, com foco em soluções para a mobilidade urbana do futuro, como o controle aéreo de voos de drones seguros. O drone sobrevoou o estádio antes de pousar. A ação é uma parceria entre os Correios, a Atech e a Speedbird Aero.
Cabe enfatizar que a edição de 2025 da Smart City Expo Curitiba proporcionou, como vem sendo desde a primeira edição, importantes debates sobre desafios urbanos atuais discutindo soluções inovadoras em áreas como planejamento urbano, mobilidade, governança, tecnologia e sustentabilidade; e, promovendo, também, “networking” diversificado voltados para a definição de tecnológicas urbanas centradas em construções inteligentes e sustentáveis.
Tanto a edição de 2025 da Smart City Expo Curitiba como as edições anteriores foram inspiradas no maior e mais importante evento global sobre Cidades Inteligentes o Smart City Expo Curitiba World Congress, o qual é chancelado pela Fira Barcelona (uma das mais renomadas organizadoras de feiras e congressos do mundo). A Smart City Expo Curitiba 2025, a versão brasileira do evento internacional correspondente, tem parceria do iCities, um hub de inovação com sede em Curitiba, o qual é, também, autorizado pela Fira Barcelona. As edições do SMART CITY EXPO CURITIBA sempre foram, também, apoiadas pela Prefeitura de Curitiba.
Diferentemente da SCECWB25 as cinco edições anteriores da Smart City Expo Curitiba foram desenvolvidas no Centro de Eventos do Parque Barigui, em Curitiba, tendo como temas: “Innovation as an Engine of Economic Development” (2018); "Planning the Cities we Want" (2019); "Society Leading the Urban Future" (2022); "Connecting Cities People & Technology” (2023); e, "Reinventing Cities for All" (2024).
A 5ª edição do Smart City Expo Curitiba (SCECWB24), desenvolvida com o tema "Reinventando Cidades para Todos" (“Reinventing Cities for All”), foi realizada no período de 20 a 22 de março de 2024, focando discussões sobre as necessárias soluções inovadoras para o desenvolvimento urbano, buscando cidades mais inclusivas e sustentáveis.
Durante a edição de 2024 da SCECWB aconteceu o lançamento da publicação Innovate Curitiba e da Fábrica de Ideias de Curitiba as quais objetivaram fomentar o ecossistema de inovação local; foi instituída a primeira Secretaria Municipal Extraordinária de Desenvolvimento Econômico, Inovação e Inteligência Artificial (Sedeia) de Curitiba; bem como ocorreu a inauguração da Galeria de Troféus da Prefeitura de Curitiba; o lançamento do programa Link Vale do Pinhão e Ecossistemas Metropolitanos de Inovação; sendo anunciada a implantação do Verse360 um ambiente de inovação inspirado no bairro inovador Distrito 22@, de Barcelona (Espanha).
Na SCECWB24 aconteceu, também, pela primeira vez, o prêmio “Brazilian Awards” (a edição brasileira do “World Smart City Awards” que é o maior prêmio de cidades inteligentes do planeta); prêmio aquele que reconheceu o trabalho de cidades que estão implementando projetos sustentáveis e inovadores no Brasil.
Rumo ao pleno e adequado progresso e desenvolvimento para a melhoria de vida das pessoas foi realizada, entre os dias 22 e 24 de março de 2023, a quarta edição do Smart City Expo Curitiba 2023 (SCECWB23), com o título "Cidades que conectam: pessoas e tecnologias" (“Connecting Cities, People & Technology”).
A SCCWN23 quebrou todas as marcas das edições anteriores sendo evento inspirador e enriquecedor com palestras, discussões e oportunidades de networking, além de workshops práticos e demonstrações de tecnologias inovadoras. Durante o evento foram tratadas questões sobre o real desenvolvimento das cidades respeitando a sustentabilidade pondo em foco questões como transporte, infraestrutura, espaços públicos, tecnologias e segurança tais como Big Data, Segurança Cibernética, Comunicação e Informação, Blockchain, Privacidade, Proteção de Dados.
Cidades Sustentáveis e Mudanças Climáticas; Espaços Públicos e Requalificação Urbana; Cidadãos Digitais e Governança; Inovação e Transformação Digital; Tecnologia e Negócios Disruptivos; Tomorrow Mobility, foram temas recorrentes na SCECWB23; sendo apresentado, também, a Smart Plaza Vale do Pinhão; a Arena Metaverso que debateu tanto as possibilidades do 5G quanto questões sobre conectividade global e IOT aplicadas às cidades; bem como teve o Salão de Eletromobilidade que possibilitou uma experimentação de veículos elétricos que estavam distribuídos pelo Parque Barigui.
Já nos dias 24 e 25 de março de 2022 aconteceu, em Curitiba, a terceira edição da Smart City Expo Curitiba, a SCEWB22, cuja temática principal foi "A Sociedade Liderando o Futuro Urbano" (“Society Leading the Urban Future"); tendo como temas secundários: “Tecnologias inteligentes para cidades”; “Inovação e negócios disruptivos”; “Governança em uma sociedade inteligente”; “Mobilidade inteligente para o futuro”; e, “Cidades sustentáveis”.
Devido às restrições e preocupações com a pandemia de Covid 19 não foram realizadas as edições presenciais da Smart City Expo Curitiba nos anos de 2021 e 2020. A terceira edição do evento, que estava inicialmente prevista para março de 2020, foi adiada e posteriormente suspensa devido à pandemia. A edição presencial de 2021, também, não ocorreu devido à persistência da pandemia de Covid 19. O evento retornou ao formato presencial apenas em março de 2022.
Todavia, em 2019, foi realizada a segunda edição da SCECWB a qual tratou do tema “Planejando as cidades que queremos” ("Planning the Cities we Want"); sendo dividida nas temáticas: “Viabilizando Tecnologias para Cidades Inteligentes”; “Cidades Sustentáveis e Humanas”; “Governança em Sociedades Digitais”; e, “Planejando Cidades Inovadoras e Inclusivas”.
A SCECWB19, realizada no período de 21 a 22 de março de 2019, na Expo Barigui, na Alameda Ecológica Burle Marx, em Curitiba, já considerada como o maior e mais importante evento de Cidades Inteligentes do Brasil, reuniu Academia, Indústria, Governo, Investidores, Startups e Entidades do Terceiro Setor para discutir e analisar o futuro das Cidades tendo por objetivo principal a Melhoria de Vida das Pessoas a partir da utilização das novas Tecnologias e da Inovação.
Já na primeira edição da SCECWB, realizada em 2018, Curitiba se transformava no foco nacional sobre “Smart Cities” dado que naquela oportunidade, com o tema “A Inovação como Motor do Desenvolvimento Econômico” (“Innovation as a Motor for Economic Development”), o evento foi o principal encontro no país a tratar efetivamente conjunto de soluções inteligentes que atendessem os diversos desafios enfrentados pelas cidades.
Não é exagero dizer que a SCECWB18 foi um marco fundamental para posicionar Curitiba como o foco nacional no debate sobre "Cidades Inteligentes" quando a Capital do Paraná passou a ser a primeira Cidade do Brasil a sediar o “Smart City Expo”, um evento com a chancela da Fira Barcelona, o maior do mundo em cidades inteligentes dado se tomar Curitiba como pioneira e líder na discussão de “Cidades Inteligentes” no Brasil.
A SCECWB18 não se limitou a um aspecto isolado de “Cidades Inteligentes”, mas abordou um conjunto amplo de soluções, desde tecnologia disruptiva (IA, IoT, Realidade Virtual) até governança, mobilidade sustentável e desenvolvimento econômico. Essa abordagem holística foi crucial para mostrar como as "Smart Cities" são multifacetadas e integradas.
O tema da SCECWB18 com foco no “Desenvolvimento Econômico” destacou a importância da inovação não apenas como um avanço tecnológico, mas como um impulsionador do crescimento econômico e da criação de oportunidades nas Cidades; ressoando fortemente entre gestores e empreendedores e mostrando o potencial das “Smart Cities” para gerar valor.
De um lado a SCECWB18 superou as expectativas de participações e garantiu uma ampla troca de conhecimentos e experiências, além de uma grande cobertura midiática, consolidando Curitiba como um polo de discussões sobre o tema. De outro lado, a edição de 2018 da SCECWB serviu como uma vitrine para apresentar ao mundo o “Ecossistema de Inovação de Curitiba”, especialmente para mostrar iniciativas como a do "Vale do Pinhão", os “Faróis do Saber e Inovação”, o aplicativo “Saúde Já” e a parceria com o “Google Education”; demonstrando como Curitiba já aplicava conceitos de “Smart City” na prática.
Há de se salientar que a Fira Barcelona é um consórcio público formado pelo Governo da Catalunha, Prefeitura de Barcelona e Câmara de Comércio de Barcelona, sendo considerada uma das Organizações mais importantes da Europa e referência mundial na organização de feiras e congressos. A Fira Barcelona é responsável pela organização do importante “Smart City Expo World Congress”, aquele que é o maior e mais importante evento sobre Cidades Inteligentes do planeta.
Há décadas, entretanto, o simples conceito de Cidades Inteligentes transcendeu as fronteiras dos avanços tecnológicos urbanos e se transformou em paradigma complexo e multifacetado que “integra de forma sinérgica a otimização de recursos, a preservação ambiental através da sustentabilidade, a promoção da coesão social e da inclusão, a implementação de uma governança transparente e eficiente, e, fundamentalmente, a busca incessante pela elevação tangível da qualidade de vida e do bem-estar integral de todos os cidadãos que habitam o espaço urbano”.
No contexto dinâmico e em constante transformação que envolve a Smart City Expo Curitiba, Curitiba “emergiu como um fórum de liderança e um catalisador essencial para a convergência de ideias inovadoras, a formulação de políticas públicas visionárias, a apresentação de soluções tecnológicas de ponta desenvolvidas por empresas vanguardistas e o engajamento ativo e participativo da sociedade civil, todos unidos pelo objetivo comum de enfrentar os desafios multifacetados que caracterizam o intrincado panorama urbano do século XXI”.
Ao longo do passar dos anos, mesmo com a ruptura da sequência normal de apresentações decorrentes dos impedimentos da pandemia de Covid 19, as edições da SCECWB apresentaram uma notável “maturação e o aprofundamento da compreensão do conceito de Cidades Inteligentes”.
Desde a primeira edição da SCECWB se constata uma perspectiva centrada no predomínio do uso da tecnologia como o principal motor do crescimento econômico e da modernização da infraestrutura urbana. No entanto, as edições que se seguiram da SCECWB, naturalmente, demonstraram uma crescente sofisticação e uma visão cada vez mais holística e focada no ser humano para se desenvolver soluções orientadas pela “inteligência urbana”.
A convite da Fira Barcelona tive a oportunidade de não apenas participar de todas as edições da SCECWB, debatendo os grandes desafios na transformação das Cidades Inteligentes em ambientes mais sustentáveis, eficientes e inovadores, como, também, me foi oportunizado contribuir com sugestões centradas na Engenharia Lógica para a edificação de soluções que podem promover as Cidades a locais cada vez mais adequados para o bem viver seguindo os princípios ESG (Ambiental, Social e Governança), os ODS (Objetivos de Desenvolvimento Sustentável) e as prerrogativas da Tríplice Hélice do Conhecimento-Inovação.
Vejo com entusiasmo e otimismo que seguidamente os estudos e desenvolvimentos em Lógica e em Engenharia Lógica que tenho desenvolvido se mostram cada vez mais incorporados na prática do mundo real principalmente em diversas das soluções que tornam as Cidades Inteligentes locais onde se prioriza a melhoria da qualidade de vida dos cidadãos.
Na verdade, constatei, desde a primeira edição da SCECWB, a materialização de parte de minhas pesquisas e de meus estudos, iniciados na década de 1990, quando tanto orientei trabalhos de meus Alunos das Engenharias do então Cefet-PR (Centro Federal de Educação Tecnológica do Paraná) nas edições da Expotec (Exposição de Trabalhos Técnicos do Cefet-PR) voltados para a tomada de decisão "automática e inteligente" quanto iniciava a criação da Engenharia Lógica para otimizar analiticamente procedimentos "inteligentes" de um lado e de outro para desenvolver técnicas e procedimentos do Cálculo Lógico na solução de problemas do mundo real.
O principal objetivo de cada edição da Expotec era mostrar à Comunidade em geral os trabalhos inovadores de natureza Técnico-Científico ou Científico-Tecnológico desenvolvidos pelos Estudantes e Professores da Instituição tanto do Ensino Técnico quanto do Ensino Superior.
Em particular, na edição de 1995 da Expotec, há quase 30 anos, orientei trabalho no qual se desenvolviam processos e se aplicavam procedimentos centrados na Automação de Residências e se pensava Projetos de Cidades Inteligentes utilizando a Álgebra Booleana (via Matemática de Comutação), Circuitos Lógicos, Portas Lógicas e, por fim, a própria Engenharia Lógica para a criação de “Habitats Inteligentes” controlados sistemicamente.
As aplicações da Engenharia Lógica no campo das Cidades Inteligentes é hoje uma realidade. A Engenharia Lógica traz, contínua e constantemente, propostas de soluções inolvidáveis, resilientes, disruptivas e inovadoras na edificação das “Smart Cities” pelo mundo. Entretanto as “denominações” das “aplicações” (ferramentas e/ou metodologias) são das mais variadas e seguem distintos parâmetros regimentais conforme a natureza do empreendimento e a fonte de onde surgem as possibilidades.
No projeto “Aplicações da Álgebra Booleana na Otimização de Circuitos Elétricos”, que orientei e foi premiado na Expotec de 1995, já centrando na concepção de Engenharia Lógica, se pensava em dinamizar o controle e a automação de dispositivos eletroeletrônicos não apenas de residências, mas, também, na Indústria em geral. Era imaginado o “controle inteligente” para não apenas se obter a redução de custos, mas para o desenvolvimento de Cidades Inteligentes (“Smart Cities”) no sentido amplo do termo.
Cabe observar que a chamada Engenharia Lógica não foi criada de forma definitiva em um só momento, levando um tempo tanto para a sua concepção quanto aplicação na resolução de problemas lógicos surgidos no mundo real das concepções.
Assim sendo, os primeiros passos no sentido de se edificar a Engenharia Lógica foram dados ao se apresentar a defesa de minha dissertação de Mestrado pela UFPR (Universidade Federal do Paraná) intitulada “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior”, de 1993,” quando apresentei aqueles que seriam os pressupostos necessários para se construir a base da Engenharia Lógica.
Em 1999, a correspondente dissertação teve uma segunda edição, revisada e modernizada, sendo publicada como livro com registro no ISBN (“International Standard Book Number”) sob o número 85-900661-2-6; com depósito, também, no acervo da Biblioteca Nacional do Brasil compondo a Memória Nacional do Brasil (que salvaguarda a Produção Intelectual do Brasil).
Conforme se lê nas páginas iniciais de “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior” aquele “estudo consiste de uma contribuição inicial ao repensar o ensino e a aprendizagem das estruturas lógico-formais relacionadas às matemáticas (quanto à essência, ao formalismo, à axiomatização e à complexidade) a partir de uma fundamentação, "a priori", estruturada em termos dos princípios norteadores da Lógica Matemática (ou Lógica Formal, ou Lógica Algorítmica)”.
No que concerne, propriamente, à Lógica Matemática, apresentei os fundamentos do Cálculo dos Enunciados ou Cálculo Proposicional no tocante à compreensão, à abstração e à manipulação do formalismo matemático associado aos processos inferenciais para se pensar de forma lógica baseando-se nas leis lógico-formais (vinculadas ao Cálculo Sentenciai, em Lógica Formal).
Paralelo àquele trabalho o qual foi sendo aprimorado acrescentando-se conhecimentos relacionados, fruto de meus estudos e pesquisas mais intensos, escrevi, editei e publiquei as obras “Compêndios de matemática e lógica matemática: uma abordagem extemporânea” (ISBN: 85-900661-4-2) com primeira edição em 1999; “Lógica matemática: introdução ao cálculo proposicional” (ISBN: 85-900661-3-4) com primeira edição em 1999, “Lógica sentencial” (ISBN: 978-85-88925-21-2) com primeira edição em 2013, “Cálculo lógico inferencial” (ISBN: 978-85-88925-18-2) com primeira edição em 2013, bem como o meu livro “Prolegômenos à filosofia da matemática” (ISBN: 978-85-88925-08-3) com primeira edição em 2010.
O conjunto de tais obras reúnem as necessárias considerações técnicas/formais sobre a minha Engenharia Lógica; sendo as edições de 1999 das obras citadas, aquelas que, efetivamente, dão os fundamentos necessários da Engenharia Lógica como campo do saber.
As relações de impregnação mútuas entre a Inteligência Lógica (um dos sete tipos de inteligência e que está fortemente relacionada ao lado direito do cérebro) e a Engenharia Lógica enquanto área de conhecimento para engendrar e desenvolver métodos e técnicas para a avaliação e correção formal de raciocínios centrados na Computabilidade dos Cálculos Lógicos, tornaram-se uma forma estrita de Engenharia a qual possibilita engendrar modelos formais de solução de problemas equacionáveis algébrica e logicamente, bem como, produzir dispositivos automáticos para aferir a validade de raciocínios dedutivos originalmente identificados.
É importante ressaltar que no meu “Projeto de Inovação e Desenvolvimento Tecnológico em Engenharia Lógica” (“Logic Engineering”), o qual desenvolvi no biênio 2013-2014, um Projeto de Pesquisa e Desenvolvimento credenciado oficialmente pela UTFPR (Universidade Tecnológica Federal do Paraná), estruturei uma estrita “Tecnologia Analítica de Decisão Otimizada” centrada na Lógica Formal (nos Cálculos Lógicos e na Álgebra da Lógica), na Teoria da Argumentação Dedutiva e na Análise Inferencial dando forma aos Métodos e Técnicas utilizados em Engenharia Lógica.
Para a divulgação da Engenharia Lógica apresentei, também, diversas Atividades de Extensão Universitária/Tecnológica e desenvolvi muitos artigos científicos e/ou tecnológicos tanto apresentado estruturalmente conceitos e propriedades quando mostrando aplicações da Engenharia Lógica objetivando evidenciar o quanto é possível engendrar (“engenheirar”) soluções mais adequadas de maneira “consistente e correta” (de forma lógica) centrada nos Cálculos Lógicos (na Álgebra de Lógica) que fazem parte da Engenharia Lógica.
Em eventos de extensão como as edições do Coentelog (Colóquio Entelechia Logicae) ofertados a partir de junho de 2013 com temas como “Engenharia Lógica aplicada na indústria”, “Lógica da inovação nas relações de aproximação entre indústria e ciência”, “Inovação em engenharia lógica”, “Lógicas mentais recursivas”, coloquei em discussão, sob a ótica da Lógica Formal, caminhos alternativos que permitam direcionamentos outros no sentido de se atingir desenvolvimento e progresso baseados na Engenharia Lógica. Naqueles Colóquios apresentei considerações gerais sobre Modelos Analíticos Lógicos e Técnicas Formais de Raciocínio Dedutivo, desenvolvidos em Engenharia Lógica, que podem contribuir para auxiliar na estruturação de procedimentos logísticos e na tomada de decisão lógica para a aceleração do desenvolvimento; objetivando, também, despertar o interesse sobre os temas relacionados com a Engenharia Lógica e incentivar, por sua vez, a continuidade da correspondente oferta.
De outra forma, em seguidas palestras que apresentei em Seminários Técnico-Científicos como as edições do Seteciei (Seminário de Tecnologias e Ciências para Engenharia e Indústria) mostrei a abrangência da Engenharia Lógica para a mais adequada tomada de decisão tanto no campo das Ciências quanto no mundo das Tecnologias evidenciando tanto as técnicas formais de avaliação da lógica de processos complexos quanto as aplicações de procedimentos analíticos de se engendrar soluções eficientes logicamente estruturados.
A Engenharia Lógica consiste em um conjunto de metodologias e procedimentos que possibilitam engendrar soluções de maneira “consistente e lógica” centrada nos Cálculos Lógicos (na Álgebra de Lógica) tratando o engendrar de soluções como uma abordagem analítica inovadora.
Na atualidade é sabido que a Engenharia Lógica permeia diversas áreas do saber ao estabelecer a solução de problemas na criação de algoritmos para computadores, ao propiciar a mais dinâmica análise de estruturas, promover o desenvolvimento de sistemas autômatos, gerar a estruturação de linguagens de programação, bem com propiciar a elaboração de projetos eficientes de sistemas que vão desde circuitos eletrônicos até grandes sistemas de controle industrial, a tomada de decisões em sistemas inteligentes como robôs e sistemas autônomos; dentre muitas outras possibilidades tecnológicas.
Se apresentando como uma abordagem inovadora que busca integrar a Lógica Matemática com diversas áreas da Engenharia e das Tecnologias (em particular) bem como com as Ciências (em geral) a Engenharia Lógica ao invés de ser apenas uma ferramenta teórica passou a ser o alicerce para o desenvolvimento de soluções tecnológicas mais eficientes, robustas e capazes de induzir novas abordagens tecnológicas positivas na sociedade.
“A Engenharia Lógica é fundada na premissa que a Lógica Matemática, com suas estruturas rígidas e métodos precisos, pode ser utilizada como um “framework” para o desenvolvimento de sistemas cada vez mais complexos. Ao aplicar os princípios da Lógica Matemática a problemas de Engenharia, é possível modelar sistemas complexos; validar soluções; otimizar processos; desenvolver sistemas inteligentes; ampliar e melhorar as relações homem-máquina expandindo sobremaneira a Transformação Digital, a Computação Quântica e as Redes Neurais Artificiais”.
Para divulgar e possibilitar as necessárias extensões sobre a Engenharia Lógica ministrei, também, vários Cursos de Extensão Universitária e Tecnológica mais detalhistas como, por exemplo, o Curso de Extensão Tecnológica e Universitária com o título "Inteligência Lógica nas Ciências Exatas" no qual tratei com o exigido rigor científico (de forma intensa e cartesiana) questões técnicas relacionadas com relações entre a Inteligência Lógica e a Engenharia Lógica (ou, como inicialmente a chamava, Engenharia Inferencial).
Para o desenvolvimento de estudos e pesquisas no campo da Engenharia Lógica associado à Cognição e Inovação, bem como o correspondente ensino das soluções e resultados alcançados para a ampliação das possibilidades de conhecimento criei, em 2018, o Cenenlocog (Centro de Engenharia Lógica e Cognição), ou, na sigla em inglês, o Cetfleco (“Center of Logic Engineering and Cognition”).
O Cenenlocog, objetivando, também, desenvolver soluções direcionadas para a aquisição de conhecimentos em Engenharia Lógica em simbiose com o Formalismo Matemático, a Filosofia Analítica e os pressupostos do Engendrar em Engenharia para a instanciação da Engenharia Lógica como Área de Conhecimento necessária para criar e desenvolver métodos e técnicas para a avaliação de raciocínios sistematizados a partir da formalização de estruturas utilizadas na fundamentação das Ciências em conformidade com a evolução e o alcance da Álgebra da Lógica e da Filosofia Analítica, constitui proposta (e estratégia) inovadora e disruptiva de se pensar associada às atuais Revoluções Industrias e às Ondas de Inovação em contínuo desenvolvimento.
Várias foram as ações do Cenenlocog objetivando atender suas prerrogativas definidoras desde a sua fundação pondo a Engenharia Lógica em evidência; merecendo ser posta em evidência a primeira reunião de planejamento do Cenenlocog de 2022 quando, sob minha coordenação, foram avaliadas as necessárias ações para se mitigar as graves consequências da pandemia de Covid-19 para o progresso e o desenvolvimento das Cidades e foi tratado, também, a Agenda (mínima) de Atividades de 2022 do Cenenlocog.
Na oportunidade em questão ministrei a palestra "Engenharia Lógica inovando e criando disrupção nas Smart Cities" quando apresentei a Engenharia Lógica como forma de se gerar procedimentos formais (analíticos) centrados na associação entre Lógica de Primeira Ordem e Indústria 4.0 para a tomada de decisão no gerenciamento adequado de Cidades Inteligentes.
Fiz observar, também, que o Cenenlocog se organizava para mais uma vez apresentar suas contribuições na quarta edição da Smart City Expo Curitiba, a SCECWB 2023, a realizar-se em março de 202; seguindo, ininterruptamente na solução dos inúmeros desafios sobre a Sustentabilidade e dedicando esforços para contribuir no alcance dos Objetivos de Desenvolvimento Sustável (ODS) da Agenda 2030 da ONU (Organização das Nações Unidas) os quais visam a Sustentabilidade do planeta para a melhoria de vida das pessoas.
Como tive a oportunidade de observar anteriormente, as aplicações da Engenharia Lógica no campo das Cidades Inteligentes é hoje uma realidade e ano após ano, edição após edição da SCECWB, mais e mais as soluções nas “Smart Cities” se mostram ampliadas e seguem as contribuições de diversas áreas do saber sendo a Engenharia Lógica um meio profícuo de correspondentes soluções para as Cidades e melhoria de vida dos Citadinos.
No dinâmico cenário de busca incessante por soluções transformadoras para os desafios urbanos complexos a Engenharia Lógica emerge como uma metodologia singularmente promissora, distintiva e cada vez mais relevante. Desde as primeiras edições do SCECWB, realizadas todas em Curitiba, soluções eficientes (direta ou indiretamente) são obtidas na otimização da gestão da complexidade das Cidades sejam elas grandes ou não.
A Engenharia Lógica, com seus procedimentos formais e analíticos capazes de otimizar processos urbanos multifacetados, vem contribuindo para a construção de Cidades cada vez mais resilientes, sustentáveis e centradas no Cidadão.
Com a Engenharia Lógica aplicada tenho explorado a fronteira conceitual existente entre a teoria e a pratica no mundo real, postulando a Engenharia Lógica como um arcabouço teórico potencialmente capaz de fornecer a arquitetura cognitiva fundamental e os princípios organizacionais necessários para a materialização de sistemas complexos que exibam atributos que se assemelham, em algum grau, à consciência biológica, possibilitando pensar em caminhos alternativos de solução para as Cidades Inteligentes por intermédia, inclusive, de futuras tecnologias ainda sequer implementadas.
“A Engenharia Lógica, com sua ênfase na representação explícita e formal do conhecimento através de sistemas lógicos bem definidos e na inferência dedutiva como o mecanismo primário para a geração de novas conclusões a partir do conhecimento existente, distingue-se fundamentalmente da abordagem predominante na IA contemporânea, conhecida como IA estatística ou aprendizado de máquina. Esta última se apoia predominantemente em métodos estatísticos complexos, algoritmos de aprendizado de máquina e modelos probabilísticos para a extração de padrões de grandes volumes de dados e para a tomada de decisão baseada em correlações estatísticas, muitas vezes sem uma compreensão explícita das relações causais subjacentes”.
“Ao propor a criação de sistemas que não apenas processam informações e identificam padrões, mas também justificam suas conclusões através de cadeias de raciocínio lógico formalmente válidas, aprendem de forma estruturada incorporando novo conhecimento em sua base lógica e adaptam seu comportamento com base em princípios lógicos coerentes e bem definidos, a Engenharia Lógica oferece um caminho promissor e alternativo para a construção de sistemas com capacidades de autopercepção rudimentar, intencionalidade direcionada a objetivos específicos e aprendizado estruturado e interpretável, com o potencial de levar ao desenvolvimento de formas mais robustas e confiáveis de inteligência artificial no futuro”.
As edições do SCECWB mostram seu papel essencial no sentido de ser um catalisador dinâmico, multifacetado e cada vez mais influente na evolução da concepção de Cidades Inteligentes (“Smart Cities”) focando sempre na inovação tecnológica como um fim primordial para se atingir a melhoria de vida dos Cidadãos.
Os saberes que circulam nas distintas edições da SCECWB mostram, inequivocamente, que as soluções urbanas devem ser eficientes, tecnologicamente avançadas e sustentáveis, e, também, intrinsecamente lógicas, socialmente justas e genuinamente focadas na promoção do bem-estar integral e da felicidade duradoura de todos os Cidadãos. O futuro na Cidades deve ser mais inteligente e humano.
